Abstract
In this chapter we review the function representations that will be used throughout the book. We begin by introducing the classical function forms such as truth tables and Boolean equations. Then, through Shannon expansions we present decision diagrams, including word-level decision diagrams (WLDDs). We conclude the chapter with spectral methods, which play a fundamental role in our verification method. Among others, we introduce Arithmetic Transform, which forms the basis for error representation and test vector generation in our verification scheme.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this chapter
Cite this chapter
(2004). Boolean Function Representations. In: Verification by Error Modeling. Frontiers in Electronic Testing, vol 25. Springer, Boston, MA. https://doi.org/10.1007/0-306-48739-X_2
Download citation
DOI: https://doi.org/10.1007/0-306-48739-X_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7652-7
Online ISBN: 978-0-306-48739-2
eBook Packages: Springer Book Archive