Yaron Kashai

	2004
3		Prabhat Mishra, Nikil D. Dutt, Yaron Kashai: Functional Verification of Pipelined Processors: A Case Study. MTV 2004: 79-84
	2001
2		Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai: A Framework for Object Oriented Hardware Specification, Verification, and Synthesis. DAC 2001: 413-418
1		Tommy Kuhn, Tobias Oppold, C. Schulz-Key, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai: Object oriented hardware synthesis and verification. ISSS 2001: 189-194

Coauthor Index

1	Nikil D. Dutt (Nikil Dutt)	[3]
2	Mark Edwards	[1] [2]
3	Tommy Kuhn	[1] [2]
4	Prabhat Mishra	[3]
5	Tobias Oppold	[1] [2]
6	Wolfgang Rosenstiel	[1] [2]
7	C. Schulz-Key	[1]
8	Markus Winterholer	[1] [2]

Colors in the list of coauthors