1891ВМ12Я 0 26 сентября, 2017 Опубликовано 26 сентября, 2017 · Жалоба Спасибо, посмотрю Сейчас меня побьют камнями, но я скажу что очень рад что перешел на Python для верификации. System Verilog это реально мощный язык, и мне многое удалось на нем сделать, однако Python оказался удобнее для задачи верификации, а у меня много алгоритмов ЦОС. Так что, Cocotb я юзаю для всех проектов, которые не пойдут на жесткую сертификацию, где такие костыли запрещены, но для остального - только Cocotb. Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
_Ivan_ 0 26 сентября, 2017 Опубликовано 26 сентября, 2017 · Жалоба AVR, а как временные зависимости проверяются? То есть что например от такого до такого сигнала 10 наносекунд и.т.д.? Есть ли там аналог SVA? Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
Mad_kvmg 0 26 сентября, 2017 Опубликовано 26 сентября, 2017 · Жалоба AVR, а как временные зависимости проверяются? То есть что например от такого до такого сигнала 10 наносекунд и.т.д.? Есть ли там аналог SVA? Используйте bind конструкцию для SVA и вы совершенно не привязаны к методу и средствам построения тестового окружения, главное, что бы симулятор поддерживал SVA. Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
1891ВМ12Я 0 26 сентября, 2017 Опубликовано 26 сентября, 2017 · Жалоба AVR, а как временные зависимости проверяются? То есть что например от такого до такого сигнала 10 наносекунд и.т.д.? Есть ли там аналог SVA? У меня только функциональная верификация... :05: Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться