Real Intent Intros New Version of PureTime

Real Intent reportedly is shipping PureTime 3.2 with new product options -- PureTime Constraints and PureTime Exceptions.

 

Real Intent automates the intelligence of formal techniques for design verification. The company has designed the PureTime product family to aid designers prevent faulty circuits and avoid re-spins. These high-performance constraints validation and timing exceptions verification tools provide users with the much needed confidence in the timing constraints employed across all phases of implementation flow.

 

The new solution, PureTime Constraints, checks for correctness and completeness of design constraints. The second release, PureTime Exceptions leverages state of the art formal technologies to verify false and multi-cycle path exceptions.

 

Featuring a number of new capabilities, PureTime 3.2 can be easily integrated with Real Intent's other families of products, and plugs straight into standard EDA flows. Smart built-in checks included in this version validate constraints against RTL and gate-level design sources.

 

V3.2 enables formal verification and reporting at the exception-level as well as the exception's path-level. Real Intent has also included glitch-aware, combinational and sequential high performance formal verification engines with high completion rates.

 

Other features include fast and powerful debugging capabilities with cross probing to    TCL/SDC, schematic and design sources; and automatic incremental analysis for shorter run times.

 

Prakash Narain, president and CEO at Real Intent emphasized the importance of design constraints throughout the whole implementation flow. He also adds the importance of ensuring the correctness of design constraints and timing exceptions for design and verification teams.

 

His company has added new functionalities in PureTime 3.2 in line with its vision to offer automatic verification solutions employing innovative formal technology in an easy to use methodology.