ESL Design and Verfication-

I am reading ESl Design and Verification-ISBN13-978-0-12-373551-5

The book is  good for survey reading  and comes  from Industry.

I will request you to look at the slides of the book for quick review

http://electronicsystemlevel.com/Book.htm

The slides are available in pdf  format and very good.