This Article 
 Bibliographic References 
 Add to: 
37th Conference on Design Automation (DAC'00)
Task Generation and Compile-Time Scheduling for Mixed Data-Control Embedded Software
Los Angeles, CA
June 05-June 09
ISBN: 1-58113-1897-9
Alberto Sangiovanni-Vincentelli, University of California Berkeley
Alex Kondratyev, Theseus Logic
Luciano Lavagno, Universit? di Udine
Marc Massot, Universitat de Girona
Sandra Moral, Universitat Polit?cnica de Catalunya
Yosinori Watanabe, Cadence Berkeley Labs
Claudio Passerone, Politecnico di Torino
Jordi Cortadella, Universitat Polit?cnica de Catalunya
The problem of optimal software synthesis for concurrent processes to be implemented on a single processor is addressed. The approach calls for the representation of the concurrent processes with Petri nets that give a theoretical foundation for the scheduling algorithm that sequentializes the concurrent processes and for the code generation step. The approach maximizes the amount of static scheduling to reduce the need of context switch and operating system intervention. Experimental results show the potential of our method to reduce software design time and errors.
Index Terms:
co-simulation, configurable processor cores, coverage analysis, design verification, system-on-chip, test generation
Alberto Sangiovanni-Vincentelli, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Yosinori Watanabe, Claudio Passerone, Jordi Cortadella, "Task Generation and Compile-Time Scheduling for Mixed Data-Control Embedded Software," dac, pp.489-494, 37th Conference on Design Automation (DAC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.