Detail publikace
Optimum Polymorphic Circuits Synthesis Method
Šimek Václav, Ing. (UPSY FIT VUT)
V polymorfních obvodech je možnost spatřovat moderní výpočetní paradigma, v jehož rámci je obvodová struktura schopna vykonávat s ohledem na aktuální podmínky v cílovém prostředí několik (typicky dvě) cíleně definovaných funkcí. Svým způsobem specifické vlastnosti tohoto schématu vyžadují i odlišný přístup k metodám logické syntézy. V minulosti již proběhlo několik pokusů, kterak vylepšit parametry návrhu takovéhoto typu obvodů. Nicméně ve všech případech vykazovaly dosažené výsledky značně sub-optimální charakter. Coby důmyslný způsob, kterak omezit výpočetní složitost návrhového procesu a podpořit takto vývojáře pokročilých syntézních algoritmů, je v tomto příspěvku představena metoda kladoucí si za cíl zjednodušit vytváření optimální implementace polymorfních obvodů. Jádro této metody je založeno na cíleném využití formálních technik zahrnujících především SAT a PBO.
@INPROCEEDINGS{FITPUB11740, author = "Petr Fi\v{s}er and V\'{a}clav \v{S}imek", title = "Optimum Polymorphic Circuits Synthesis Method", pages = "1--6", booktitle = "13th International Conference on Design \& Technology of Integrated Systems in Nanoscale Era (DTIS)", year = 2018, location = "Taormina, IT", publisher = "IEEE Circuits and Systems Society", ISBN = "978-1-5386-5290-9", doi = "10.1109/DTIS.2018.8368585", language = "english", url = "https://www.fit.vut.cz/research/publication/11740" }