Login / Signup

LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification.

Minwoo KangAzade NovaEshan SinghGeetheeka Sharron BathiniYuriy 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