Skip to content
conftrace_

hardware verification

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model checking (2) assertion generation (1) in-context exemplar (1) large language model (1) graph neural network (1) neural network (1) pairwise classifier (1) register transfer level (1) test generation (1) proof certificate (1)

Papers

Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract) AAAI 2025 AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation NAACL 2025 Neural Model Checking NeurIPS 2024 Learning Semantic Representations to Verify Hardware Designs NeurIPS 2021