Detail publikace
Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware
VAŠÍČEK Zdeněk a SEKANINA Lukáš. Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware. Genetic Programming and Evolvable Machines, roč. 12, č. 3, 2011, s. 305-327. ISSN 1389-2576.
Název česky
Formální verifikace kandidátních řešení pro evoluční optimalizaci v evolvable hardware
Typ
článek v časopise
Jazyk
angličtina
Autoři
URL
Abstrakt
V této práci je využita formální verifikace pro zkrácení doby evaluace kandidátních řešení při evolučním návrhu a optimalizaci číslicových obvodů. Navržená metoda předpokládá, že existuje plně funkční řešení, u kterého se snažíme redukovat počet hradel. Evoluce probíhá pomocí kartézského genetického programování, které využívá SAT solver pro rozhodnutí, zda je kandidátní řešení plně funkční. Navržená metoda umožňuje optimalizovat obvody, které mají desítky vstupů a sestávají z tisíců hradel. Pro testovací obvody ze sady LGSynth93 došlo v průměru ke snížení počtu hradel o 37,8% v porovnání s konvenční metodou SIS.
Rok
2011
Strany
305-327
Časopis
Genetic Programming and Evolvable Machines, roč. 12, č. 3, ISSN 1389-2576
Vydavatel
Springer International Publishing
DOI
UT WoS
000292814000007
EID Scopus
BibTeX
@ARTICLE{FITPUB9712, author = "Zden\v{e}k Va\v{s}\'{i}\v{c}ek and Luk\'{a}\v{s} Sekanina", title = "Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware", pages = "305--327", journal = "Genetic Programming and Evolvable Machines", volume = 12, number = 3, year = 2011, ISSN = "1389-2576", doi = "10.1007/s10710-011-9132-7", language = "english", url = "https://www.fit.vut.cz/research/publication/9712" }
Soubory