Sciweavers

Share
VLSID
2002
IEEE

Register Transfer Operation Analysis during Data Path Verification

10 years 11 months ago
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.
D. Sarkar
Added 01 Dec 2009
Updated 01 Dec 2009
Type Conference
Year 2002
Where VLSID
Authors D. Sarkar
Comments (0)
books