In the past decade the main engine of electronic design automation has been the
widespread application of ASICs (Application Specific Integrated Circuits). Present …

Partitioning a system '3 functionality among interacting hardware and software components
is an important part of system design. We introduce a new partitioning approach that caters …

In this paper we introduce a method to partition UNITY system speci cations into software
and hardware parts. This method considers di erent design possibilities and de nes cost …

This work presents Petri nets as an intermediate model for hardware/software codesign. The
main reason of using of Petri nets is to provide a model that allows for formal qualitative and …

A crucial point in hardware/software co-design is how to perform the partitioning of a system
into hardware and software components. Although several algorithms to partitioning have …

We present a prototyping environment with special benefit for hardware/software codesign
which we use as target architecture in the COBRA project. This architecture is very flexible …

Medical facilities use conventional intravenous (IV) infusion systems in cases where the
patient needs some kind of programmed medicine or nutrition. Gravity controls the simplest …

We present some ideas towards an approach to provably correct hardware/software
partitioning. We use OCCAM as the source programming language and perform the …

This paper describes a system (ParTS) for automatic hardware/software partitioning of
applications described in the concurrent programming language occam. Based on algebraic …

In this paper we present a characterisation of the hardware/software partitioning problem as
a program transformation task. Both the input and the output of the partitioning are …