Murali Kudlugi Soha Hassoun Charles Selvidge Duaine Pryor A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification. 623-628 2001 conf/dac/2001 DAC http://jamaica.ee.pitt.edu/Archives/ProceedingArchives/Dac/Dac2001/papers/2001/dac01/pdffiles/38_3.pdf db/conf/dac/dac2001.html#KudlugiHSP01