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