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

Tommy Kuhn Tobias Oppold Markus Winterholer Wolfgang Rosenstiel Mark Edwards Yaron Kashai A Framework for Object Oriented Hardware Specification, Verification, and Synthesis. 413-418 2001 conf/dac/2001 DAC http://jamaica.ee.pitt.edu/Archives/ProceedingArchives/Dac/Dac2001/papers/2001/dac01/pdffiles/25_4.pdf db/conf/dac/dac2001.html#KuhnOWREK01