ESL models and their application electronic system level design and verification in practice - Bailey, Brian; Martin, Grant (Springer, 2009)