Functional Verification of Programmable Embedded Architectures Prabhat Mishra, Nikil D. Dutt E-Book (pdf)

High - Level Synthesis Daniel D. Gajski, Nikil D. Dutt, Allen C-H Wu E-Book (pdf)

SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits Sumit Gupta, Rajesh Gupta, Nikil D. Dutt E-Book (pdf)