Assertions play a pivotal role in hardware verification, both for dynamic (simulation based) verification and formal verification.