Accurate estimation of irrigation water use is essential for agricultural water accounting and water-resource allocation in large irrigated districts, yet existing statistics are usually available only as aggregated administrative totals and cannot adequately characterize seasonal and spatial differences in field-appli...
Siyang Cai, Hui-Xiao Wang, Guan-Hang Sui et al.· Sustainability· 0 citations
RTLCurator is presented, which learns a behavior-aware compatibility prior by contrasting each specification with implementations that fail simulation, and calibrates it to a new corpus using a small number of validated pairs, and constructs the retained subset by balancing alignment, representation coverage, and RTL s...
Siyang Cai, Cangyuan Li, Wenjing Chang et al.· arXiv.org· 0 citations
ChipFuzzer is proposed, a hardware fuzzing framework that leverages the semantic reasoning capabilities of large language models (LLMs) to improve fuzzing effectiveness and improves average condition coverage and bug detection rate over the strongest baseline.
Kun Wang, Cangyuan Li, Kaiyan Chang et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.