ISMVL
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper, we propose a compact representation of logic functions using Multi-valued Decision Diagrams (MDDs) called heterogeneous MDDs. In a heterogeneous MDD, each variable ...
ASPDAC
2004
ACM
14 years 4 months ago
2004
ACM
Abstract— In this paper, we propose exact and heuristic algorithms for minimizing the memory size for heterogeneous Multivalued Decision Diagrams (MDDs). In a heterogeneous MDD, ...