Detail publikace
Resynthesis of logic circuits using machine learning and reconvergent paths
Boolean network scoping je technika, která je nedílnou součástí nástrojů používaných pro syntézu komplexních logických obvodů. Nedávno byl navržen přístup k lokální resyntéze založený na kombinaci evoluční optimalizace s principem Booleovské sítě. Lokální resyntéza je iterativní proces založený na extrakci menších podobvodů, které jsou optimalizovány lokálně a vráceny zpět do původního obvodu. Hlavní výhodou lokální resyntézy je, že napomůže zmírnit problém škálovatelnosti reprezentace, který je typický pro evoluční algoritmy. Účinnost lokální resyntézy však silně závisí na kvalitě extrakce podobvodů. V této práci proto navrhujeme alternativní metodu extrakce založenou na rekonvergentních cestách. Metoda poskytuje lepší výsledky ve srovnání s konvenčními nástroji pro logickou syntézu a evolučními optimalizačními technikami pracujícími lokálně i globálně. Ve více než 70 % případů se podařilo identifikovat podstatně větší počet redundantních hradel při zachování výpočetní náročnosti metody.
@INPROCEEDINGS{FITPUB12490, author = "Jitka Kocnov\'{a} and Zden\v{e}k Va\v{s}\'{i}\v{c}ek", title = "Resynthesis of logic circuits using machine learning and reconvergent paths", pages = "69--76", booktitle = "2021 24th Euromicro Conference on Digital System Design (DSD)", year = 2021, location = "Palermo, ES", publisher = "Institute of Electrical and Electronics Engineers", ISBN = "978-1-6654-2704-3", doi = "10.1109/DSD53832.2021.00020", language = "english", url = "https://www.fit.vut.cz/research/publication/12490" }