Опенсорсные симуляторы и нетлист
В последние годы замечаю, что 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
>>Click here to continue<<
