From the 4 of 56 papers with an AI index.
21 citations
- Shanghai Jiao Tong UniversityCN4 papers
- City University of Hong KongHK3 papers
- Hong Kong University of Science and TechnologyHK3 papers
- Nanjing Normal UniversityCN3 papers
- National University of SingaporeSG3 papers
- Sun Yat-sen UniversityCN3 papers
- Technical University of MunichDE3 papers
- Zhejiang UniversityCN3 papers
- École Polytechnique Fédérale de LausanneCH2 papers
- Fudan UniversityCN2 papers
- Huawei Technologies (China)CN2 papers
- Institute of Modern PhysicsCN2 papers
4 papers · 1 filter
NVLLM: A 3D NAND-Centric Architecture Enabling Edge on-Device LLM Inference
Mingbo Hao, Changwei Yan, Haoyu Cui +4
The rapid growth of LLMs demands high-throughput, memory-capacity-intensive inference on resource-constrained edge devices, where single-batch decoding remains fundamentally memory…
EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR
Jiaying Zhu, Baoqi Zhang, Mengxia Tao +4
Ensuring functional consistency between high-level algorithmic models and low-level hardware implementations is a critical challenge, particularly as modern design flows increasing…
ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs
Lik Tung Fu, Jie Zhou, Shaokai Ren +6
Functional verification consumes over 50% of the IC development lifecycle, where SystemVerilog Assertions (SVAs) are indispensable for formal property verification and enhanced sim…
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…