5 works on record
System specification & design languages
Low power design in deep submicron electronics
System level design model with re-use of system IP
Fundamentals and Standards in Hardware Description Languages
VHDL for Simulation, Synthesis, and Formal Proofs of Hardware