System Verilog Assertions(SVA) Interview Questions - smartplay and mobiveil

Why assertions?

Where do we write them?

What is bind?

What is assume?

Difference between assert and assume?

What is expect?

Difference between sequence and property?

Practical difference between immediate and concurrent assertions?

Can we write assertions in interface and class?

Difference between overlapping and non-overlapping assertions?

How to assert only once?

Special use of assertion coverage?

Write an assertion: A high for 5 cycles and B high after 4 non-continuous highs of A and finally both A and B are high?

____|====|_____|======================|______   A

________________________________|=====|______   B





Comments

Popular posts from this blog

PCIe Physical Layer Interview Questions on Gen 2 or Gen 3 or Gen 4

PCIe Transaction Layer Interview Questions - Analinear, Cyient and Ensilica