Search papers, labs, and topics across Lattice.
4
0
5
1
NeuroAbs accelerates hardware verification by intelligently abstracting RTL designs, achieving significant efficiency gains over traditional approaches.
HiFuzz outperforms traditional fuzzing techniques by leveraging hierarchical reinforcement learning to achieve deeper architectural state exploration and improved bug detection.
Stop guessing which inductive generalization strategy works best for IC3 – this adaptive, learning-guided approach solves significantly more hardware model checking problems.
Tired of benchmarks that are either too easy or impossible? EvolveGen uses RL to automatically generate "goldilocks" hardware model checking problems that expose the weaknesses of your solver.
