Applying SMT-based verification to hardware/software partitioning in embedded systems.
Alessandro TrindadeLucas C. CordeiroPublished in: Des. Autom. Embed. Syst. (2016)
Keyphrases
- embedded systems
- hardware software partitioning
- hw sw
- hardware software
- low cost
- computing power
- embedded devices
- resource limited
- embedded software
- software systems
- real time systems
- field programmable gate array
- feature analysis
- design methodology
- embedded real time systems
- formal methods
- model checking
- design space exploration
- hardware and software