Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. equ-iitg formal equivalence checker
  5. Download

equ-iitg formal equivalence checker 1.2

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 2.4/5 - ‎8 ‎Голосов

О equ-iitg formal equivalence checker

Это формальный инструмент проверки эквивалентности, разработанный для проверки IIT Guwahati, который может быть использован для проверки функциональной эквивалентности между схемами (комбинированными и последовательными) форматов BLIF, verilog и EDIF.

Похожие программы

  • ArmedBear / J Бесплатный

    ArmedBear (ABCL) — общий листок, написанный на Java. Его компилятор производит код JVM byte, нажав на философию Java «написать один раз, запустить везде». J — текстовый редактор, написанный на Java с синтаксисом и автоматичес

  • Integrated PearPC GUI Бесплатный

    IPG — это интегрированный графический интерфейс PearPC, который позволяет настроить и запустить эмулятор PearPC в рамках графического интерфейса на базе Windows.

  • wxWindows Project Manager for VC7 Бесплатный

    Набор инструментов для упрощения использования wxWindows с visual C-7.

  • flam3 editor Бесплатный

    Редактор Flam3 построен вокруг традиционного пакета программного обеспечения flam3. Редактор позволяет загружать, редактировать и сохранить космические рекурсивные фрактальные пламя, как электрические овец или апофиз файлы, о

  • InvisiBright Free Бесплатная пробная версия

    «Если вам нравится это приложение, пожалуйста, подумайте о том, чтобы попробовать версию Pro :) »InvisiBright - это невидимая утилита регулировки яркости. Отрегулируйте изнутри любое приложение, проводя по экрану или накл

  • serverM - a powerful host-based IDS Бесплатный

    serverM является чрезвычайно гибкой системой обнаружения вторжений на основе подписи (HIDS). Запуск как Perl daemon, он использует мало процессора, и способен обнаруживать широкий спектр вторжений. Язык подписи является мощны

  • Eclipse SpringIDE Extensions Бесплатный

    Расширения для проекта SpringIDE (см. springide-eclip и springframework).В настоящее время включает в себя: класс (движение / переименование) и метод (переименовать) рефакторинг участников, поддержка поиска и "быстро исправ

  • Generic Entity Manager Бесплатный

    Общий менеджер игровой сущности, написанный в C- с привязками Lua. На ранних стадиях atm. Game Entity System - В настоящее время ищет дополнительных участников проекта.

  • ajaxnet4j Бесплатный

    ajaxnet4j является Java реализации знаменитой Ajax.NET профессиональной библиотеки. С его помощью вы можете сосредоточиться на бизнес-логике на стороне сервера и опыте пользователей на стороне клиента, и вам не придется трати

  • NSketch, .Net sketch-based algorithms Бесплатный

    Библиотека NSketch предоставляет реализацию наиболее распространенных алгоритмов на основе эскизов (гистограммы, квантильные, частые элементы, цветущий фильтр ...). Библиотека написана на C-Net.