The Community for Technology Leaders
Design Automation Conference (2000)
Los Angeles, CA
June 5, 2000 to June 9, 2000
ISBN: 1-58113-1897-9
pp: 489-494
Yosinori Watanabe , Cadence Berkeley Labs
Jordi Cortadella , Universitat Polit?cnica de Catalunya
Sandra Moral , Universitat Polit?cnica de Catalunya
Luciano Lavagno , Universit? di Udine
Alberto Sangiovanni-Vincentelli , University of California Berkeley
Claudio Passerone , Politecnico di Torino
Alex Kondratyev , Theseus Logic
Marc Massot , Universitat de Girona
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.
co-simulation, configurable processor cores, coverage analysis, design verification, system-on-chip, test generation
Yosinori Watanabe, Jordi Cortadella, Sandra Moral, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Claudio Passerone, Alex Kondratyev, Marc Massot, "Task Generation and Compile-Time Scheduling for Mixed Data-Control Embedded Software", Design Automation Conference, vol. 00, no. , pp. 489-494, 2000, doi:10.1109/DAC.2000.855360
169 ms
(Ver 3.3 (11022016))