Focus Session: LLM4PQC -- An Agentic Framework for Accurate and Efficient Synthesis of PQC Cores

LLM4PQC is an LLM-based agentic framework designed to address bottlenecks in post-quantum cryptography (PQC) hardware design by automatically refactoring PQC reference C code into high-level synthesis (HLS)-ready and synthesizable code. The framework uses a hierarchy of verification checks including C compilation, simulation, and RTL simulation to ensure correctness, and demonstrates reduced manual effort and accelerated design-space exploration in case studies on NIST PQC reference designs.