Inheritance and subtyping in a parallel object-oriented language
European conference on object-oriented programming on ECOOP '87
Inheritance as an incremental modification mechanism or what like is and isn'tlike
on ECOOP '88 (European Conference on Object-Oriented Programming)
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
Inheritance concept for signals in object-oriented extensions to VHDL
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Object oriented extensions to VHDL, the LaMI proposal
CHDL'97 Proceedings of the IFIP TC10 WG10.5 international conference on Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems: specification, modelling, verification and synthesis of microelectronic systems
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
SUAVE: Painless Extension For An Object-Oriented VHDL
VIUF '97 Proceedings of the 1997 VHDL International User's Forum (VIUF '97)
Reuse Through Genericity in SUAVE
VIUF '97 Proceedings of the 1997 VHDL International User's Forum (VIUF '97)
Object-oriented reuse methodology for VHDL
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Hardware reuse at the behavioral level
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Interfacing Hardware and Software Using C++ Class Libraries
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
Exploiting polymorphism in HW design: a case study in the ATM domain
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Hi-index | 0.00 |
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.