Register Transfer Operation Analysis during Data Path Verification
Debjit Sarkar · 2002
A control part – data path partition based sequential cir-cuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a control part verifier. The functional specifications of these modules have been identified. Of the two broad tasks involved in data path verification, namely status condition analysis and register transfer operation analysis, a method for the second task along with its termination, soundness and completeness have been treated rigorously. Its perfor-mance on some data path architectures has been reported.