Object-oriented modelling of parallel hardware systems
- 27 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 234-241
- https://doi.org/10.1109/date.1998.655862
Abstract
Object-oriented techniques like inheritance promise great benefits for the specification and design of parallel hardware systems. The difficulties which arise from the use of inheritance in parallel hardware systems are analyzed in this article. Similar difficulties are well known in concurrent object-oriented programming as inheritance anomaly but are not yet investigated in object-oriented hardware design. A solution how to successfully deal with the anomaly is presented for a type based object-oriented extension to VHDL. Its basic idea is to separate the synchronization code (protocol specification) and the actual behavior of a method. Method guards which allow a method to execute if a guard expression evaluates to true are proposed to model synchronization constraints. It is shown how to implement a suitable re-schedule mechanism for methods as part of the synchronization code to handle the case that a guard expression is evaluated to false.Keywords
This publication has 8 references indexed in Scilit:
- Inheritance of synchronization constraints in concurrent object-oriented programming languagesPublished by Springer Nature ,2006
- Inheritance concept for signals in object-oriented extensions to VHDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Object Oriented Extensions to VHDL, The LaMI proposalPublished by Springer Nature ,1997
- OO-VHDL. Object-oriented extensions to VHDLComputer, 1995
- Guarded methods vs. inheritance anomalyACM SIGPLAN Notices, 1995
- Analysis of Inheritance Anamoly in Object-Oriented Concurrent Programming LanguagesPublished by MIT Press ,1993
- System-Level SynthesisPublished by Springer Nature ,1992
- Inheritance and Subtyping in a Parallel Object-Oriented LanguagePublished by Springer Nature ,1987