Yaron Kashai

According to our database, Yaron Kashai authored at least 4 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Modules as Objects in Newspeak.

Gilad Bracha, Peter von der Ahé, Vassili Bykov, Yaron Kashai, William Maddox, Eliot Miranda

Proceedings of the ECOOP 2010, 2010

2004

Functional Verification of Pipelined Processors: A Case Study.

Prabhat Mishra, Nikil D. Dutt, Yaron Kashai

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

2001

Object oriented hardware synthesis and verification.

Tommy Kuhn, Tobias Oppold, C. Schulz-Key, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

A Framework for Object Oriented Hardware Specification, Verification, and Synthesis.

Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai

Proceedings of the 38th Design Automation Conference, 2001