Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testbench style nor the software-benchmark style is adequate to capture completely the design interactions required in concurrent softwareon-hardware systems. We use a formal relationship between a computer system design content and its external context to motivate the need to consider a more effective modeling framework to which concurrent software-on-hardware computer systems are designed. Keywords Hardware/Software Codesign, Modeling, Simulation, Concurrent Computation, Digital System Design
JoAnn M. Paul, Christopher M. Eatedali, Donald E.