Detail publikace
SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support
Háleček Ivo (FIT ČVUT)
Schmidt Jan, doc. Ing. (FIT ČVUT)
Šimek Václav, Ing. (UPSY FIT VUT)
V rámci tohoto příspěvku je představena metoda pro generování optimálních, více úrovňových Booleovských funkcí, která využívá principu splnitelnosti (SAT) a řešení pseudo-booleovských optimalizačních problémů (PBO). Tato metoda dokáže cíleně vygenerovat dle požadavků jednu či vyhodnotit všechny přípustné optimální implementace, přičemž se zohledňují mimo jiné dostupné typy hradel a jejich cena, kdy tyto údaje mohou být libovolně specifikovány.
V případě polymorfních obvodů jde o zcela nové výpočetní paradigma, kde jedna obvodová struktura dokáže vykonávat dvě či více různých, avšak cíleně specifikovaných, funkcí a to s ohledem na stav prostředí, jehož působení je takový obvod vystaven. Cílem tohoto příspěvku je představit vůbec první dostupnou metodu, která dokáže z pohledu velikosti generovat polymorfní obvody s optimální strukturou. Škálovatelnost a další vlastnosti této metody jsou demonstrovány prostřednictvím výsledků získaných v rámci prováděných experimentů.
Konkrétně se jednalo o NPN ekvivalenční třídy funkcí se čtyřmi vstupy, kdy pro jejich implementaci byla zvolena AND-Inverter a AND-XOR-Inverter logika bez podpory polymorfního chování. Dále byly do experimentů zahrnuty všechny dvojice NPN ekvivalenčních tříd funkcí se třemi vstupy vykazující polymorfní chování. V neposlední řadě proběhla i syntéza několika menších testovacích obvodů s optimální strukturou a to při využití standardní i polymorfní logiky.
@ARTICLE{FITPUB12249, author = "Petr Fi\v{s}er and Ivo H\'{a}le\v{c}ek and Jan Schmidt and V\'{a}clav \v{S}imek", title = "SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support", pages = "1--29", journal = "Journal of Circuits, Systems and Computers", volume = 28, number = 1, year = 2019, ISSN = "1793-6454", doi = "10.1142/S0218126619400103", language = "english", url = "https://www.fit.vut.cz/research/publication/12249" }