MorganKaufmann-ASIC&FPGAVerification-AGuidetoComponentModeling这本书是FPGA和ASIC验证的一本很有分量的书籍。