4 works on record
Hardware-software co-design of embedded systems
Synchronous equivalence
TLM-Driven Design and Verification Methodology
TLM-Driven Design and Verification Methodology Ebook
2010