Beyond RTL: Advanced Digital System Design. - Shiv Tasker; Rishiyur S. Nikhil (VLSI Design, 2006)