Abstract
As mentioned in the previous chapter, one of the mechanisms that can be used to improve the efficiency and reliability of a process is automation. This chapter covers tools used in a state-of-the-art functional verification environment. Some of these tools, such as simulators, are essential for the functional verification activity to take place. Others, such as linting or code coverage tools, automate some of the most tedious tasks of verification and help increase the confidence in the outcome of the functional verification.
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
© 2003 Springer Science+Business Media New York
About this chapter
Cite this chapter
Bergeron, J. (2003). Verification Tools. In: Writing Testbenches: Functional Verification of HDL Models. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-0302-6_2
Download citation
DOI: https://doi.org/10.1007/978-1-4615-0302-6_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5012-5
Online ISBN: 978-1-4615-0302-6
eBook Packages: Springer Book Archive