3 books
System Verilog Functional Verification
The E Hardware Verification Language
Logic Synthesis for Low Power VLSI Designs