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

Forging Robust Building Blocks for Next-Gen RISC-V Chips: Virtual Repository and IP Card

Reviewed Paper In Proceedings
Author(s):Catalin Bogdan Ciobanu, Francesco Conti, Cairo Caplan, Tianhai Liu, and others
In:Proceedings of the 29th Euromicro Conference Series on Digital System Design (DSD)
Series:DSD
Year:2026

Note

Accepted

BibTeX

@inproceedings{ciobanu2026dsd,
  author    = {Ciobanu, Catalin Bogdan and Conti, Francesco and Caplan, Cairo and Liu, Tianhai and others},
  title     = {Forging Robust Building Blocks for Next-Gen RISC-V Chips: Virtual Repository and IP Card},
  booktitle = {Proceedings of the 29th Euromicro Conference Series on Digital System Design (DSD)},
  series    = {DSD},
  year      = {2026},
  note      = {Accepted}
}