Detail publikace

Optimum Polymorphic Circuits Synthesis Method

FIŠER, P.; ŠIMEK, V. Optimum Polymorphic Circuits Synthesis Method. In 13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Taormina: IEEE Circuits and Systems Society, 2018. p. 1-6. ISBN: 978-1-5386-5290-9.
Název česky
Syntéza optimálních polymorfních obvodů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Fišer Petr, doc. Ing., Ph.D.
Šimek Václav, Ing. (UPSY)
Klíčová slova

Polymorphic circuits, Boolean functions, logic synthesis, SAT.

Abstrakt

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.

Rok
2018
Strany
1–6
Sborník
13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS)
ISBN
978-1-5386-5290-9
Vydavatel
IEEE Circuits and Systems Society
Místo
Taormina
DOI
10.1109/DTIS.2018.8368585
UT WoS
000588554800037
EID Scopus
2-s2.0-85048884916
BibTeX 
@inproceedings{BUT155056,
  author="Petr {Fišer} and Václav {Šimek}",
  title="Optimum Polymorphic Circuits Synthesis Method",
  booktitle="13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS)",
  year="2018",
  pages="1--6",
  publisher="IEEE Circuits and Systems Society",
  address="Taormina",
  doi="10.1109/DTIS.2018.8368585",
  isbn="978-1-5386-5290-9",
  url="https://www.fit.vut.cz/research/publication/11740/"
}
Nahoru