4 papers
HLS-Seek: QoR-Aware Code Generation for High-Level Synthesis via Proxy Comparative Reward Reinforcement Learning
Qingyun Zou, Feng Yu, Hongshi Tan +3
High-Level Synthesis (HLS) compiles algorithmic C/C++ descriptions into hardware, with Quality of Results (QoR) -- latency and resource utilization -- critically governed by pragma…
Reward-Weighted On-Policy Distillation with an Open Property-Equivalence Verifier for NL-to-SVA Generation
Qingyun Zou, Yingze Li, Tianen Liu +2
LLM-based generation of SystemVerilog Assertions (SVA) is often reported as nearing saturation, with the strongest specialized model reaching accuracy on NL2SVA-Human.…
RidgeWalker: Perfectly Pipelined Graph Random Walks on FPGAs
Hongshi Tan, Yao Chen, Xinyu Chen +4
Graph Random Walks (GRWs) offer efficient approximations of key graph properties and have been widely adopted in many applications. However, GRW workloads are notoriously difficult…
Hardware-software co-exploration with racetrack memory based in-memory computing for CNN inference in embedded systems
Benjamin Chen Ming Choong, Tao Luo, Cheng Liu +3
Deep neural networks generate and process large volumes of data, posing challenges for low-resource embedded systems. In-memory computing has been demonstrated as an efficient comp…