[IEEE 2012 International Symposium on Electronic System Design (ISED) - Kolkata, India (2012.12.19-2012.12.22)] 2012 International Symposium on Electronic System Design (ISED) - A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques
Banerjee, Kunal, Karfa, Chandan, Sarkar, Dipankar, Mandal, ChittaranjanYear:
2012
Language:
english
DOI:
10.1109/ised.2012.28
File:
PDF, 195 KB
english, 2012