Summary
This Chapter introduced Truss, an open-source application framework.
We revisited the benefits of an OOP language such as C++, but stressed the need to keep things simple despite the power of this language, to avoid writing code that is unnecessarily complicated.
We talked about the key algorithm of verification, which the authors called the “dance.” We showed how the dance is used by the verification_top() program to run a test. We discussed the roles and responsibilities of the test, testbench, and watchdog timer, the main parts of the top-level dance.
We discussed the verification_component abstract base class, which provides pure virtual methods for the dance.
We then discussed the test_componentand irritatorclasses, including their responsibilities and interfaces.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Truss, and verify. Anon.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2006 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2006). Truss: A Standard Verification Framework. In: Hardware Verification with C++. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-36254-0_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-36254-0_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-25543-9
Online ISBN: 978-0-387-36254-0
eBook Packages: EngineeringEngineering (R0)