ACV: An arithmetic circuit verifier

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1996, Pages 361-365

  Chen, Yirng An ^a   Bryant, Randal E ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DIGITAL ARITHMETIC; ENCODING (SYMBOLS); INTERCONNECTION NETWORKS; LOGIC GATES;

ARITHMETIC CIRCUIT VERIFIERS (ACV); BINARY DECISION DIAGRAMS (BDD); BINARY MOMENT DIAGRAMS (BMD);

DIGITAL CIRCUITS;

EID: 0030415438     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)