Export

Logic Synthesis

• BOOM - two-level Boolean minimizer
• TT-Min - another two-level Boolean minimizer
• BoolTool - The Boolean function manipulation tool
• Resynth - multi-level circuit optimization by resynthesis
• ABCTcl - Tcl/Tk extension for ABC
• BDS - BDD-based decomposition tool

Testing & Diagnostics

• ColMatch - Column-matching BIST design tool
• SAT-Compress - SAT-based test compression tool
• Fault Classifier - Fault classifier for stuck-at and SEU fault models

Networking

• Control software for the COMbo Ethernet Tester: Software part (Linux application), Hardware part (firmware)
• Fast TCP Flood Detector

Benchmarking

• A Collection of Digital Design Benchmarks
• Random Circuits Generators - Parametrized generators of random PLA and KISS files

Other

• Logic Specification Formats Convertor 1.2 (Bench, Edif, Blif, Cir)
• Voting system for a small session

Hardware cores

• ADOP CPU

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
• ABC - logic synthesis package from Berkeley
  
  • Webpage
  • Download v. 00530p (Sources)
  • Download v. 00406 (Windows executable)
  • Download v. 90809 (Sources, Windows executable)
  • Download v. 70930 (Sources)
• BDD 2.4 - Binary Decision Diagram (BDD) Package from Berkeley
  
  • Source
• CUDD - Binary Decision Diagram (BDD) Package by Fabio Somenzi
  
  • CUDD webpage
  • CUDD 2.4.2
  • CUDD 2.4.1
  • CUDD 2.4.0
• BDS 1.2 - A BDD-Based Logic Optimization System
  
  • Original webpage
  • Linux Source
  • Windows Source
• BDS-PGA 2.0 - A BDD-Based Logic Optimization System
  
  • Original webpage

Diagnostics

• 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 tool
  
  • Windows executable, procuces compacted test set (needs "cygwin1.dll" to run)
  • Windows executable, procuces test with DCs (needs "cygwin1.dll" to run)
  • Source

Other

• Cygwin1.dll - CygWin library
  
  • cygwin1.dll
• vcredist_x86.exe - Microsoft Visual C++ 2010 x86 Redistributable Package
  
  • vcredist_x86.exe
• Borland C++ 5.6 Compiler for Win32
  
  • Download
• Blif to VHDL converter
  
  • Download