Saved in:
| Main Authors: | , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.09919 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911494913916928 |
|---|---|
| author | Perera, Buddhi Wang, Zeng Xiao, Weihua Nabeel, Mohammed Sinanoglu, Ozgur Knechtel, Johann Karri, Ramesh |
| author_facet | Perera, Buddhi Wang, Zeng Xiao, Weihua Nabeel, Mohammed Sinanoglu, Ozgur Knechtel, Johann Karri, Ramesh |
| contents | The design of post-quantum cryptography (PQC) hardware is a complex and hierarchical process with many challenges. A primary bottleneck is the conversion of PQC reference codes from C to high-level synthesis (HLS) specifications, which requires extensive manual refactoring. Another bottleneck is the scalability of synthesis for complex PQC primitives, including number theoretic transform (NTT) accelerators and wide memory interfaces. While large language models (LLMs) have shown remarkable results for coding in general-purpose languages like Python, coding for hardware design is more challenging; feedback-driven and agentic integration are key principles of successful state-of-the-art approaches. Here, we propose LLM4PQC, an LLM-based framework that refactors high-level PQC specifications and reference C codes into HLS-ready and synthesizable C code. Our framework generates and verifies the resulting RTL code. For correctness, we leverage a hierarchy of checks, covering fast C compilation and simulation as well as RTL simulation. Case studies on NIST PQC reference designs demonstrate a reduction in manual effort and accelerated design-space exploration compared to traditional flows. Overall, LLM4PQC provides a powerful and efficient pathway for synthesizing complex hardware accelerators. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_09919 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | LLM4PQC - Accurate and Efficient Synthesis of PQC Cores by Feedback-Driven LLMs Perera, Buddhi Wang, Zeng Xiao, Weihua Nabeel, Mohammed Sinanoglu, Ozgur Knechtel, Johann Karri, Ramesh Cryptography and Security The design of post-quantum cryptography (PQC) hardware is a complex and hierarchical process with many challenges. A primary bottleneck is the conversion of PQC reference codes from C to high-level synthesis (HLS) specifications, which requires extensive manual refactoring. Another bottleneck is the scalability of synthesis for complex PQC primitives, including number theoretic transform (NTT) accelerators and wide memory interfaces. While large language models (LLMs) have shown remarkable results for coding in general-purpose languages like Python, coding for hardware design is more challenging; feedback-driven and agentic integration are key principles of successful state-of-the-art approaches. Here, we propose LLM4PQC, an LLM-based framework that refactors high-level PQC specifications and reference C codes into HLS-ready and synthesizable C code. Our framework generates and verifies the resulting RTL code. For correctness, we leverage a hierarchy of checks, covering fast C compilation and simulation as well as RTL simulation. Case studies on NIST PQC reference designs demonstrate a reduction in manual effort and accelerated design-space exploration compared to traditional flows. Overall, LLM4PQC provides a powerful and efficient pathway for synthesizing complex hardware accelerators. |
| title | LLM4PQC - Accurate and Efficient Synthesis of PQC Cores by Feedback-Driven LLMs |
| topic | Cryptography and Security |
| url | https://arxiv.org/abs/2602.09919 |