Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators.

Izumi Tanaka, Ken Sakayori, Shinya Takamaeda-Yamazaki, Naoki Kobayashi

Browse the full ESOP paper archive.