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