A hardware simulation engine based on decision diagrams (short paper)
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions
Formal Methods in System Design
Multi-valued symbolic model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Data structures for symbolic multi-valued model-checking
Formal Methods in System Design
Hi-index | 0.00 |
Multiple-output switching functions can be simulated by multiple-valued decision diagrams (MDDs) at a significant reduction in computation time. analyze the following approaches to the representation problem: shared multiple-valued decision diagrams (SMDDs), multi-terminal multiple-valued decision diagrams (MTMDDs), and shared multi-terminal multiple-valued decision diagrams(SMTMDDs). For example, we show that SMDDs fend to be compact, while SMTMDDs tend to be fast. We present an algorithm for grouping input variables and output functions in the MDDs.