Опенсорсные симуляторы и нетлист

В последние годы замечаю, что Verilator стал популярнее Icarus Verilog. Вероятные причины этого:

1️⃣ Более активный проект: разработка под патронажем CHIPS Alliance, AntМicro Ltd и Shunyao CAD
2️⃣ Выше скорость работы
3️⃣ Приближение к лакомой цели верификаторов в виде подедржки UVM

Тем не менее, кажется, что у Икаруса тоже может быть свою специализированная ниша, например, моделирование нетлистов:

1️⃣ Икарус поддерживает x и z состояния (чего лишён Верилятор)
2️⃣ В то время как в песочнице верилятора обсуждают поддержку UDP примитивов (обычно необходимо для использования вендоровской библиотеки StdCells), у икаруса довольно много активностей по поддержке SDF (Standard Delay Format).

И, казалось бы, UVM нет и не предвидится - зачем Икарус? Но есть скановые тесты нетлиста, которые довольно изнурительные (особенно если у вас ограниченное число лицензий, и все они SingleCore). Особенность скановых тестов - что это чистый верилог, сгенерённый DFT-тулом.

В итоге, использование икаруса для связки DUT+TB выглядит привлекательно, вопрос в полноте поддержки икарусом необходимого набора фич SDF (ну и наверное поиска покровителей, которые дали такой мощный буст развитию конкурента: верилятора).

❓Вопрос уважаемым инженерам: кто-то пробовал поднимать в икарусе связку netlist + SDF?

@vlsihub

VLSI HUB

Опенсорсные симуляторы и нетлист

В последние годы замечаю, что Verilator стал популярнее Icarus Verilog. Вероятные причины этого:

1️⃣ Более активный проект: разработка под патронажем CHIPS Alliance, AntМicro Ltd и Shunyao CAD
2️⃣ Выше скорость работы
3️⃣ Приближение к лакомой цели верификаторов в виде подедржки UVM

Тем не менее, кажется, что у Икаруса тоже может быть свою специализированная ниша, например, моделирование нетлистов:

1️⃣ Икарус поддерживает x и z состояния (чего лишён Верилятор)
2️⃣ В то время как в песочнице верилятора обсуждают поддержку UDP примитивов (обычно необходимо для использования вендоровской библиотеки StdCells), у икаруса довольно много активностей по поддержке SDF (Standard Delay Format).

И, казалось бы, UVM нет и не предвидится - зачем Икарус? Но есть скановые тесты нетлиста, которые довольно изнурительные (особенно если у вас ограниченное число лицензий, и все они SingleCore). Особенность скановых тестов - что это чистый верилог, сгенерённый DFT-тулом.

В итоге, использование икаруса для связки DUT+TB выглядит привлекательно, вопрос в полноте поддержки икарусом необходимого набора фич SDF (ну и наверное поиска покровителей, которые дали такой мощный буст развитию конкурента: верилятора).

❓Вопрос уважаемым инженерам: кто-то пробовал поднимать в икарусе связку netlist + SDF?

@vlsihub

👍7✍3🤷‍♂1❤1🔥1😁1🤓1

hottg.com/vlsihub/699

4.47K viewsMar 7 at 15:56