Abstract
One class of circuits frequently occurring in VLSI CAD are arithmetic circuits, like adders and multipliers. WLDDs seem to be well suited for verification of these functions due to their high regularity.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Drechsler, R. (2000). Arithmetic Circuits. In: Formal Verification of Circuits. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-3184-2_7
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3184-2_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4985-1
Online ISBN: 978-1-4757-3184-2
eBook Packages: Springer Book Archive