Daniel Schwartz-Narbonne Carven Chan Yogesh S. Mahajan Sharad Malik Supporting RTL flow compatibility in a microarchitecture-level design framework. 343-352 2009 CODES+ISSS http://doi.acm.org/10.1145/1629435.1629482 conf/codes/2009 db/conf/codes/codes2009.html#Schwartz-NarbonneCMM09