Вопросы с тегом «system-verilog»

15
В чем разница между тестированием и проверкой?

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

8
Почему задержки не могут быть синтезированы в Verilog?

Я всегда читал, что задержки, объявленные в коде RTL, никогда не могут быть синтезированы. Они предназначены только для целей моделирования, и современные инструменты синтеза будут просто игнорировать объявления задержек в коде. Например: x = #10 y;будет рассматриваться как x = y;инструмент...