1
by Brent, R. P., Zimmermann, Paul
Published 2011
Cambridge University Press
... favourite language, while keeping a high-level description and avoiding too low-level or machine-dependent...

2
by Shonkwiler, Ronald W., Lefton, L.
Published 2006
Cambridge University Press
... deeper understanding of the issues through a general examination of timing, data dependencies...