Solid TCTM

Confidence with timing analysis. SolidTC is a timing constraint verifier that checks the validity of False-paths and Multi-cycle paths declared in an SDC file. Built upon the Solidify engine, it uses formal techniques to quickly and exhaustively verify correctness of these timing exceptions.

Solid TC<sup>TM</sup>


False path

Multi-cycle path