3 papers
cs.AR2026
NoTB: Oracle-Free Triage of LLM-Generated RTL via Cross-Model Formal Consensus
Elisavet Lydia Alvanaki, Je Yang, Biruk Seyoum +1
Large language models (LLMs) are increasingly used to generate register-transfer-level (RTL) designs from natural-language specifications. However, assessing functional correctness…
cs.AR2026
HSCO-Bench: An Agent-Driven End-to-End Hardware-Software Co-design Benchmark for Systems-on-Chip
Pei-Huan Tsai, Kuan-Lin Chiu, William Baisi +2
Large language models (LLMs) are adopted for software and hardware design, yet these domains are still evaluated separately. Software benchmarks typically assume fixed hardware tar…
cs.AR2025
SLDB: An End-To-End Heterogeneous System-on-Chip Benchmark Suite for LLM-Aided Design
Elisavet Lydia Alvanaki, Kevin Lee, Luca P. Carloni
Over the last few years, Large Language Models (LLMs) have emerged as a valuable tool for Electronic Design Automation (EDA). State-of-the-art research in LLM-aided design has demo…