Work

Verification of Arithmetic Circuits with Binary Moment Diagrams

Year: 1995

Type: conference-paper

Source: ACM/IEEE Design Automation Conference (DAC)

DOI: 10.1109/dac.1995.250005

Authors: Randal E. Bryant, Yirng-An Chen

Institution: Carnegie Mellon University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2127271657

FWCI: 18.66

Cites: 12

Cited by: 355

Related to: 10