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.

Functionality

False path

Multi-cycle path