ESL Models and their Application Electronic System Level Design and Verification in Practice - Bailey, Brian (Springer-Verlag US, 2010)