Measuring CADeT Performance by Means of FITTest _BENCH06 Benchmark Circuits
Josef Strnadel ; Tomáš Pečenka ; Zdeněk Kotásek
Computing and Informatics, Tome 28 (2012) no. 1, p. 913-930 / Harvested from Computing and Informatics
Benchmark circuits provide a basis for both research institutions and industry to measure their methods and products against. This paper focuses on utilization of recently published FITTest _BENCH06 benchmarks for measuring quality of our novel academic design for testability tool called CADeT. The paper presents basic characteristics of benchmarks and CADeT tool, provides results and analysis of implementing individual testing techniques and their constraint-driven combination to particular benchmarks.
Publié le : 2012-01-26
Classification: 
@article{cai20,
     author = {Josef Strnadel and Tom\'a\v s Pe\v cenka and Zden\v ek Kot\'asek},
     title = {Measuring CADeT Performance by Means of FITTest \_BENCH06 Benchmark Circuits},
     journal = {Computing and Informatics},
     volume = {28},
     number = {1},
     year = {2012},
     pages = { 913-930},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai20}
}
Josef Strnadel; Tomáš Pečenka; Zdeněk Kotásek. Measuring CADeT Performance by Means of FITTest _BENCH06 Benchmark Circuits. Computing and Informatics, Tome 28 (2012) no. 1, pp.  913-930. http://gdmltest.u-ga.fr/item/cai20/