TY  - RPRT
TI  - Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
AU  - Izumi Tanaka
AU  - Ken Sakayori
AU  - Shinya Takamaeda-Yamazaki
AU  - Naoki Kobayashi
PY  - 2026
UR  - https://arxiv.org/abs/2601.09217
ID  - 2601.09217
ER  -