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

Tool vendor @HDL licenses solvers from IBM

Posted: 15 May 2003 ?? ?Print Version ?Bookmark and Share

Keywords:@HDL? verification tool? ibm? edac? design automation?

Functional verification tool vendor @HDL has licensed formal verification technology from IBM Corp. and plans to incorporate the technology into its current product line in the coming months.

Richard Curtin, @HDL's president and CEO, said his company will incorporate formal verification technology from IBM and deliver a new product family, @Verifier-ZX, which will be previewed at next month's Design Automation Conference. The new family is expected to be released in September.

"The new @Verifier-ZX will build on the existing core technology already available to customers with our @Verifier and @Verifier-DP (Distributed Processing) product," said Curtin. They include RTL formal analysis, automatic property extraction, RTL-level cone of influence optimization for model checking, hierarchical, distributed, and incremental model checking.

The IBM formal verification technology licensed to @HDL includes the model-checking algorithms, or solvers, currently incorporated in the IBM RuleBase product, said Curtin.

- Michael Santarini

EE Times

Article Comments - Tool vendor @HDL licenses solvers fr...
*? You can enter [0] more charecters.
*Verify code:


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

Back to Top