Formal Verification App in the Industry

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.