Modelling aspects of system level design

Abstract

In this paper the neccessity for a common modelling approach for heterogeneous systems is discussed. As an ezample for such a modelling techniqrre eztended Predicate/l)-ansition Nets are introdrrced. These nets can combine modelling in a declarative way by means of first order logic with an operational interpretation inheritedfrom Petri Nets. The added concepts of hierarchy and recursion allow the description of ertremely complez systems. Three applications of Pr./T-Nets are shown: Control of complez design systems, timing analysis and the implementation of communication protocols.

A methodology for hardware architecture trade-off at different levels of abstraction

“…The exploration is performed through simulation and behavioral synthesis. Special abstract modeling approaches, such as the use of Petri Nets [AbCo90,Ram93], are also used for early system evaluation. All of the above referenced approaches have in common that a special tool or description language is needed in parallel to the HDL-based design flow to perform architectural explorations.…”