Login / Signup
Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction.
Hanxian Huang
Zhenghan Lin
Zixuan Wang
Xin Chen
Ke Ding
Jishen Zhao
Published in:
CoRR (2024)
Keyphrases
</>
hardware designs
hardware description language
model based diagnosis
model checking
test bed
face verification
formal verification
integrated circuit
asynchronous circuits
neural network
information systems
clustering algorithm
error detection
test generation
fingerprint verification