Verification Driven Formal Architecture and Microarchitecture Modeling. - Yogesh S. Mahajan; Carven Chan; Ali Alphan Bayazit; Sharad Malik; Wei Qin (MEMOCODE, 2007)

Supporting RTL flow compatibility in a microarchitecture-level design framework. - Daniel Schwartz-Narbonne; Carven Chan; Yogesh S. Mahajan; Sharad Malik (CODES+ISSS, 2009)

Specification and synthesis of hardware checkpointing and rollback mechanisms. - Carven Chan; Daniel Schwartz-Narbonne; Divjyot Sethi; Sharad Malik (DAC, 2012)