constrained software generation for hardware-software systems
Mixed systems are composed of interacting hardware components such as general-purpose processors, application-specific circuits and software components that executes on the general purpose hardware. The software component consists of application-specific routines that must deliver the required system functionality and a runtime environment. Further, the software is required to deliver functionality under constraints on timing and memory storage available. In this paper, we consider methods to achieve software generation under imposed constraints and demonstrate the utility of our approach by examples.
software generation generation hardware systems component processor circuits software component functional runtime environments constraint timing memorialized storage paper method demonstrate utility examples applications general