How one can be expert formal verification engineer ?

To become expert in formal domain verification engineer need to know.

Let’s go one by one

A person who comes from simulation background  , he or she knows, how check is written for a given logic design. Something similar happens in formal verification as well, he or she need to understand how do we write the property, how do we write the assertions.

if property is unreachable , it is great, if it not unreachable it means expertise is needed , how do you take to next level for verification.

1 do you know the logic design boundary , for how many cycle you wanted the proof. lets take pipeline example of instruction where you need to ensure till write back of the instruction, everything is looking good.Lets say that number is 20 , so If you have proof for till 20 cycles , you can say deign is good for 20 cycle , all stages of pipe-ling is looking for a single instruction in pipe.

2 if design can be black boxed , do blackboxing for few prat of design , write property for intended part of logic design.

3 Tuned the formal engine , change the formal engine sequence to have proof .

4 Do semiformal run , instead formal. Semiformal is mix of simulation and formal, look for introduction part of formal 

5 Try using automated app like connectivity, lint, coverage , security , x prop, app , more you can know about different type of app in formal by clicking