Detail publikace

Evolutionary Design of Synthetic RTL Benchmark Circuits

PEČENKA, T., KOTÁSEK, Z., SEKANINA, L., STRNADEL, J.

Originální název

Evolutionary Design of Synthetic RTL Benchmark Circuits

Anglický název

Evolutionary Design of Synthetic RTL Benchmark Circuits

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

Dokumenty

BibTex


@inproceedings{BUT17130,
  author="Tomáš {Pečenka} and Zdeněk {Kotásek} and Lukáš {Sekanina} and Josef {Strnadel}",
  title="Evolutionary Design of Synthetic RTL Benchmark Circuits",
  annote="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.",
  address="IEEE Computer Society",
  booktitle="Informal Digest of Papers, IEEE European Test Workshop 2004",
  chapter="17130",
  institution="IEEE Computer Society",
  year="2004",
  month="may",
  pages="107--108",
  publisher="IEEE Computer Society",
  type="conference paper"
}