Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

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