共5章，各章标题如下： Chapter 1 Basic Design Constraints Chapter 2 RTL Description Techniques Chapter 3 RTL Design Methodology Chapter 4 Verification Techniques A-5 Logic SynthesisUsing Design Compiler