Anoosh Hosseini Ashish Parikh H. T. Chin Pascal Urard Emil F. Girczyc S. Bloch Building a standard ESL design and verification methodology: is it just a dream? 370-371 2006 conf/dac/2006 DAC http://doi.acm.org/10.1145/1146909.1147005 db/conf/dac/dac2006.html#HosseiniPCUGB06