Towards Developing High Performance RISC-V Processors Using Agile Methodology
Yinan Xu, Zihao Yu, Dan Tang, Guokai Chen, Lu Chen, Lingrui Gou, Yue Jin, Qianruo Li, Xin Li, Zuojun Li, Jiawei Lin, Tong Liu
摘要
While research has shown that the agile chip design methodology is promising to sustain the scaling of computing performance in a more efficient way, it is still of limited usage in actual applications due to two major obstacles: 1) Lack of tool-chain and developing framework supporting agile chip design, especially for large-scale modern processors. 2) The conventional verification methods are less agile and become a major bottleneck of the entire process. To tackle both issues, we propose MINJIE, an open-source platform supporting agile processor development flow. MINJIE integrates a broad set of tools for logic design, functional verification, performance modelling, pre-silicon validation and debugging for better development efficiency of state-of-the-art processor designs. We demonstrate the usage and effectiveness of MINJIE by building two generations of an open-source superscalar out-of-order RISC-V processor code-named XIANGSHAN using agile methodologies. We quantify the performance of XIANGSHAN using SPEC CPU2006 benchmarks and demonstrate that XIANGSHAN achieves industry-competitive performance.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper17
- ChatCPU: An Agile CPU Design and Verification Platform with LLMXi Wang, Gwok-Waa Wan, Sam-Zaak Wong, Layton Zhang 等DAC 2024 · 被引用 31 次
- Towards Automated RISC-V Microarchitecture Design with Reinforcement LearningChen Bai, Jianwang Zhai, Yuzhe Ma, Bei Yu 等AAAI 2024 · 被引用 20 次
- Fast, Robust and Transferable Prediction for Hardware Logic SynthesisCeyu Xu, Pragya Sharma, Tianshu Wang, Lisa Wu WillsMICRO 2023 · 被引用 8 次
- TEESec: Pre-Silicon Vulnerability Discovery for Trusted Execution EnvironmentsMoein Ghaniyoun, Kristin Barber, Yuan Xiao, Yinqian Zhang 等ISCA 2023 · 被引用 6 次
- DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking Assisted Processor FuzzingJinyan Xu, Yangye Zhou, Xingzhi Zhang, Yinshuai Li 等ASPLOS 2025 · 被引用 4 次
它引用的顶会 Paper7
- DifuzzRTL: Differential Fuzz Testing to Find CPU BugsJaewon Hur, Suhwan Song, Dongup Kwon, Eunjin Baek 等S&P 2021 · 被引用 126 次
- Learning Semantic Representations to Verify Hardware DesignsShobha Vasudevan, Wenjie Jiang, David Bieber, Rishabh Singh 等NeurIPS 2021 · 被引用 38 次
- Efficiently Exploiting Low Activity Factors to Accelerate RTL SimulationScott Beamer, David DonofrioDAC 2020 · 被引用 36 次
- Effective Processor Verification with Logic Fuzzer Enhanced Co-simulationNursultan Kabylkas, Tommy Thorn, Shreesha Srinath, Polychronis Xekalakis 等MICRO 2021 · 被引用 25 次
- FirePerf: FPGA-Accelerated Full-System Hardware/Software Performance Profiling and Co-DesignSagar Karandikar, Albert J. Ou, Alon Amid, Howard Mao 等ASPLOS 2020 · 被引用 18 次
相关 Paper
- TraceRTL: Agile Performance Evaluation for Microarchitecture ExplorationZifei Zhang, Yinan Xu, Sa Wang, Dan Tang 等HPCA 2026
- Formally Verifying Arithmetic Chisel Designs for All Bit Widths at OnceWeizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen 等DAC 2024
- GSIM: Accelerating RTL Simulation for Large-Scale DesignsLu Chen, Dingyi Zhao, Zihao Yu, Ninghui Sun 等DAC 2025 · 被引用 1 次
- Democratizing and Accelerating Hardware Verification with Software-Native OptimizationYunlong Xie, Zhicheng Yao, Fangyuan Song, Jincheng Liu 等ISCA 2026
- A Language Approach to Fine-Grained Microarchitectural ObservationGuokai Chen, Sergi Soler Arrufat, Clément Pit-Claudel, Thomas BourgeatOOPSLA 2026
