| CAD Group: download |  |
|
| Tools | Benchmarks | Results |
|---|
| Name | Description | Requires | Documentation |
|---|---|---|---|
| PdT | Politecnico di Torino gate library for Synopsys, Sunrise, SIS, EDIF | ||
| include | Include files | ||
| create_edf | EDIF netlist reader (library) | PdT include | |
| create_fau | Fault list reader (library) | include | |
| fama | Fault Manager | include create_edf create_fau | |
| Fenice | Customizable Fault Simulation library for Sequential Circuits (including molokh). This is version 3.65 | include create_edf create_fau | |
| gatto | Automatic Test Pattern Generator for Sequential Circuits based on Genetic Algorithms. Includes a parallel version based on PVM. | include create_edf create_fau [pvm] | |
| molokh | Fault-parallel, event-driven fault simulator, vaguely based on PROOFS by Thomas M. Niermann, Wu-Tung Cheng & Janak H. Patel. | Precompiled executable (Solaris7) | |
| translators | Tools to translate to and from the Sunrise environment | include create_edf create_fau | |
| gallo | Floorplan Area Optimization tool |
| Name | Description | Requires | Documentation |
|---|---|---|---|
| ITC99 | Benchmarks included in ITC'99 test suite (updated and revised, may-2000): - RT-level VHDL descriptions - Gate-level descriptions in flat EDIF and BENCH (ISCAS) format - Fault Lists generated by Sunrise | ||
| ISCAS89 | Iscas'89 (and Addendum) circuits in EDIF format | ||
| FAULT89 | Fault lists for ISCAS89, generated with Sunrise's faultsim, fama. | ISCAS89 | |
| GGOAL | Glass optimization benchmarks for used in GGOAL (GALESIA'97) |
| Name | Description | Requires | Documentation |
|---|---|---|---|
| INP89 | Test patterms for ISCAS89, generated with Sunrise's testgen, HITEC, gatto, symbat. They are the same patterns we used in our ITC'96 paper. | ISCAS89 | |
| POLI-INP | Test patterns for POLI-GATE, generated wish RAGE | POLI-RT | |
| MATRICI-GATTO | Test matrices used in ED&TC'97 for GATTO | ||
| MATRICI-HITEC | Test matrices used in ED&TC'97 for HITEC | ||
| MATRICI-SYMBAT | Test matrices used in ED&TC'97 for SYMBAT |
|
