Enhancing the assertion-based verification of TLM designs with reentrancy.

Laurence Pierre, Luca Ferro

Browse the full MEMOCODE paper archive.