Detail publikace

SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support

FIŠER Petr, HÁLEČEK Ivo, SCHMIDT Jan a ŠIMEK Václav. SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support. Journal of Circuits, Systems and Computers, roč. 28, č. 1, 2019, s. 1-29. ISSN 1793-6454. Dostupné z: https://www.worldscientific.com/doi/10.1142/S0218126619400103
Název česky
Generování optimálních obvodů s podporou polymorfního chování na bázi metodiky SAT
Typ
článek v časopise
Jazyk
angličtina
Autoři
Fišer Petr, doc. Ing., Ph.D. (FIT ČVUT)
Háleček Ivo (FIT ČVUT)
Schmidt Jan, doc. Ing. (FIT ČVUT)
Šimek Václav, Ing. (UPSY FIT VUT)
URL
Abstrakt

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.

Rok
2019
Strany
1-29
Časopis
Journal of Circuits, Systems and Computers, roč. 28, č. 1, ISSN 1793-6454
Vydavatel
World Scientific Publishing Co Pte Ltd
DOI
10.1142/S0218126619400103
UT WoS
000503001600011
EID Scopus
2-s2.0-85067369067
BibTeX 
@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"
}
Nahoru