A Framework for Object Oriented Hardware Specification, Verification, and Synthesis. - Tommy Kuhn; Tobias Oppold; Markus Winterholer; Wolfgang Rosenstiel; Mark Edwards; Yaron Kashai (DAC, 2001)

Object oriented hardware synthesis and verification. - Tommy Kuhn; Tobias Oppold; C. Schulz-Key; Markus Winterholer; Wolfgang Rosenstiel; Mark Edwards; Yaron Kashai (ISSS, 2001)

Functional Verification of Pipelined Processors: A Case Study. - Prabhat Mishra 001; Nikil D. Dutt; Yaron Kashai (MTV, 2004)

Modules as Objects in Newspeak. - Gilad Bracha; Peter von der Ahé; Vassili Bykov; Yaron Kashai; William Maddox; Eliot Miranda (ECOOP, 2010)