conftrace_

functional verification

2 papers

Explore in graph

Also known as

FV

Co-occurring keywords · papers mentioning both

large language model (2) hardware design verification (1) systemverilog assertion (1) code transpilation (1) verified lifting (1) functional equivalence (1) domain-specific language (1) benchmark dataset (1) program synthesis (1)

Papers

FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification AAAI 2026 Verified Code Transpilation with LLMs NeurIPS 2024