Conference paper
MOVES - A tool for Modeling and Verification of Embedded Systems
We demonstrate MOVES, a tool which allows designers of embedded systems to explore possible implementations early in the design process. The demonstration of MOVES will show how designers can explore different designs by changing the mapping of tasks on processing elements, the number and/or speed of processing elements, the size of local memories, and the operating systems (scheduling algorithm).
Language: | English |
---|---|
Publisher: | EEDA |
Year: | 2007 |
Proceedings: | 2007 Design, Automation and Test in Europe Conference and Exposition |
Types: | Conference paper |
ORCIDs: | Hansen, Michael Reichhardt and Madsen, Jan |