CODES 1994: Grenoble, France

Methods and tools

Hardware-software partitioning

Case studies 1

Analysis and synthesis

Case studies 2

Models

Verification

maintained by Schloss Dagstuhl LZI at University of Trier