Formal functional verification has gained popularity in the ASIC design and verification community because it can improve overall confidence and productivity. However, to optimize the value of this technology, it is important to select the most applicable areas or blocks within an ASIC or SoC. Recommendations put forth in the past simply have not kept pace with the latest innovations in formal technologies. As a result, this has significantly affected the applicability of formal functional verification.

This paper describes the innovations in formal technologies and methodology that benefit formal functional verification. It details how and why to apply this for the highest return.