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:
“Well designed, fully functional infant. Provides someone to live for as well as another mouth to feed. Produces cooing, gurgling and other adorable sounds. May cause similar behavior in nearby adults. Cries when hungry, sleepy or just because. Hand Wash with warm water and mild soap, then pat dry with soft cloth and talc. Internal mechanisms are self-cleaning... Two Genders: Male. Female. Five Colors: White. Black. Yellow. Red. Camouflage.”
—Alfred Gingold, U.S. humorist. Items From Our Catalogue, “Baby,” Avon Books (1982)
“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)
“There is a great satisfaction in building good tools for other people to use.”
—Freeman Dyson (b. 1923)