Login / Signup
LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification.
Minwoo Kang
Azade Nova
Eshan Singh
Geetheeka Sharron Bathini
Yuriy Viktorov
Published in:
ICCAD (2023)
Keyphrases
</>
formal proof
low cost
information retrieval
lightweight
cost effective
efficient learning
hardware architecture
real time
data sets
genetic algorithm
theorem prover
computing power
parallel architectures