Formal co-validation of low-level hardware/software interfaces.
Alex HornMichael TautschnigCelina G. ValLihao LiangTom MelhamJim GrundyDaniel KroeningPublished in: FMCAD (2013)
Keyphrases
- hardware software
- low level
- hardware and software
- hw sw
- high level
- embedded systems
- design methodology
- hardware design
- high performance computing
- multi core processors
- hardware software partitioning
- field programmable gate array
- input output
- open source
- case study
- formal specification
- fuzzy sets
- low cost
- general purpose
- real time