Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors.
Gideon MohrMarco GuarnieriJan ReinekePublished in: DATE (2024)
Keyphrases
- hardware software
- open source
- instruction set
- embedded systems
- multi core processors
- high performance computing
- hardware and software
- hw sw
- design methodology
- parallel algorithm
- computer architecture
- source code
- low cost
- floating point
- parallel processing
- case study
- parallel programming
- hardware design
- massively parallel
- computing systems
- computer systems
- information systems
- field programmable gate array
- parallel execution