Комментарии 13
Интересно
Спасибо, как я понимаю, вещь довольно полезная для небольших команд. Крупные игроки рынка действительно могут позволить себе аппаратные эмуляторы и получить не меньший выигрыш в производительности без боли. Вы не забыли это дело запатентовать перед публикацией или Accelera с SCI-MI покрывает всю идею?
К сожалению (или к счастью), всё уже было изобретено раньше: https://www.synopsys.com/verification/virtual-prototyping/virtualizer/hybrid-prototyping.html
Нет, это совсем другое. В Virtualizer на хост-машине крутятся быстрые модели - TLM, уровень абстракции куда выше, чем RTL, об этом есть в статье. Байкал опробовал этот тулчейн еще в 2014 г. Представленный же Байкалом тулчейн моделирует RTL на хост-машине. Разрабы Synopsys подтвердили - у них нет своего тулчейна cycle accurate косимуляции VCS+HAPS.
Забыл спросить: как называется статья и на каком именно SNUG она была представлена?
Было взято поставочное окружение IP-интерконнекта от ARM, и весь DUT (т.е. без отделения синтезабельных частей) был отправлен в HAPS, где занял 2 чипа FPGA.
В данном случае весь DUT (т.е. без отделения синтезабельных частей) не содержал несинтезабельных частей, или поставочное окружение IP-интерконнекта от ARM позволило заменить несинтезабельные части синтезабельными ?
Гибридная верификация процессоров Baikal: косимуляция с FPGA-платформой прототипирования Synopsys HAPS-80