This is somewhat similar to code coverage in traditional simulation, but is rather more closely related to the formal verifier. Static proofs of ... Consider the case of the simple round-robin arbiter that serves 4 requesters. Depending on theanbsp;...
|Title||:||SystemVerilog Assertions Handbook|
|Author||:||Ben Cohen, Srinivasan Venkataramanan, Ajeetha Kumari|
|Publisher||:||vhdlcohen publishing - 2005|