好书Writing.Testbench.Functional...,(Kluwer) Writing Testbenches--Functional Verification of HDL Models[1][1]……