Prof. Ing. Lukáš Sekanina, Ph.D.

PEČENKA Tomáš, SEKANINA Lukáš and KOTÁSEK Zdeněk. Evolution of Synthetic RTL Benchmark Circuits with Predefined Testability. ACM Transactions on Design Automation of Electronic Systems. 2008, vol. 13, no. 3, pp. 1-21. ISSN 1084-4309.
Publication language:english
Original title:Evolution of Synthetic RTL Benchmark Circuits with Predefined Testability
Title (cs):Evolution of Synthetic RTL Benchmark Circuits with Predefined Testability
Pages:1-21
Year:2008
Journal:ACM Transactions on Design Automation of Electronic Systems, Vol. 13, No. 3, US
ISSN:1084-4309
Files: 
+Type Name Title Size +Last modified
icontodaes08.pdf400 KB2008-07-23 09:32:02
^ Select all
With selected:
Keywords
evolutionary algorithm, digital circuit, testability analysis
Annotation
This article presents a new real-world application of evolutionary computing in the area of digital-circuits testing. A method is described which enables to evolve large synthetic RTL benchmark circuits with a predefined structure and testability. Using the proposed method, a new collection of synthetic benchmark circuits was developed. These benchmark circuits will be useful in a validation process of novel algorithms and tools in the area of digital-circuits testing. Evolved benchmark circuits currently represent the most complex benchmark circuits with a known level of testability. Furthermore, these circuits are the largest that have ever been designed by means of evolutionary algorithms. This work also investigates suitable parameters of the evolutionary algorithm for this problem and explores the limits in the complexity of evolved circuits.
BibTeX:
@ARTICLE{
   author = {Tom{\'{a}}{\v{s}} Pe{\v{c}}enka and Luk{\'{a}}{\v{s}}
	Sekanina and Zden{\v{e}}k Kot{\'{a}}sek},
   title = {Evolution of Synthetic RTL Benchmark Circuits with
	Predefined Testability},
   pages = {1--21},
   journal = {ACM Transactions on Design Automation of Electronic Systems},
   volume = {13},
   number = {3},
   year = {2008},
   ISSN = {1084-4309},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8653}
}

Your IPv4 address: 54.158.55.5
Switch to IPv6 connection

DNSSEC [dnssec]