Object-oriented modelling of parallel hardware systems

被引：2

作者：

Schumacher, G ^{[1
]}

Nebel, W ^{[1
]}

机构：

[1] Carl von Ossietzky Univ Oldenburg, Dept Comp Sci, FB 10, D-26111 Oldenburg, Germany

来源：

DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS | 1998年

关键词：

D O I：

10.1109/DATE.1998.655862

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 analysed 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 synchronisation code (protocol specification) and the actual behaviour of a method. Method guards which allow a method to execute ifa guard expression evaluates to true are proposed to model synchronisation constraints. It is shown how to implement a suitable re-schedule mechanism for methods as part of the synchronisation code to handle the case that a guard expression is evaluated to false.

引用

页码：234 / 241

页数：8