PureTime Constraints checks for correctness and completeness of design constraints. PureTime Exceptions uses state of the art formal technologies to verify false and multi-cycle path exceptions.
“Design constraints are important throughout the whole implementation flow,” commented Prakash Narain, President and CEO at Real Intent. “Ensuring the correctness of design constraints and timing exceptions is critical for design and verification teams. Real Intent is dedicated to customers’ success by offering automatic verification solutions employing innovative formal technology in an easy to use methodology. The new functionalities added in PureTime 3.2 represent a significant technological enhancement of the product.”