This article presents a behavioral model of a class of mixed hardware-
software systems and defines a codesign methodology for such systems.
The methodology includes hardware-software partitioning, behavioral sy
nthesis, software compilation, and demonstration on a testbed consisti
ng of a commercial CPU, field-programmable gate arrays, and programmab
le interconnections.