The Simple Art of SoC Design Closing the Gap between RTL and ESL (Springer New York, 2011)