Carven Chan

	2009
2		Daniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik: Supporting RTL flow compatibility in a microarchitecture-level design framework. CODES+ISSS 2009: 343-352
	2007
1		Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin: Verification Driven Formal Architecture and Microarchitecture Modeling. MEMOCODE 2007: 123-132

Coauthor Index

1	Ali Alphan Bayazit	[1]
2	Yogesh S. Mahajan	[1] [2]
3	Sharad Malik	[1] [2]
4	Wei Qin	[1]
5	Daniel Schwartz-Narbonne	[2]