#functional-correctness News & Analysis

2 articles tagged with #functional-correctness. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AIBullisharXiv – CS AI · Jun 107/10

🧠

EstRTL: Functional Estimation Guided RTL Code Generation

EstRTL is an LLM-powered framework that improves the functional correctness of automatically generated register transfer level (RTL) code through a three-stage process involving generation, static functional estimation, and correction. The system demonstrates 3.2%-9.0% improvement in code correctness over baseline LLM approaches, addressing a critical gap in hardware design automation where code compilation success doesn't guarantee proper hardware implementation.

AIBullisharXiv – CS AI · May 287/10

🧠

Functional Entropy: Predicting Functional Correctness in LLM-Generated Code with Uncertainty Quantification

Researchers demonstrate that uncertainty quantification (UQ) methods can effectively detect errors in LLM-generated code by introducing functional equivalence techniques. While token-probability methods transfer well from NLP, sampling-based approaches fail because traditional semantic models cannot distinguish functionally different code. The proposed functional entropy method outperforms existing approaches across most benchmarks.