Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
?
EE Times-Asia > EDA/IP
?
?
EDA/IP??

Averant lands patent for checking design properties

Posted: 08 Aug 2003 ?? ?Print Version ?Bookmark and Share

Keywords:averant? rtl static functional verification tool? testbench?

RTL static functional verification tool vendor Averant Inc. has been issued a new patent by the U.S. Patent and Trademark Office (USPTO) for its method of computing the design coverage of a set of properties.

According to the company, the method, described in Patent 6,954,804, provides a quick and speedy way to verify whether a circuit design works as intended, augmenting traditional circuit verification techniques, such as Verilog simulation.

Averant's Solidify product allows users to develop a set of custom properties that are verified using Averant's static functional verification. The company claims that property verification is more exhaustive than simulation, and it does not require a testbench to specify stimuli.

Specifically, Averant's patent describes a method for determining whether users have developed enough properties to cover all aspects of the intended behavior.

- Michael Santarini

EE Times





Article Comments - Averant lands patent for checking de...
Comments:??
*? You can enter [0] more charecters.
*Verify code:
?
?
Webinars

Seminars

Visit Asia Webinars to learn about the latest in technology and get practical design tips.

?
?
Back to Top