Towards Automated Verification IP Instantiation via LLMs

Author(s):
Ghaith Bany Hamad, Michael Marcotte, Syed Suhaib