Login / Signup

Formal Verification of Source-to-Source Transformations for HLS.

Louis-Noël PouchetEmily TuckerNiansong ZhangHongzheng ChenDebjit PalGabriel RodríguezZhiru Zhang
Published in: FPGA (2024)
Keyphrases
  • formal verification
  • information retrieval
  • learning algorithm
  • model checking
  • state space
  • multiple sources
  • description language