CODES 1994: Grenoble, France

Methods and tools

Hardware-software partitioning

Case studies 1

Analysis and synthesis

Case studies 2

Models

Verification