Verification of Transaction-Level SystemC models using RTL Testbenches.

Rohit Jindal, Kshitiz Jain

Browse the full MEMOCODE paper archive.