Detail publikace
EA-based refactoring of mapped logic circuits
Cartesian Genetic Programming, Resynthesis, Logic optimization
Narůstající komplexnost obvodových řešení a problémová škálovatelnost i vedla ke změně podoby interních reprezentací obvodů, které jsou využívány v logické syntéze a optimalizaci. Heterogenní reprezentace byly nahrazeny homogenními. AIG graf se ukázal jako vhodná struktura pro škálovatelnou logickou optimalizaci a byl na něm vytvořen nespočet algoritmů. Neschopnost AIG efektivně reprezentovat hradla XOR spolu s heuristickou podobou logické optimalizace vede k jisté neefektivitě - obvody tak mohou být dále optimalizovány i po namapování na standartní hradla. Tento článek prezentuje optimalizační techniku založenou na refaktoringu, která cílí na optimalizaci namapovaných obvodů. Iterativně vybírá části obvodů, optimalizuje je, a navrací zpět do původního obvodu za podmínky, že se tak podařilo obvod optimalizovat. Metoda byla otestována na sadě komplexních akademických a industriálních benchmarkových obvodů. Bylo možné dosáhnout v průměru 9.2% úbytku počtu hradel v porovnání s výsledky, které poskytuje akademický state-of-the-art syntézní nástroj. Na sadě aritmetických obvodů bylo průměrně dosaženo 14% redukce počtu hradel.
@inproceedings{BUT158068,
author="Jitka {Kocnová} and Zdeněk {Vašíček}",
title="EA-based refactoring of mapped logic circuits",
booktitle="2019 IEEE International Symposium on Circuits and Systems (ISCAS)",
year="2019",
pages="1--5",
publisher="IEEE Computer Society Press",
address="Red Hook, NY",
doi="10.1109/ISCAS.2019.8702084",
isbn="978-1-7281-0397-6",
url="https://www.fit.vut.cz/research/publication/11847/"
}