Broadly, formal verification is applied in the following areas, Equivalence Checking (RTL vs RTL, RTL vs netlist, netlist vs netlist etc.) Theorem Proving (Prove a user defined theorem) Model Checking ...

Gaurav Gupta, Synopsys (India) Pvt. Ltd. Mandar Munishwar, Synopsys, Inc. Assertion language provides a way to express the properties and constraints for property based formal verification environment ...