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:
“In short, the building becomes a theatrical demonstration of its functional ideal. In this romanticism, High-Tech architecture is, of course, no different in spirit—if totally different in form—from all the romantic architecture of the past.”
—Dan Cruickshank (b. 1949)
“A fact is a proposition of which the verification by an appeal to the primary sources of our knowledge or to experience is direct and simple. A theory, on the other hand, if true, has all the characteristics of a fact except that its verification is possible only by indirect, remote, and difficult means.”
—Chauncey Wright (1830–1875)
“... pure and intelligent women can be deceived and misled by the baser sort, their very innocence and experience making them credulous and the helpless tools of the guilty and bold.”
—Catherine E. Beecher (1800–1878)