Semantic Scholar uses AI to extract papers important to this topic.
Multiplicative Binary Moment Diagram (*BMD) is a new representation that inherits from BDD. *BMDs map Boolean variables to… Expand This paper presents a novel technique for proving the correctness of arithmetic circuit designs described at the register… Expand It has been recently shown in (1), that elementary mathematical functions (as trigonometric, logarithmic, square root, gaussian… Expand This paper considers representations for elementary functions such as polynomial, trigonometric, logarithmic, square root, and… Expand Abstract.Binary moment diagrams (BMDs) provide a canonical representation for linear functions similar to the way binary decision… Expand Functions that map vectors with binary values into the integers are important for the design and verification of arithmetic… Expand Multiway Decision Graphs (MDGs) have recently been proposed as an efficient representation tool for RTL designs. In this paper we… Expand Binary Moment Diagrams (BMDs) provide a canonical representations for linear functions similar to the way Binary Decision… Expand BDD-based approaches cannot handle some arithmetic functions such as multiplication efficiently, while Binary Moment Diagrams… Expand Functions that map boolean vectors into the integers are important for the design and verification of arithmetic circuits. MTBDDs… Expand