top of page
Prompt-Driven Verification in Logic Synthesis using Large Language Models
Project ID:
P29_24
Principal Investigator:
Dr. Caiwen Ding
Email:
Co-Principal Investigator(s):
Dr. Zhijie Shi
Topic Areas:
Abstract
I'm a paragraph. Click here to add your own text and edit me. It's easy.
bottom of page