Программируемая логика и ЦОС

Это все фигня :) Вот что нашлось - vmodel -> Прикручивает к матлабу С++ файлы, сгенеренные verilator. Вот где полную логическую проверку модулей на Verilog устроить можно :) http://code.google.com/p/vmodel/