TY  - RPRT
TI  - Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor
AU  - Louis-Emile Ploix
AU  - Alasdair Armstrong
AU  - Tom Melham
AU  - Ray Lin
AU  - Haolong Wang
AU  - Anastasia Courtney
PY  - 2025
UR  - https://arxiv.org/abs/2502.04738
ID  - 2502.04738
ER  -