Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams

A recently proposed canonical representation called Bi-Kronecker Functional Decision Diagrams (BKFDDs) utilizes the classical decompositions (the Shannon and Davio decompositions) and their biconditional variants, and hence can be seen as a generalization of some existing decision diagrams: BDDs, FD...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design S. 1 - 9
Hauptverfasser:	Huang, Xuanxiang, Che, Haipeng, Fang, Liangda, Chen, Qingliang, Guan, Quanlong, Deng, Yuhui, Su, Kaile
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Association on Computer Machinery 02.11.2020
Schlagworte:	Benchmark testing Bi-Kronecker Functional Decision Diagrams binary decision diagrams BKFDD Boolean function Boolean functions canonical representation Decision diagrams decomposition types Design automation Dynamic minimization dynamic minimization algorithms Heuristic algorithms logic circuits minimisation Minimization network synthesis ODT Semantics Servers
ISSN:	1558-2434
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!