Synchronous equivalence for embedded systems: a tool for design exploration.
Harry HsiehFelice BalarinPublished in: ICCAD (1999)
Keyphrases
- embedded systems
- embedded software
- hw sw
- real time image processing
- low cost
- computing power
- hardware software
- artificial intelligence
- embedded devices
- real time systems
- case study
- safety critical
- processing power
- software systems
- design process
- building blocks
- resource limited
- software architecture
- multi agent
- reinforcement learning
- database systems
- real time embedded
- embedded real time systems