ChatSVA achieves 96.12% functional pass rate and 82.5% coverage in SVA generation on 24 RTL designs, delivering 33 percentage point gains and 11x better coverage than prior state-of-the-art.
Efficient ML-Based Transient Thermal Prediction for 3D- ICs
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
method 1
citation-polarity summary
fields
cs.AR 3years
2026 3verdicts
UNVERDICTED 3roles
method 1polarities
use method 1representative citing papers
Introduces a quality-aware loop with mutation-guided refinement, RTL-aware solver selection, and causal narrative synthesis to improve LLM-generated assertions for formal verification of RTL designs.
The paper reviews multiscale thermal modeling techniques for 3D ICs, unifying scales from device to system while stressing thermal boundary resistance and validation needs.
citing papers explorer
-
ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs
ChatSVA achieves 96.12% functional pass rate and 82.5% coverage in SVA generation on 24 RTL designs, delivering 33 percentage point gains and 11x better coverage than prior state-of-the-art.
-
Closing the Loop on LLM-Generated RTL Assertions with Quality-Aware Formal Verification
Introduces a quality-aware loop with mutation-guided refinement, RTL-aware solver selection, and causal narrative synthesis to improve LLM-generated assertions for formal verification of RTL designs.
-
A Review of Multiscale Thermal Modeling in Heterogeneous 3D ICs
The paper reviews multiscale thermal modeling techniques for 3D ICs, unifying scales from device to system while stressing thermal boundary resistance and validation needs.