Bailey, Brian ESL Models and their Application Electronic System Level Design and Verification in Practice [EBOOK] - Springer 2010 ISBN: 9781441909657