@misc{indiciae2aa23111db9d,
  title = {SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification},
  author = {Charles Lewis and Amal Elsokary and Siyuan Ji},
  year = {2026},
  url = {https://arxiv.org/abs/2605.11248},
  note = {Source identifier: 2605.11248}
}