Bailey,Brian ESL Models and their Application : Electronic system level design and verification in practice - 1st - London Springer 2010 - xxiv,446p. ISBN: 9781441909640 RS 8821.20 Dewey Class. No.: 621.3 / BAI