Download

Logic Synthesis

ESPRESSO v2.3 - Two-level Boolean minimizer from Berkeley
Windows Executable
Source
SIS 1.2 - logic synthesis package from Berkeley
Windows Executable
Source
MVSIS 2.0 - multivalued logic synthesis package from Berkeley
Windows
Linux
Source
BOOM - two-level Boolean minimizer
Link to webpage
BDD 2.4 - Binary Decision Diagram (BDD) Package from Berkeley
Source
CUDD 2.4.0 - Binary Decision Diagram (BDD) Package by Fabio Somenzi
Source
A Collection of Digital Design Benchmarks
Download

Atalanta - ATPG tool
Windows exacutable
source
FSIM - Fault simulator
Windows executable (needs "cygwin1.dll" to run)
Source
HOPE - Better fault simulator
Windows executable (needs "cygwin1.dll" to run)
Source
MILEF - ATPG toolWindows executable, procuces compacted test set (needs "cygwin1.dll" to run)
Windows executable, procuces test with DCs (needs "cygwin1.dll" to run)
Source

Logic Specification Formats Convertor 1.2 (Bench, Edif, Blif, Cir)
Windows executable
Cygwin1.dll - CygWin library
Cygwin1.dll
Borland C++ 5.6 Compiler for Win32
Download