Detail publikace
EA-based refactoring of mapped logic circuits
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{FITPUB11847, author = "Jitka Kocnov\'{a} and Zden\v{e}k Va\v{s}\'{i}\v{c}ek", title = "EA-based refactoring of mapped logic circuits", pages = "1--5", booktitle = "2019 IEEE International Symposium on Circuits and Systems (ISCAS)", year = 2019, location = "Red Hook, NY, US", publisher = "IEEE Computer Society Press", ISBN = "978-1-7281-0397-6", doi = "10.1109/ISCAS.2019.8702084", language = "english", url = "https://www.fit.vut.cz/research/publication/11847" }