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