The Community for Technology Leaders
RSS Icon
Los Angeles, CA
June 5, 2000 to June 9, 2000
ISBN: 1-58113-1897-9
pp: 489-494
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.
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, 2000, Design Automation Conference, Design Automation Conference 2000, pp. 489-494, doi:10.1109/DAC.2000.855360
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool