Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Bringing Cloud-Connected Automotive Workloads to RISC-V: A CVA6-Based FPGA Case Study (RISC-V Summit)

Reviewed Paper In Proceedings
Author(s):Tianhai Liu, James J. Hunt, Holger Blasum, and Darshak Sheladiya
In:RISC-V Summit Europe 2026
Year:2026
DOI:10.5445/IR/1000193589

BibTeX

@inproceedings{Liu2026CVA6RiscV,
  author    = {Tianhai Liu and James J. Hunt and Holger Blasum and Darshak Sheladiya},
  title     = {Bringing Cloud-Connected Automotive Workloads to RISC-V: A CVA6-Based FPGA Case Study (RISC-V Summit)},
  booktitle = {RISC-V Summit Europe 2026},
  address   = {Bologna, Italy},
  date      = {2026-06-08/2026-06-12},
  year      = {2026},
  doi       = {10.5445/IR/1000193589}
}