There are many formal app which has been developed for different purpose
Formal property verification app: It is used for verify the property of any logic.
1.Block level or end-to-end properties
2 interactive debug what if and constraint setting
3 high performance and capacity
Sequential Equivalence Check APP : It is used to verify equivalence check between design 1 and design 2
1.Sequential temporal and functional equivalence
2. reference versus modified RTL
3. side by side debug
Clock Domain crossing App : it is used to verify clock domain crossing in design
1 full a structural and functional check
2. Metastability injection with simulation
3. state of art graphical debug handling .
Control/Status Register Verification App : it is used for verify control/status register.
1 Standard and proprietary protocols check
2 comprehensive access policy check
Connectivity Verification App : It is used to verify connectivity check in logic design
1 sequential connections , conditional computational or sequential connection
2 subsystem and Chip Level connectivity
X property verification App : it is used to verify unexpected x prorogation in logic design
1 automatic properties generation
2. unexpected X detection and debug
Design coverage verification APP : it is used to verify the coverage of logic design
1.Provides formal coverage metrics analysis
2. property property completeness
3. shows verification bounded proof
Low Power Verification APP : it is used for verifying power aware simulation
1 Verifies power-aware formal model for the verification
2. RTL and power intent file input
3. structural functional and sequence check
Coverage Unreachability App :it proves reachability of coverage holes. I is useful to find out corner scenarios.
Super Lint APP : it generates automatically property advanced formal check, it can be useful in checking integrated violation debug reporting and waiver handling.