Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 206,506,337 papers from all fields of science

Search

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…

2007

2007

This paper presents a novel technique for proving the correctness of arithmetic circuit designs described at the register…

2007

2007

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

2006

2006

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

2001

2001

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

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…

1996

1996

Multiway Decision Graphs (MDGs) have recently been proposed as an efficient representation tool for RTL designs. In this paper we…

Highly Cited

1995

Highly Cited

1995

Binary Moment Diagrams (BMDs) provide a canonical representations for linear functions similar to the way Binary Decision…

1995

1995

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

Highly Cited

1995

Highly Cited

1995

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