Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

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

2007

2007

It has been recently shown in (1), that elementary mathematical functions (as trigonometric, logarithmic, square root, gaussian… Expand

2006

2006

This paper considers representations for elementary functions such as polynomial, trigonometric, logarithmic, square root, and… Expand

2001

2001

Abstract.Binary moment diagrams (BMDs) provide a canonical representation for linear functions similar to the way binary decision… Expand

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

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

1995

1995

BDD-based approaches cannot handle some arithmetic functions such as multiplication efficiently, while Binary Moment Diagrams… Expand

1995

1995

Functions that map boolean vectors into the integers are important for the design and verification of arithmetic circuits. MTBDDs… Expand