Sean M. Lowe

Computer systems engineering

Hometown: Chandler, Arizona, United States

Graduation date: Fall 2024

FURI Semiconductor Research theme icon

FURI | Fall 2024

Improving Hardware Verification Coverage using LLMs

Hardware verification is one of the most challenging stages of the hardware design process because of the time and resources involved in ensuring that a hardware design is fully verified and production-ready. With the drastic increase in the strength of code generation from the most recent generation of large language models (LLMs) like ChatGPT-3.5-turbo and ChatGPT-4 from OpenAI, it has been shown that, especially with well-executed fine-tuning, LLMs are powerful tools for overcoming the difficulties of digital hardware design and verification. In traditional design verification, the goal is to maximize code and functional coverage of the design, which is notoriously difficult for verification engineers, and verification teams typically involve three to five engineers per design engineer. Using an automated few-shot interaction between a fine-tuned LLM and a code coverage analyzer, hardware design test benches that exceed code coverage standards can be quickly generated to rapidly improve the design verification process.

Mentor:

View the poster
QR code for the current page

It’s hip to be square.

Students presenting projects at the Fulton Forge Student Research Expo are encouraged to download this personal QR code and include it within your poster. This allows expo attendees to explore more about your project and about you in the future. 

Right click the image to save it to your computer.

Additional projects from this student

Integrating fine-tuned large language models in hardware verification automates testbench creation, cuts resources and speeds up the verification process.

Mentor:

  • FURI
  • Summer 2024