| here is your current tearsheet, i.e., company listing, news releases, demo's, white paper, and other items being indexed by eg3.com. to update simply copy the text of an item, and email to info@eg3.com with the suggested changes. to submit a new item simply email to info@eg3.com.
-
company
-
Averant
Averant Inc., founded in 1997, is a privately held EDA firm pioneering new methodology and technologies for static formal verification. Averant's flagship product is Solidify, a robust formal verification engine that provides the basis for property-based design verification, protocol verification, timing constraint verification, and automatic design checks all without the need for simulators or test vectors. These tools are easily adopted...
http://www.averant.com/
Classified with the keyword(s):
(to change this item, email text via this submission form)
-
archive
-
Averant White Papers
Topics include: * Automatic Verification of Timing Exceptions * AMBA Compliance Checking using Static Functional Verification * ARM's Paper on X Analysis - Tech Committee Award, SNUG '03 * etc.
http://www.averant.com/white-papers.html
Classified with the keyword(s):
(to change this item, email text via this submission form) |
