Loading...
Please wait, while we are loading the content...
Similar Documents
A framework for object oriented hardware specification, verification, and synthesis (2001)
| Content Provider | CiteSeerX |
|---|---|
| Author | Edwards, Marc Kuhn, T. Kashai, Yaron Rosenstiel, Winterholer W. |
| Description | in Design Automation Conference In Design Automation Conference In Design automation conference |
| Abstract | 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. |
| File Format | |
| Journal | DESIGN AUTOMATION CONFERENCE |
| Publisher Date | 2001-01-01 |
| Access Restriction | Open |
| Subject Keyword | Realworld Example Dedicated Run-time Environment Uniform Framework Powerful Run-time Environment Verification Task Hardware Specification |
| Content Type | Text |
| Resource Type | Conference Proceedings |
