Indradeep Ghosh Rajarshi Mukherjee Mukul R. Prasad Masahiro Fujita High Level Design Validation: Current Practices and Future Directions. 9-11 2004 conf/vlsid/2004 VLSI Design http://csdl.computer.org/comp/proceedings/vlsid/2004/2072/00/20720009.pdf db/conf/vlsid/vlsid2004.html#GhoshMPF04