Functional verification of task partitioning for multiprocessor embedded systems.
Dipankar DasP. P. ChakrabartiRajeev KumarPublished in: ACM Trans. Design Autom. Electr. Syst. (2007)
Keyphrases
- embedded systems
- functional verification
- hardware software
- low cost
- computing power
- embedded devices
- embedded software
- hw sw
- resource limited
- real time systems
- field programmable gate array
- embedded real time systems
- software systems
- formal verification
- distributed memory
- consumer electronics
- scheduling algorithm
- artificial intelligence
- image processing