Towards Equivalence Checking Between TLM and RTL Models.

Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Joo Marques-Silva

Browse the full MEMOCODE paper archive.