TY  - RPRT
TI  - SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
AU  - Charles Lewis
AU  - Amal Elsokary
AU  - Siyuan Ji
PY  - 2026
UR  - https://arxiv.org/abs/2605.11248
ID  - 2605.11248
ER  -