Differences

This shows you the differences between two versions of the page.

Link to this comparison view

tg-pro [2016/11/18 15:52] (current)
ajrm created
Line 1: Line 1:
 +====== TG-Pro - A SAT-based ATPG System ======
 +//SAT-based **T**est pattern **G**eneration with efficient fault **Pro**pagation constraints//​
  
 +==== System Description ====
 +TG-Pro is a SAT-based model and system for ATPG of digital combinational systems. ​
 +Compared to other models, the main innovation of TG-Pro is its compact representation. ​
 +Whereas existing models use 3 variables per circuit node, TG-Pro uses only two variables per circuit node. 
 +The differences in the model allow very significant savings in problem instance representation,​ which are often reflected in the performance of the ATPG system.
 +
 +==== News ====
 +
 +7/Jun/2011: New wiki page published for TG-Pro.
 +27/​May/​2011:​ first public release of TG-Pro Version 2.0.
 +
 +==== Distribution ====
 +For research and teaching purposes only.
 +
 +TG-Pro is available as an executable in the following platforms:
 +  * {{:​tools:​tgpro-20130504-linux64.tgz|Linux 64-Bits}}
 +  * Other platforms are available from request.
 +
 +==== Documentation ====
 +{{:​docs:​readme-tgpro.txt|README}} file for TG-Pro.
 +
 +Recent publications describing the models and algorithms in TG-Pro include:
 +  * Huan Chen, Joao Marques-Silva:​ [[http://​jsat.ewi.tudelft.nl/​content/​volume8/​JSAT8_4_Chen.pdf | TG-Pro: A SAT-based ATPG System, system description]]. Vol.8, pp. 83-88, Jan. 2012.
 +  * Huan Chen, Joao Marques-Silva:​ [[http://​dx.doi.org/​10.1109/​HLDVT.2009.5340173 | TG-Pro: A New Model for SAT-Based ATPG]]. HLDVT 2009:76-81 {{:​papers:​cms-hldvt09.pdf|Preprint}}
 +
 +Talks:
 +  * HLDVT 2009
 +  * {{:​docs:​tgpro-pos2011-talk.pdf|PoS 2011}}
 +
 +==== Example Usage ====
 +
 +Show manual:
 +    ./tgpro -h
 +
 +Default mode: 
 +    ./tgpro c1908.bench
 +
 +
 +==== Tool Demo ====
 +  * Basic execution of the tool ({{:​videos:​tgpro_basic.tgz|video}})
 +  * Run the experiments shown in the PoS'​2011 paper ({{:​videos:​tgpro_pos2011.tgz|video}},​ associated {{:​misc:​pos2011.tgz|package}},​ and {{:​misc:​pos2011.txt|output}})
 +  * Evaluation of the SAT-based models for ATPG (addressed in the HLDVT'​2009 paper) ({{:​videos:​tgpro_hldvt2009.tgz|video}})
 +  * Show the detailed result of each fault (addressed in the HLDVT'​2009 paper) ({{:​videos:​tgpro_hldvt2009_detail.tgz|video}})
 +
 +==== Benchmarks ====
 +  * {{:​misc:​pos2011.tgz|Benchmarks and scripts}} used in PoS'​2011 and JSAT paper (submitted).
 +  * {{:​benchmarks:​iscas85.tgz|ISCAS85}} (in ISCAS89 format) and {{:​benchmarks:​iscas85flt.tgz|ISCAS85_fault_list}} copyright by F. Brglez and H. Fujiwara, A neutral list of 10 combinational benchmark circuits and a target translator in FORTRAN, in International Symposium on Circuits and Systems, June 1985, pp. 695–698.
 +  * {{:​benchmarks:​iscas89.tgz|ISCAS89}} and {{:​benchmarks:​iscas89flt.tgz|ISCAS89_fault_list}} copyright by F. Brglez, D. Bryan, and K. Kozminski : Combinational profiles of sequential benchmark circuits, in International Symposium on Circuits and Systems, May 1989, pp. 1929–1934.
 +  * {{:​benchmarks:​itc99.tgz|ITC99 (second edition)}} and {{:​benchmarks:​itc99flt.tgz|ITC99_fault_list}} copyright by CAD Group, Politecnico di Torino. Available: http://​www.cad.polito.it/​tools/​itc99.html
 +  * {{:​benchmarks:​circuit-cnf-tgpro-20110317.tgz|Circuit CNF benchmarks}} from TG-Pro ​ copyright by Huan Chen and Joao Marques-Silva. TG-Pro converts ISCAS85 and ISCAS89 benchmark circuits in .bench format to DIMACS CNF files. The sequential circuits are converted into combinational circuits. No constraint of ATPG problems are added to these benchmarks, only the original circuits are converted.
 +
 +
 +==== Contributors ====
 +  * [[huan.chen|Huan Chen]]
 +  * [[joao.marques-silva| Joao Marques-Silva]] (Principal Investigator)
 +
 +
 +==== Funding ====
 +The developement of TG-Pro was partially supported by
 +
 +[[http://​cordis.europa.eu/​fp7/​home_en.html | European Commission FP7]] and [[http://​www.sfi.ie/​ | Science Foundation Ireland]]
 +
 +{{:​images:​fp7.png?​nolink&​200|}} {{:​images:​sfi.jpeg?​nolink&​200|}}
 +
 +==== Wiki Status ====
 +**Under construction**
 +
 +**Last update: 4 May 2013**
Print/export