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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design s. 1 - 9
Hlavní autoři:	Huang, Xuanxiang, Che, Haipeng, Fang, Liangda, Chen, Qingliang, Guan, Quanlong, Deng, Yuhui, Su, Kaile
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Association on Computer Machinery 02.11.2020
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!