Verification Methodologies in a TLM-to-RTL Design Flow. - Atsushi Kasuya; Tesh Tesfaye (DAC, 2007)