Conference paper

KOTÁSEK Zdeněk, PEČENKA Tomáš, SEKANINA Lukáš and STRNADEL Josef. Evolutionary Design of Synthetic RTL Benchmark Circuits. In: Informal Digest of Papers, IEEE European Test Workshop 2004. Montpellier: IEEE Computer Society, 2004, pp. 107-108. ISBN 000000000.
Publication language:english
Original title:Evolutionary Design of Synthetic RTL Benchmark Circuits
Title (cs):Evoluční návrh testovacích obvodů na úrovni RT
Pages:107-108
Proceedings:Informal Digest of Papers, IEEE European Test Workshop 2004
Conference:European Test Symposium
Place:Montpellier, FR
Year:2004
ISBN:000000000
Publisher:IEEE Computer Society
URL:http://www.fit.vutbr.cz/~kotasek/pub/ets_04.pdf [PDF]
Keywords
RTL benchmark circuits, RTL testability analysis, evolutionary techniques
Annotation
In the paper it is demonstrated how evolutionary techniques can be used for the process of generating benchmark circuits covering a wide scale of testability properties. To calculate the value of fitness function the approach based on analytical evaluation of testability parameters is used. The solutions which cannot be synthesized by a design system are avoided from the process of developing a new generation of benchmark circuits. A number of circuits have been evolved with the required and predefined value of  controllability and observability. The output of the methodology developed and implemented is in the form of component VHDL code. The results are discussed and trends for the future research in this field are indicated.
BibTeX:
@INPROCEEDINGS{
   author = {Zden{\v{e}}k Kot{\'{a}}sek and Tom{\'{a}}{\v{s}}
	Pe{\v{c}}enka and Luk{\'{a}}{\v{s}} Sekanina and Josef
	Strnadel},
   title = {Evolutionary Design of Synthetic RTL Benchmark Circuits},
   pages = {107--108},
   booktitle = {Informal Digest of Papers, IEEE European Test Workshop 2004},
   year = {2004},
   location = {Montpellier, FR},
   publisher = {IEEE Computer Society},
   ISBN = {000000000},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7482}
}

Your IPv4 address: 54.80.211.135
Switch to IPv6 connection

DNSSEC [dnssec]