Register Transfer Operation Analysis during Data Path Verification

A control part ? data path partition based sequential circuit 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 performance on some data path architectures has been reported. Keywords Sequential Circuit Verification, Control Part - Data Path, Data Path Verification, RTL Behaviours.

• Type: Conference
• Year: 2002
• Where: VLSID
• Authors: D. Sarkar
• Keywords: Computer Architecture, Data Path Partition, Data Path Verification, Data Path Verifier, VLSID 2002