nikolascha

Примеры запуска ffmpeg я увидел только в википедии. По команде ffmpeg -h выдаётся туча ключиков и сложно сходу сообразить как его правильно запускать, чтобы посмотреть ваш файл test.264. Может приведёте конкретную строку запуска?

А с какими ключиками запускать ffmpeg ?

У кого-нибудь доступ к этим лабам есть? Приведённый выше пароль не подходит. Поделитесь, пожалуйста, доступом или этими материялами.

Хоть вопрос уже устарел, но в Минске в НТЦ "Белмикросистемы" таким делом успешно занимается подразделение "Белмикроанализ".

Ну с разной землёй это уже занадто, пожалуй (всё равно связь через подложку останется), а питание, если позволяет число контактных площадок (если мерить в корпусе собрались), то лучше разделить.

Интересует всё что есть, если не жалко. А передать можно через файлообменник, какой вам больше нравится (например, onlinedisk.ru, но там ограничение на файл 99МБайт, большие архивы нужно будет резать...)

Нужно, поделитесь, пожалуйста...

Я пока ещё нигде не применял этот подход в своих проектах. Но пример из документации могу привести. Например, у вас 10 регистров в АЛУ, и нужно чтобы в тесте выполнилась какая-то команда со всеми этими регистрами. Так вот чтобы собрать такую статистику помогут функции из предлагаемых пакетов. Перекрёстное покрытие - это когда вам нужно проконтролировать, что команда пересылки отработала все возможные пары регистров, допустим, каждый с каждым, получается 100 комбинаций. Вроде, в пакете допускается до 9 "переменных" для перекрёстного покрытия. Если случайным образом задавать команды для тестирования, то будут повторы, т.е. небольшая избыточность тестов (N *ln N). А при интеллектуальном тестировании случайные числа генерятся с учётом покрытия, т.е. повторов нет, т.к. новые случайные числа генерятся из непокрытого множества.

Похоже это появилось только в стандарте SystemVerilog-2005, в Verilog-1995/2001 такой возможности не было. Там в разделе "12.3.5(7) Real numbers in port connections" предлогают тянуть шину и использовать функции $realtobits и $bitstoreal.

Немного о том, что это за зверь OS-VVM... Open Source VHDL Verification Methodology (OS-VVM) — эта методология верификации основывается на двух разработанных пакетах CoveragePkg и RandomPkg, которые позволяют строить "интеллектуальные" тестбенчи, которые собирают статистику о функциональном покрытии и корректируют генерацию случайных воздействий для покрытия "дыр". Соответственно в пакете RandomPkg описаны функции для управляемой генерации псевдослучайных чисел с различным распределением (нормальное, Гауссово и Пуссона), а в пакете CoveragePkg описаны функции для создания точек покрытия, корзин, перекрёстного покрытия, а также отчётов о покрытии. Пакеты основаны на стандарте VHDL-2008, но могут быть скомпелированы и под VHDL-2002 (с некоторыми изменениями кода). Одним из преимуществ называется то, что данные функции для покрытия реализованы на уровне пакета, а не стандарта языка. В этом случае на много проще вносить изменения, так как изменить пакет быстрее, чем внести изменения в стандарт языка. Интересно, что aldec взялся за продвижение этой методологии. У них аж 3 вебинара посвящены OS-VVM Aldec and SynthWorks: OS-VVM: Open Source - VHDL Verification Methodology Better Coverage in VHDL OS-VVM: High-Level VHDL Verification Кому не охото регистрироваться на сайте OS-VVM, чтобы скачать пакеты, можно воспользоваться другой страницей, где они тоже доступны. А вообще нужно закинуть всё это дело в закрома...

Подскажите, глава 19 про функциональное покрытие ещё не переведена?

Вопрос к знатокам Verilog. Когда (в стандарте какого года) появилась в Verilog поддержка типа real в качестве порта?

Почитал книжку Хаханов В.И., Хаханова И.В., Литвинова Е.И., Гузь О.А. Проектирование и верификация цифровых систем на кристаллах. Verilog & Symtem Verilog. — Харьков: ХНУРЭ, 2010. — 528 с.. Это единственная книжка на русском, которую я знаю про SymtemVerilog, где есть раздел про функциональное покрытие. В ней используется следующий перевод интересуемых понятий: Coverage point (or item) — точка покрытия Bin — корзина (покрытия) Coverage cross (cross-coverage) — перекрёстное покрытие, также встречается "совместное покрытие" Ну кто что думает о таком переводе? Слух не режет?

С сутью данных понятий более-менее я разобрался, спасибо. Но хотелось бы знать, как в русскоязычной литературе принято их переводить или есть свои эквиваленты?

Почитал документацию к предлагаемым пакетам. Там оперируют некоторыми терминами, которые не совсем понятны. Может кто пояснит их значение и даст принятый русский эквивалент? Coverage point (or item) Bin Coverage cross (cross-coverage)

Оригинальные микросхемы от одного производителя будут с разными номерами. Но сейчас нет никакой уверенности, что производители домофонных ключей используют именно оригинальные микросхемы. К тому же есть множество микросхем, которые позволяют записывать любой код самим производителям ключей, поэтому надеяться, что все ключи в доме имеют разные коды, опасно. Всё проистекает из лени производителей домофонов, так как им в каждый замок зашивать номера ключей всех жильцов очень накладно, проще всему подъезду присвоить один код, и сделать копии ключей с таким номером.

Как успехи? Расстояние считывания, думаю, будет не более 10 см, зависит от размера антенны (обычно расстояние не более диаметра антенны) и чувствительности считывателя. Передатчик в схеме эмулятора карты делать не нужно, достаточно коротить колебательный контур транзистором (ограничив ток резистором). По поводу модуляции кодирования - наиболее распространено среди этих схем манчестерское кодирование и амплитудная модуляция. Вообще во многих книжках про рфид приводится схема эмулятора этой карты. А как вы собираетесь прочитать код, имеющейся у вас карты?

Через конденсатор проходит только фронт (т.е. изменения входных сигналов). При первом отрицательном фронте, который пройдет через конденсатор, выходное напряжение ограничется -0.6 В (падение на диоде) - это будет "рабочая точка". А далее когда пойдет положительный фронт, то он с этой точки подымет напряжение на выходе. Т.е. при амплетуде А на входе - на выходе вы получите максимум А-0.6 В (если через емкость пройдет вся амплитуда). Поэтому на рисунке в книге амплитуды на входе и выходе одинаковые.

Вот целая книжка с похожими вопросами Бибило П. Н. Задачи по проектированию логических схем c использованием языка VHDL. М.: Изд-во ЛКИ, 2010. — 328 с..

Можно использовать Emacs для создания верхнего уровня. В режиме vhdl-mode у него доступна функция копирования информации о портах entity и последующая вставка как компонент, портмап или как список сигналов. Очень удобно.

а старенький GnuPlot не подойдет для вашей задачи?

Спасибо, это то, что нужно.

Это да, но только в умолчаниях остаётся вопрос - откуда в проекте возьмутся 10 флопов с одинаковым CE, если их разработчик туда явно не поставит...

Спасибо, прочитал. Но там говорится про конкретные применения. Хотелось бы почитать про возможность автоматизации средствами САПР (Map Slice Logic into Unused Block RAMs), которые автоматом выделяют логику в проекте и всовывают её функцию в ОЗУ.

Так как это автоматом в САПР сделать? Как автоматом определить какие части схемы отключать от синхросигнала? Я считал, что такое может делать только разработчик. Или это уже делает САПР вместо него?