Paper Info
Title
Manipulation Algorithms for K*BMDs
Abstract
Bit-level and word-level based Decision Diagrams (DDs) have led to significant advances in the area of Computer Aided Design (CAD). Recently, a new data structure for the word-level, called Kronecker Multiplicative BMDs (K*BMDs), has been presented. We study manipulation algorithms for K*BMDs: Using K*BMDs it is possible to represent functions efficiently, that have a good word-level description (like multipliers). On the the other hand K*BMDs are also applicable to verification problems at the ...
Year
DOI
Venue
1997
10.1007/BFb0035377
TACAS
Keywords
Field
DocType
manipulation algorithms,computer aided design,data structure,decision diagram
CAD,Data structure,Kronecker delta,Multiplicative function,Computer science,Computer Aided Design,Theoretical computer science
Conference
Volume
ISSN
ISBN
1217
0302-9743
3-540-62790-1
Citations 
PageRank 
References 
2
0.39
21
Authors
3
Name
Order
Citations
PageRank
Rolf Drechsler13707351.36
Bernd Becker234531.68
Stefan Ruppertz3763.81