ESL design and verification : a prescription for electronic system-level methodology - Bailey, Brian (Morgan Kaufmann, 2007)