Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo Theories.
Steffen PeterTony GivargisPublished in: ACM Trans. Design Autom. Electr. Syst. (2015)
Keyphrases
- embedded systems
- satisfiability modulo theories
- modulo theories
- low cost
- embedded devices
- resource limited
- embedded software
- computing power
- real time systems
- software systems
- embedded real time systems
- hardware software
- hw sw
- answer set programming
- sat solvers
- consumer electronics
- artificial intelligence
- constraint satisfaction
- case study