Samir Jain

	1997
3		Gabriel P. Bischoff, Karl S. Brace, Samir Jain, Rahul Razdan: Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor. ICCD 1997: 16-24
	1995
2		Samir Jain, Randal E. Bryant, Alok Jain: Automatic Clock Abstraction from Sequential Circuits. DAC 1995: 707-711
1		Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain: Extraction of finite state machines from transistor netlists by symbolic simulation. ICCD 1995: 596-601

Coauthor Index

1	Derek L. Beatty	[1]
2	Gabriel P. Bischoff	[3]
3	Karl S. Brace	[3]
4	Randal E. Bryant	[1] [2]
5	Alok Jain	[1] [2]
6	Manish Pandey	[1]
7	Rahul Razdan	[3]
8	Gary York	[1]