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

Full description

Saved in:

Bibliographic Details
Published in:	Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design pp. 1 - 9
Main Authors:	Huang, Xuanxiang, Che, Haipeng, Fang, Liangda, Chen, Qingliang, Guan, Quanlong, Deng, Yuhui, Su, Kaile
Format:	Conference Proceeding
Language:	English
Published:	Association on Computer Machinery 02.11.2020
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!