Functional Verification Tools
- Aldec
- Avery Design Systems: SimCluster (for parallel logic simulation) and Insight (for formal verification)
- Breker Verification Systems, Inc.: Trek (a model-based test generation tool for complex SoCs)
- Cadence Design Systems
- EVE/ZeBu
- Mentor Graphics
- Nusym Technology
- Obsidian Software
- Synopsys
Read more about this topic: Functional Verification
Famous quotes containing the words functional, verification and/or tools:
“Indigenous to Minnesota, and almost completely ignored by its people, are the stark, unornamented, functional clusters of concrete—Minnesota’s grain elevators. These may be said to express unconsciously all the principles of modernism, being built for use only, with little regard for the tenets of esthetic design.”
—Federal Writers’ Project Of The Wor, U.S. public relief program (1935-1943)
“Science is a system of statements based on direct experience, and controlled by experimental verification. Verification in science is not, however, of single statements but of the entire system or a sub-system of such statements.”
—Rudolf Carnap (1891–1970)
“But lo! men have become the tools of their tools.”
—Henry David Thoreau (1817–1862)