ACV: an arithmetic circuit verifier

ACV: an arithmetic circuit verifier

Full Text:

Pdf

Buy this Article

Authors:	Yirng-An Chen	Carnegie Mellon University, Pittsburgh, PA
	Randal E. Bryant	Carnegie Mellon University, Pittsburgh, PA

Published in:

	· Proceeding
	ICCAD '96 Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
	IEEE Computer Society Washington, DC, USA ©1996 table of contents ISBN:0-8186-7597-7

	1997 Article
Bibliometrics
· Downloads (6 Weeks): 1 · Downloads (12 Months): 1 · Citation Count: 12

Tools and Resources

Buy this Article
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref
Upcoming Conference:
- ICCAD '12

Publisher Site

Tags: algorithms arithmetic and logic units design experimentation formal verification, arithmetic circuit, binary moment diagram, bmd, hierarchical verification. hardware description languages verification verification

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2012 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player