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

We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e' is introduced along with a powerful run-time environment that enables the designer to perform the verification task. Second, we present an object oriented synthesis that enhances `e' and its dedicated run-time environment into a framework for specification, verification, and synthesis. The usability of our approach is demonstrated by realworld examples. Keywords Object oriented hardware modeling, verification, high-level synthesis.

• Type: Conference
• Year: 2001
• Where: DAC
• Authors: Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai
• Keywords: DAC 2001, Design Automation, Object Oriented Language, Object Oriented Specification, Object Oriented Synthesis