TY  - RPRT
TI  - InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy
AU  - Michael Chesser
AU  - Paul Quirk
AU  - Douglas Cooke
AU  - Guy Farrelly
AU  - Surya Nepal
AU  - Damith C. Ranasinghe
PY  - 2026
UR  - https://arxiv.org/abs/2608.13042
ID  - 2608.13042
ER  -