NoTB: Oracle-Free Triage of LLM-Generated RTL via Cross-Model Formal Consensus
无需人工标准答案,跨模型形式共识为LLM生成的RTL代码提供高效分诊,直击硬件设计验证痛点。
arXiv:2608.21962v1 Announce Type: cross Abstract: Large language models (LLMs) are increasingly used to generate register-transfer-level (RTL) designs…