Chandan Karfa Chittaranjan A. Mandal Dipankar Sarkar Chris Reade Register Sharing Verification During Data-Path Synthesis. 135-140 2007 conf/iccta/2007 ICCTA http://doi.ieeecomputersociety.org/10.1109/ICCTA.2007.111 db/conf/iccta/iccta2007.html#KarfaMSR07