As stated earlier, the primary goal of this research is to develop methods of synthesizing hardware from abstract specifications under both detailed timing and synchronization constraints. Detailed timing constraints capture minimum and maximum bounds on the start time of operations; synchronization constraints model handshaking and coordination among concurrent computation threads, and are represented as operations with data-dependent execution delays.
KeywordsSchedule Algorithm Start Time Longe Path Constraint Graph Source Vertex
Unable to display preview. Download preview PDF.