TY - BOOK AU - Bailey,Brian TI - ESL Models and their Application: : Electronic system level design and verification in practice SN - 9781441909640 U1 - 621.3 PY - 2010/// CY - London PB - Springer ER -