Sciweavers

VLSID
2002
IEEE
116views VLSI» more  VLSID 2002»
14 years 4 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 ...
D. Sarkar