dblp.uni-trier.dewww.uni-trier.de

Yaron Kashai

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
3EEPrabhat Mishra, Nikil D. Dutt, Yaron Kashai: Functional Verification of Pipelined Processors: A Case Study. MTV 2004: 79-84
2001
2EETommy 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)