Tool vendor @HDL licenses solvers from IBM

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