Work

LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions

Year: 2024

Type: conference-paper

Source: Proceedings - Asian Test Symposium/Proceedings

DOI: 10.1109/ats64447.2024.10915476

Authors: Khushboo Qayyum, Sallar Ahmadi-Pour, Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler

Institutions: German Research Centre for Artificial Intelligence, University of Bremen

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Ministry of Education

OpenAlex ID: W4408442146

FWCI: 3.284

Cites: 40

Cited by: 5

Related to: 10