TY - GEN
T1 - Leveraging Large Language Models for the Automated Documentation of Hardware Designs
AU - Fernando, Saruni
AU - Kunzelmann, Robert
AU - Lopera, Daniela Sanchez
AU - Al Halabi, Jad
AU - Ecker, Wolfgang
N1 - Publisher Copyright:
© 2024 IEEE.
PY - 2024
Y1 - 2024
N2 - The current interest in using Large Language Models (LLMs) to increase work productivity has also affected the Electronic Design Automation (EDA) industry. The main focus here lies on generating and automating the hardware design itself. We propose an alternative application of LLMs, using them to create human-readable design documentation from formal hardware models. We integrate LLMs into a documentation generation framework, which reads a formal specification of a hardware system and pre-processes it into suitable prompts. These prompts guide an LLM in articulating a natural language description of the system. Our findings affirm the potential of LLMs as practical tools to alleviate the documentation burden on engineers. However, they are not a standalone solution yet. A manual review of the generated documents is still required to ensure adherence to specific style and structure guidelines. Nonetheless, we show that this process demands significantly less effort than writing documentations manually.
AB - The current interest in using Large Language Models (LLMs) to increase work productivity has also affected the Electronic Design Automation (EDA) industry. The main focus here lies on generating and automating the hardware design itself. We propose an alternative application of LLMs, using them to create human-readable design documentation from formal hardware models. We integrate LLMs into a documentation generation framework, which reads a formal specification of a hardware system and pre-processes it into suitable prompts. These prompts guide an LLM in articulating a natural language description of the system. Our findings affirm the potential of LLMs as practical tools to alleviate the documentation burden on engineers. However, they are not a standalone solution yet. A manual review of the generated documents is still required to ensure adherence to specific style and structure guidelines. Nonetheless, we show that this process demands significantly less effort than writing documentations manually.
KW - Design documentation
KW - Large Language Model (LLM)
KW - formal specification
KW - metamodeling
UR - http://www.scopus.com/inward/record.url?scp=85199520715&partnerID=8YFLogxK
U2 - 10.1109/MECO62516.2024.10577923
DO - 10.1109/MECO62516.2024.10577923
M3 - Conference contribution
AN - SCOPUS:85199520715
T3 - 2024 13th Mediterranean Conference on Embedded Computing, MECO 2024
BT - 2024 13th Mediterranean Conference on Embedded Computing, MECO 2024
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 13th Mediterranean Conference on Embedded Computing, MECO 2024
Y2 - 11 June 2024 through 14 June 2024
ER -