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

FPGA Lifecycle Management for RISC-V Systems

Reviewed Paper In Proceedings
Author(s):Tianhai Liu and James J. Hunt
In:RISC-V Summit Europe 2026 (RISC-V Summit)
Year:2026
DOI:10.5445/IR/1000193590

BibTeX

@inproceedings{Liu2026FPGALifecycle,
  author    = {Tianhai Liu and James J. Hunt},
  title     = {FPGA Lifecycle Management for RISC-V Systems},
  booktitle = {RISC-V Summit Europe 2026 (RISC-V Summit)},
  address   = {Bologna, Italy},
  date      = {2026-06-08/2026-06-12},
  year      = {2026},
  doi       = {10.5445/IR/1000193590}
}