From UML/MARTE Specifications to ESL HW/SW Co-Design: Early Functional Verification and Timing Validation.
Vittorio CortellessaLuigi PomanteVincenzo StoicoPublished in: ICPE (Companion) (2023)
Keyphrases
- functional verification
- hardware software
- hw sw
- hardware and software
- embedded systems
- design methodology
- software systems
- high performance computing
- formal verification
- object oriented
- software engineering
- formal specification
- hardware design
- multi core processors
- low cost
- computer systems
- field programmable gate array