Dipankar Sarkar: Register Transfer Operation Analysis during Data Path Verification. ASP-DAC/VLSI Design 2002: 172-