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

Verplex tool now checks datapaths

Posted: 23 Apr 2003 ?? ?Print Version ?Bookmark and Share

Keywords:verplex? conformal logic equivalence checker? formal verification tool? conformal data path? arithmetic data path?

Formal-verification tool vendor Verplex Systems Inc. has released an add-on to its Conformal Logic Equivalence Checker that allows the tool to verify complex data path circuitry.

Tony Larson, VP of marketing at Verplex, said the Conformal Data Path add-on is simpler to use than the high-performance synthesis and data path tools commonly enlisted for arithmetic data path optimizations.

"In the past, verification engineers would have to jump through hoops identifying boundaries around where different operators might exist, and spend a lot of time creating techniques just to get a complete, exhaustive proof," said Larson. "Now we have automated that."

The tool flattens data path structures without requiring designers to identify boundaries and architectures, Larson said.

High-performance synthesis tools often merge operators and then flatten them to produce faster and smaller circuits, but reading these operators has been a difficult task, Larson said. "Previously, this was a showstopper for equivalence checking," he said. "Conformal DP [Data Path] looks for ALU [algorithmic logic unit] and merged operator-type errors and will call in targeted algorithms to address those areas. Conformal DP will give complete results on merged operators to formally prove them."

An advanced pipelining-verification feature checks a pipeline's implementation against its design, and a "carry-save" verification feature verifies circuits containing carry-save transformations. Larson said that data path synthesis can introduce such transformations during optimization for sequences of adders, multipliers, and registers. Their appearance can cause register-matching problems that prevent equivalence checking from working properly, he said.

A three-year, time-based Conformal Data Path license costs $45,600 per year.

- Michael Santarini

EE Times

Article Comments - Verplex tool now checks datapaths
*? 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