Carven Chan

According to our database, Carven Chan authored at least 3 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Specification and synthesis of hardware checkpointing and rollback mechanisms.

Carven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2009

Supporting RTL flow compatibility in a microarchitecture-level design framework.

Daniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik

Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

2007

Verification Driven Formal Architecture and Microarchitecture Modeling.

Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007