A model-driven framework for design and verification of embedded systems through SystemVerilog.
Muhammad Waseem AnwarMuhammad RashidFarooque AzamMuhammad KashifWasi Haider ButtPublished in: Des. Autom. Embed. Syst. (2019)
Keyphrases
- real time
- embedded systems
- model driven
- low cost
- real time systems
- embedded software
- model driven engineering
- hw sw
- model driven development
- metamodel
- embedded devices
- service oriented
- data driven
- computing power
- resource limited
- hardware software
- software systems
- case study
- platform independent
- databases
- real world
- web services
- safety critical
- flash memory
- software design
- user interface
- distributed systems
- design patterns