Компилятор языка верификации

Есть ли бесплатный компилятор для Verisity e Verification Language?

Источник

1 ответ

Решение

Похоже, после непродолжительного поиска. Вот парсер, но это, вероятно, только отправная точка.

Источник
Другие вопросы по тегам