A tool for the automatic TLM-to-RTL conversion of embedded systems requirements for a seamless verification flow.
Zeineb Bel Hadj AmorLaurence PierreDominique BorrionePublished in: VLSI-SoC (2014)
Keyphrases
- embedded systems
- real time systems
- low cost
- embedded devices
- embedded software
- resource limited
- computing power
- processing power
- hardware software
- real time image processing
- software systems
- flash memory
- field programmable gate array
- safety critical
- model checking
- development projects
- real time
- embedded real time systems
- limited resources
- communication technologies
- application specific
- signal processing
- response time