CAD Group: ITC'99 Benchmarks (2nd release)
 

Overview

The ITC'99 benchmarks developed in the CAD Group at Politecnico di Torino (I99T) are a set of circuits whose characteristics are typical of synthesized circuits. For each bench both the RT-level VHDL description and the synthesized Gate-Level netlist are available. In April 2002 new RT-Level VHDL benchmarks were added to the set and more gate-level circuits were synthesized.
I99T benchmarks are available from http://www.cad.polito.it/tools/itc99.html, while further benchmarks and tools developed by the CAD Group are available here.

You can find a detailed descriptions of benchmarks and an experimental RT-level ATPG tool in the article "RT-Level ITC 99 Benchmarks and First ATPG Results", IEEE Design & Test of Computers, July-August 2000. We also maintain an updated list of references to research results obtained on these benchmarks.

Benchmarks main characteristics are sketched below:

VHDL RT-Level descriptions range from a small, monolithic circuit (1 entity, 1 process, 70 lines) to a large, multi-entity, multi-process one (11 entities, 33 processes, 1,424 lines). At the Gate-Level, netlists range from an s27-sized circuit (2 inputs, 29 gates, 4 flip-flops, 150 faults) to a circuit more than 3 times larger that the largest ISCAS'89 (37 inputs, 69,917 gates, 3,320 flip-flops, 429,712 faults).

VHDL descriptions were synthesized to netlists using both standard (std) options and optimized (opt) options. The former may contains completely useless gates with no inputs and no outputs. Optimized gate-level circuits superseded "stripped" (e.g., b04s) gate-level circuits.

NAMEVHDLTYPEGATE LEVELFAULT
LINEPROCGATEPIPOFFL0L1COMPCOLL
b011101std4922500260114
opt4922500260118
b02701std281140014862
opt271140014460
b031411std160443000872386
opt153443000844386
b041021std73781166844,1021,646
opt62811866003,5321,502
b053323std*998136348335,7322,440
opt57413634003,2141,522
b061281std5626900276134
opt5526900272134
b07921std4411849002,4601,072
opt4271849002,4461,111
b08891std183942100994442
opt171942100932407
b091031std170112800946403
opt160112800902410
b101671std20611617001,118485
opt18011617001,010454
b111181std7707631654,3321,726
opt5487631003,2761,422
b125694std1,07656121006,3062,856
opt1,00656121005,9942,805
b132965std362101053211,906830
opt317101053001,694779
b145091std10,098325424518658,34822,634
opt5,67832542450035,26415,999
b14_15091std6,900325424513639,89015,492
opt4,37932542450027,04012,307
b156713std8,922367044921953,01821,776
opt7,57736704490047,41421,072
b15_16713std13,09836704491691475,61828,787
opt7,97436704480050,38421,852
b1781015std32,32637971,41524337190,78476,485
opt24,30537971,41400154,22068,037
b17_181015std39,66537971,41551147230,36087,958
opt24,57137971,41200156,25667,693
b181,42433std**114,62136233,3201,072110667,008263,967
opt73,24336233,27000463,570206,736
b18_11,42433std**108,48236233,3201,061109630,894250,717
opt71,61136233,27000453,088202,812
b191,49110std**231,32021306,6422,1532171,345,442533,142
b19_11,49110std**219,42421306,6422,1322181,275,720507,476
b201,0853std20,22632224904314117,75045,395
opt12,50132224900078,78835,667
b20_11,0853std14,4433222490331483,90633,191
opt10,70932224900067,15830,749
b211,0893std20,57132224904315120,00046,090
opt12,67832224900079,55635,994
b21_11,0893std14,4423222490331584,08432,884
opt10,20632224900063,73229,091
b221,6134std29,95132227356311174,78667,472
opt18,086322270300113,30851,277
b22_11,6134std21,77232227355014126,67049,881
opt15,71332227030098,00644,771
CAPTION
LINES: VHDL lines
PROC: Number of process
TYPE: Synthesis type (standard or optimized)
GATES: Number of gates
PI: Number of primary inputs
PO: Number of primary outputs
FF: Number of flip-flops
L0/1: Number of logic-zero/logic-one
COMP: Number of faults in complete fault list
COLL: Number of faults in collapsed (reduced) fault list
NOTES
*) More than one connections between the same pair of gates
**) Dandling gates

Original Functionality

All benchmarks are syntactically correct, but, due to the development process, there is no guarantee that VHDL descriptions are functionally meaningful. However, to help researchers better understand their results, the original functionalities of VHDL descriptions is reported in the following table.

NAME ORIGINAL FUNCTIONALITY
b01 FSM that compares serial flows
b02 FSM that recognizes BCD numbers
b03 Resource arbiter
b04 Compute min and max
b05 Elaborate the contents of a memory
b06 Interrupt handler
b07 Count points on a straight line
b08 Find inclusions in sequences of numbers
b09 Serial to serial converter
b10 Voting system
b11 Scramble string with variable cipher
b12 1-player game (guess a sequence)
b13 Interface to meteo sensors
b14 Viper processor (subset)
b15 80386 processor (subset)
b16 Hard to initialize circuit (parametric)
b17 Three copies of b15
b18 Two copies of b14 and two of b17
b19 Two copies of b14 and two of b17
b20 A copy of b14 and a modified version of b14
b21 Two copies of b14
b22 A copy of b14 and two modified versions of b14

Download

Click on a file to start download, or follow this link to peek who already downloaded them.
Notez Bien: last upload: 18 June 2003.
itc99-poli2.tar.gz  Complete tarball including VHDL descriptions, EDIF netlists and fault lists (126,851,723 bytes)
itc99-poli2-vhd.tar.gz  RT-Level VHDL descriptions (65,085 bytes)
itc99-poli2-edf.tar.gz  Synthesized netlists in edf (EDIF) format (48,998,976 bytes)
itc99-poli2-fau.tar.gz  Gate-level fault lists (51,906,297 bytes)
itc99-poli2-bench.tar.gz  Synthesized netlists in bench (ISCAS'89) format (18,987,069 bytes)1
itc99-poli2-blif.tar.gz  Synthesized netlists in blif format (6,828,380 bytes)
itc99-poli2-breset.tar.gz  Some netlists in bench format with explicit resets (2,446,431 bytes)2
1 due to format restrictions, not all circuits are available in bench format. 
2 netlists modified by Marong Phadoongsidhi, the perl script is included in the tarball. 

Previous release
itc99-poli.tar.gz  Complete tarball (10,110,139 bytes)
itc99-poli-vhd.tar.gz  RT-Level VHDL descriptions (25,019 bytes)
itc99-poli-edf.tar.gz  Synthesized netlists in flattened EDIF format (6,126,783 bytes)
itc99-poli-bench.tar.gz  Synthesized netlists in bench (ISCAS'89) format (573,709 bytes)*
itc99-poli-fau.tar.gz  Gate-level fault lists (3,359,547 bytes)
* due to format restrictions, not all circuits are available in bench format. 

Contact information

Matteo Sonza Reorda <matteo . sonzareorda @ polito . it> 
Fulvio Corno <fulvio . corno @ polito . it> 
Giovanni Squillero <giovanni . squillero @ polito . it> 
 

  © Copyright Politecnico di Torino
webmaster@www.cad.polito.it
(/tools/itc99.html - 7-Sep-2007)