Saugata Chatterjee

	2001
2		Maher N. Mneimneh, Fadi A. Aloul, Christopher T. Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin: Scalable Hybrid Verification of Complex Microprocessors. DAC 2001: 41-46
	2000
1		Saugata Chatterjee, Christopher T. Weaver, Todd M. Austin: Efficient checker processor design. MICRO 2000: 87-97

Coauthor Index

1	Fadi A. Aloul	[2]
2	Todd M. Austin	[1] [2]
3	Maher N. Mneimneh	[2]
4	Karem A. Sakallah	[2]
5	Christopher T. Weaver	[1] [2]