Title :
A model for scheduling protocol-constrained components and environments
Author :
Haynal, Steve ; Brewer, Forrest
Author_Institution :
Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
Abstract :
This paper presents a technique for highly constrained event sequence scheduling. System resource protocols as well as an external interface protocol are described by non-deterministic finite automata (NFA). All valid schedules which adhere to interfacing constraints and resource bounds for flow graph described behavior are determined exactly. A model and scheduling results are presented for an extensive design example
Keywords :
constraint theory; finite automata; flow graphs; protocols; scheduling; design model; flow graph; interface protocol; nondeterministic finite automata; protocol-constrained event sequence scheduling; system resource protocol; Automata; Digital systems; Flow graphs; High level synthesis; Job shop scheduling; Manufacturing; Modems; Permission; Processor scheduling; Protocols;
Conference_Titel :
Design Automation Conference, 1999. Proceedings. 36th
Conference_Location :
New Orleans, LA
Print_ISBN :
1-58113-092-9
DOI :
10.1109/DAC.1999.781328
