ASIC.and.FPGA.Verification.A.Guide.to.Component.Modeling.Morgan.Kaufmann.eBook