Yaron Kashai

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Gilad Bracha, Peter von der Ahé, Vassili Bykov, Yaron Kashai, William Maddox, Eliot Miranda
Modules as Objects in Newspeak. ECOOP (2010)
Prabhat Mishra, Nikil D. Dutt, Yaron Kashai
Functional Verification of Pipelined Processors: A Case Study. MTV (2004)
Tommy Kuhn, Tobias Oppold, C. Schulz-Key, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai
Object oriented hardware synthesis and verification. ISSS (2001)
Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai
A Framework for Object Oriented Hardware Specification, Verification, and Synthesis. DAC (2001)