Skip to search formSkip to main contentSkip to account menu

Binary moment diagram

Known as: Binary Moment Diagrams 
A binary moment diagram (BMD) is a generalization of the binary decision diagram (BDD) to linear functions over domains such as booleans (like BDDs… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Binary decision diagram

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Remarks on Applications of Arithmetic Expressions for Efficient Implementation of Elementary Functions
It has been recently shown in (1), that elementary mathematical functions (as trigonometric, logarithmic, square root, gaussian… 
2007
2007
Automatic Verification of Arithmetic Circuits using Step-wise Refinement of Term Rewriting Systems
This paper presents a novel technique for proving the correc tness of arithmetic circuit designs described at the Register… 
2006
2006
Representations of Elementary Functions Using Binary Moment Diagrams
This paper considers representations for elementary functions such as polynomial, trigonometric, logarithmic, square root, and… 
Review
2004
Review
2004
Equivalence Checking of Arithmetic Circuits
Although equivalence checking technology has matured greatly during the last few years and designs with millions of gates can be… 
2001
2001
Formal verification of the Pentium(R) 4 multiplier
We present the formal verification of the floating-point multiplier in the Intel IA-32 Pentium(R)4 microprocessor. The… 
2000
2000
Prove that a faulty multiplier is faulty!?
Formal verification of integer multipliers was an open problem for a long time as the size of any reduced ordered binary decision… 
1999
1999
An Exponential Lower Bound on the Size of a Binary Moment Diagram Representing Integer Division (Special Section on Discrete Mathematics and Its Applications)
A binary moment diagram, which was proposed for arithmetic circuit verification, is a directed acyclic graph representing a… 
1998
1998
Arithmetic circuit verification based on word-level decision diagrams
The division bug in Intel's Pentium processor has demonstrated the importance and the difficulty of verifying arithmetic circuits… 
1996
1996
Modular Verification of Multipliers
We present a new method for the efficient verification of multipliers and other arithmetic circuits. It is based on modular… 
1994
1994
Veri cation of Arithmetic Functionswith Binary Moment
Binary Moment Diagrams (BMDs) provide a canonical representations for linear functions similar to the way Binary Decision… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)