Fault Model Background
In this chapter, we review the existing fault models for verification by error modeling. Explicit error classes as well as methods for their detection are addressed. We then introduce the concept of implicit error modeling, similar to the channel models in communication systems. The implicit model will be used henceforth in our netlist verification method.
This is a preview of subscription content, log in via an institution to check access.
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). Design Error Models. In: Verification by Error Modeling. Frontiers in Electronic Testing, vol 25. Springer, Boston, MA. https://doi.org/10.1007/0-306-48739-X_5
Download citation
DOI: https://doi.org/10.1007/0-306-48739-X_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7652-7
Online ISBN: 978-0-306-48739-2
eBook Packages: Springer Book Archive