Это формальный инструмент проверки эквивалентности, разработанный для проверки IIT Guwahati, который может быть использован для проверки функциональной эквивалентности между схемами (комбинированными и последовательными) форматов BLIF, verilog и EDIF.
история версии
- Версия equiitg_1.2%20beta размещено на 2009-07-02
Несколько исправлений и обновлений - Версия equiitg_1.2 beta размещено на 2009-07-02
Подробная информация о программе
- Категории: Развития > Других
- Издателя: equiitg.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 1.2
- Платформы: windows