Building a standard ESL design and verification methodology: is it just a dream? - Anoosh Hosseini; Ashish Parikh; H. T. Chin; Pascal Urard; Emil F. Girczyc; S. Bloch (DAC, 2006)