Sciweavers

Share
DAC
2001
ACM

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

12 years 2 months ago
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.
Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wol
Added 13 Nov 2009
Updated 13 Nov 2009
Type Conference
Year 2001
Where DAC
Authors Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai
Comments (0)
books