◍wovepaper
SearchResearchersInstitutions
Sign in
institution

National Commission for Science, Technology, and Innovation

Kenya

1 paper here2 citations across 1
fields
  • cs.AR1
ROR 03wzc0b85OpenAlex

affiliations via OpenAlex

most citedFrom Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification

2 citations

researchers with a paper here
  • Dingrong Pan1 · h 2
  • Jie Zhou1 · h 7
  • Junhao Ye1 · h 2
  • Ke Xu1 · h 3
  • Nan Guan1 · h 8
  • Qichun Chen1 · h 4
  • Shuai Zhao1 · h 2
  • Xinwei Fang1 · h 4
  • Xi Wang1 · h 8
  • Yuchen Hu1 · h 6
  • Zhe Jiang1 · h 8
collaborating institutions
  • City University of Hong KongHK1 paper
  • Shenzhen UniversityCN1 paper
  • Southeast UniversityBD1 paper
  • Sun Yat-sen UniversityCN1 paper
  • University of YorkGB1 paper

1 paper

cs.AR2026★ 2 cited

From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification

Junhao Ye, Yuchen Hu, Ke Xu +8

Verification presents a major bottleneck in Integrated Circuit (IC) development, consuming nearly 70% of the total development effort. While the Universal Verification Methodology…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.