conftrace_

rtl synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hardware description language (1) neuro-symbolic reasoning (1) retrieval-augmented generation (1) symbolic planning (1) code generation (1)

Papers

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization EACL 2026