Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog.
Muhammad Waseem AnwarMuhammad RashidFarooque AzamMuhammad KashifPublished in: Des. Autom. Embed. Syst. (2017)
Keyphrases
- embedded systems
- embedded software
- low cost
- computing power
- hw sw
- resource limited
- embedded devices
- real time systems
- embedded real time systems
- hardware software
- software systems
- field programmable gate array
- case study
- artificial intelligence
- software architecture
- safety critical
- communication technologies
- software design
- design patterns
- model checking
- real world
- real time embedded
- hardware designs
- real time