Doc. Ing. Zdeněk Vašíček, Ph.D.

VAŠÍČEK Zdeněk a SEKANINA Lukáš. Extensions of Cartesian Genetic Programming for Optimization of Complex Combinational Circuits. In: Proc. of the 20th International Workshop on Logic and Synthesis. San Diego: University of California San Diego, 2011, s. 55-61.
Jazyk publikace:angličtina
Název publikace:Extensions of Cartesian Genetic Programming for Optimization of Complex Combinational Circuits
Strany:55-61
Sborník:Proc. of the 20th International Workshop on Logic and Synthesis
Konference:International Workshop on Logic and Synthesis 2011
Místo vydání:San Diego, US
Rok:2011
Vydavatel:University of California San Diego
Klíčová slova
logic optimization, genetic programming, digital circuit
Anotace
Článek popisuje dvě rozšíření kartézského genetického programování pro optimalizaci kombinačních obvodů: použití formální verifikace pro urychlení evaluace kandidátních řešení a novou selekční strategii. Za cenu výpočetního času došlo k redukci počtu hradel v průměru o 24% vzhledem ke standardním nástrojům pro logickou syntézu.
BibTeX:
@INPROCEEDINGS{
   author = {Zden{\v{e}}k Va{\v{s}}{\'{i}}{\v{c}}ek and Luk{\'{a}}{\v{s}}
	Sekanina},
   title = {Extensions of Cartesian Genetic Programming for Optimization
	of  Complex Combinational Circuits},
   pages = {55--61},
   booktitle = {Proc. of the 20th International Workshop on Logic and
	Synthesis},
   year = {2011},
   location = {San Diego, US},
   publisher = {University of California San Diego},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=9664}
}

Vaše IPv4 adresa: 54.224.197.251
Přepnout na IPv6 spojení

DNSSEC [dnssec]