Randy:
Thanks for your comments and questions! Alas, due to limitations on the length of the text, some topics only received a brief introduction.
- high-level synthesis (HLS)
The text does go into some detail on the distinctions between sequential and RTL coding styles in current hardware description languages (Verilog, VHDL). Yet, the chapter on Logic Synthesis is more focused on "physical synthesis" and how designers provide input constraints for timing and power optimizations. There's not really any detail on other HDL options (e.g., "synthesizable C" semantics) or the HLS optimization algorithms used for resource allocation and scheduling.
- HW/SW co-design
This topic is also not covered in a lot of detail, other than the chapter sections describing simulation acceleration platforms (i.e., emulation, prototyping) as a means for SW bring-up on a system model. (There's a brief discussion on development of a separate "performance model", which provides throughput estimates on software workloads; this model is subsequently validated against more detailed functional simulation results.)
- IP sourcing/selection
Yes, the evaluation criteria for (hard/firm/soft) IP selection is covered pretty thoroughly. The breadth of models associated with IP delivery is described in detail. The assessment of the power, performance, area, reliability, and licensing cost is also highlighted.
HTH. Thanks again!
Tom D.