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

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

Browse the full DAC paper archive.