标签: verifiable

LionelBening,HarryFoster(auth.)-PrinciplesofVerifiableRTLDesign_AFunctionalCodingStyleSupportingVerificationProcessesinVerilog-SpringerUS(2002)

RTLCodingandOptimizationGu...,IC经典PrinciplesofVerifiableRTLDesign……

PrinciplesOfVerifiableRTLDesign[1]PrinciplesofVerifiableRTLDesignSecondEditionThispageintentionallyleftblankPrinciplesofVerifiableRTLDesignSecondEditionAfunctionalcodingstylesupportingverificationprocessesinVerilogLionelBeningandHarryFosterHewlett-PackardCompanyKLUWERACADEMICPUBLISHERSNEWYORK,BOSTON,DORDRECHT,LONDON,MOSCOWH%RRN,6%13ULQW,6%10-306-47631-20-7923-7368-5.OXZHU$FDGHPLF3XEOLVKHUV1HZVH%RRNVWRUHDWKWWSNOXZHURQOLQHFRPKWWSHERRNVNOXZHURQOLQHFRPD……