1997
DOI: 10.1007/bfb0035377
|View full text |Cite
|
Sign up to set email alerts
|

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 bit-level. We c… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2000
2000
2001
2001

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
references
References 34 publications
(45 reference statements)
0
0
0
Order By: Relevance