![](https://electronix.ru/forum/uploads/set_resources_23/84c1e40ea0e759e3f1505eb1788ddf3c_pattern.png)
![](https://electronix.ru/forum/uploads/set_resources_23/84c1e40ea0e759e3f1505eb1788ddf3c_default_photo.png)
Amurak
Свой-
Постов
221 -
Зарегистрирован
-
Посещение
-
UVM vs OSVMM
Amurak ответил OparinVD тема в Методы и средства верификации ПЛИС/ASIC
Да на такое нужна отдельная верификатошная с личным датацентром. -
generic, vhdl
Amurak ответил Maverick_ тема в Языки проектирования на ПЛИС (FPGA)
Убрать зависимость дженериков друг от друга (ибо это бред), а вычисление разрядности через логарифм - перенести непосредственно в порт. -
Задача решаемая. Но для начинающего инженера-программиста, на мой взгляд, сложновата.
- 3 ответа
-
- ких
- симметричнй
- (и ещё 4 )
-
We created Cx in 2012 to get rid of the complexity of traditional HDLs. Today, Cx is an open-source language used by engineers and makers who want to efficiently create systems and applications for FPGAs and ASICs. The language has a C-like syntax, it features a strong bit-accurate static typing, and it allows cycle-accurate behavior to be implicitly expressed with structured code. Cx can be compiled into Verilog using the Synflow IDE. It offers the same Quality of Result and performance as HDLs with the simplicity of the C language. Как же я люблю такие фразы.
-
Могу ошибаться, но по-моему схемный ввод при создании блока делает новый компонент-обертку для исходника, написанного на vhdl. А поскольку в этой обертке добавлены не все порты, то и рассматриваться при компиляции они не будут.
-
А есть примеры подобных документов какой-нибудь фирмы в открытом доступе?
-
Процесс разработки
Amurak ответил Nick_K тема в Среды разработки - обсуждаем САПРы
Текстовый редактор + tcl. -
Поморгать светодиотом (именно с этого в 99% случаев начинается изучение ПЛИС) при помощи Матлаба? Божечки-кошечки.
-
Это все понятно. Вопрос как просимулировать RTL, чтобы получить отсчеты в контрольных точках, если для получения нужного количества отсчетов нужно ждать дни и недели?
-
В этом и загвоздка. Составные части тестировать проще. Вопрос как промоделировать все в сборе (и нужно ли?). Видимо никак.
-
Задача состоит не в запуске на железе, а в проверке именно кода. Чтобы как у программистов: внес какие-либо изменения в код, запустил скрипты, запустилась симуляция, на выходе - отчет.
-
Я не говорю совсем без моделирования, я говорю моделировать по частям. Моделировать целиком, в моем случае, это взять полную полосу АЦП, например, 200 МГц, из которой нужно вырезать сигнал полосой 100 кГц. При таких параметрах петля по тактовой будет неделю раскачиваться (если вообще памяти на компе хватит). Вот такими вещами вообще стоит замарачиваться? Или проще запихнуть в железо и там смотреть?
-
Ну в этом-то и проблема, чтобы получить срезы нужно моделировать. Можно дробить схему и обложить тестами куски. Но мне интересно, имеет ли смысл моделировать все целиком.
-
Моделирование и верификация ЦОС
Amurak опубликовал тема в Методы и средства верификации ПЛИС/ASIC
Здравствуйте. Я занимаюсь разработкой демодуляторов, реализую алгоритмы цифровой обработки сигналов на ПЛИС. Возникло желание организовать полноценную систему верификации имеющегося кода (код на VHDL), чтобы можно было генерировать тесты, подавать их на вход целого демодулятора, получать выход, сравнивать полученный и исходный результат, считать ошибки и прочее. Прямое решение в виде того, чтобы читать исходные данные из файла и подавать их на вход демодулятора привело к проблеме, что моделирование (используется ModelSim) занимает неприлично огромное количество времени. Чтобы полноценно промоделировать блок, в котором есть какой-нибудь аккумулятор, потребуются дни или даже недели. В связи с этим возник вопрос, а имеет ли вообще смысл моделировать это дело в ModelSim? Или следует использовать Simulink? Но тогда встает вопрос, как проконтролировать, что модель в Simulink совпадает с кодом VHDL? Следующий вопрос - верификация. Появилась мысль использовать для нее мощности System Verilog и UVM, но из-за проблем с временем моделирования появились сомнения, а UVM вообще применяется для верификации блоков ЦОС? Спасибо за внимание.