Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Mandal. Data-Flow Driven Equivalence Checking for Verification of Code Motion Techniques. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2010, 5-7 July 2010, Lixouri Kefalonia, Greece. pages 428-433, IEEE Computer Society, 2010. [doi]
Abstract is missing.