SMASHUP: a toolchain for unified verification of hardware/software co-designs.
Florian LugouLudovic ApvrilleAurélien FrancillonPublished in: J. Cryptogr. Eng. (2017)
Keyphrases
- hardware software
- hardware and software
- embedded systems
- hw sw
- design methodology
- multi core processors
- model checking
- high performance computing
- low cost
- hardware design
- hardware software partitioning
- computer systems
- formal methods
- design space
- distributed computing
- field programmable gate array
- genetic programming
- distributed systems
- case study