Whitepapers from Mike and Robert :
Version 1 • 363.1 KB
Truss Based Verification
Truss is an open-source verification methodology for C++,
SystemC, and SystemVerilog. Truss is a general methodology with
limited rules and base classes. This leaves much more direct control
to users, allowing them to focus on the verification task at hand
instead of trying to understand and remember a complex set of rules.
This whitepaper describes specific conventions used by the creators of truss, which are used in several companies.
Version 1 • 280.35 KB
Origins of Teal
Teal is a small, free, non-company biased open-source set of source and header files that make up the basic functionality of a verification system. Teal has been downloaded around ten thousand times and is being used in many companies today. Teal exists solely for the betterment of verification infrastructure. This paper traces the reasoning behind Teal’s components and their evolution.
Version 1 • 410.79 KB
Origins of Truss
Truss is a small, free, non-company biased set of open-source files that implements a verification methodology. Truss has been downloaded around several thousand times and is being used in many companies today. Truss exists solely for the betterment of verification. This paper traces the reasoning behind Truss’ components and their evolution.
