4 books
Practical Asic Design and Verification
From ASICs to SOCs
Timing Verification of Application-Specific Integrated Circuits (ASICs)
Digital Control Using Digital Signal Processing