Operation serializability for embedded systems
Rajesh K. Gupta · 1996
We consider the problem of generation of embedded softwarefrom input system descriptions in a hardware description language #HDL#. Generation of software for embeddedcomputing requires a total ordering of operations, or linearization, under constraints to ensure timely interaction with other system components. We show by example conditions wherenoordering of operations in a HDL can produce the modeled functionality in software. Therefore, the existencecondition for software generation or serializability must be ensured before attempting any linearization. We present the conditions based on variable de#nition and use analysis under which operation linearization is possible. We then present our approach to operation serialization under timing constraints to produce e#cient schedules for the embedded software. 1 Introduction The goal of our project is to develop compilation and synthesis #co-synthesis# techniques for design of hardware and software in embedded computing systems #1#. Unl...