Tool vendor @HDL licenses solvers from IBM
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 |
Related Articles | Editor's Choice |
Visit Asia Webinars to learn about the latest in technology and get practical design tips.