Login / Signup
Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification.
Mingjie Liu
Minwoo Kang
Ghaith Bany Hamad
Syed Suhaib
Haoxing Ren
Published in:
VTS (2024)
Keyphrases
</>
formal verification
vlsi design
model checking
model checker
automated verification
bounded model checking
symbolic model checking
domain specific
temporal logic
functional verification
genetic algorithm
program slicing
artificial intelligence
database systems
fuzzy logic