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
Abstract
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.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext a0885245-68a7-46dc-b433-6cd80d749870Cited by top-tier papers17
- ChatCPU: An Agile CPU Design and Verification Platform with LLMXi Wang, Gwok-Waa Wan, Sam-Zaak Wong, Layton Zhang et al.DAC 2024 · 31 citations
- Towards Automated RISC-V Microarchitecture Design with Reinforcement LearningChen Bai, Jianwang Zhai, Yuzhe Ma, Bei Yu et al.AAAI 2024 · 20 citations
- Fast, Robust and Transferable Prediction for Hardware Logic SynthesisCeyu Xu, Pragya Sharma, Tianshu Wang, Lisa Wu WillsMICRO 2023 · 8 citations
- TEESec: Pre-Silicon Vulnerability Discovery for Trusted Execution EnvironmentsMoein Ghaniyoun, Kristin Barber, Yuan Xiao, Yinqian Zhang et al.ISCA 2023 · 6 citations
- DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking Assisted Processor FuzzingJinyan Xu, Yangye Zhou, Xingzhi Zhang, Yinshuai Li et al.ASPLOS 2025 · 4 citations
Builds on7
- DifuzzRTL: Differential Fuzz Testing to Find CPU BugsJaewon Hur, Suhwan Song, Dongup Kwon, Eunjin Baek et al.S&P 2021 · 126 citations
- Learning Semantic Representations to Verify Hardware DesignsShobha Vasudevan, Wenjie Jiang, David Bieber, Rishabh Singh et al.NeurIPS 2021 · 38 citations
- Efficiently Exploiting Low Activity Factors to Accelerate RTL SimulationScott Beamer, David DonofrioDAC 2020 · 36 citations
- Effective Processor Verification with Logic Fuzzer Enhanced Co-simulationNursultan Kabylkas, Tommy Thorn, Shreesha Srinath, Polychronis Xekalakis et al.MICRO 2021 · 25 citations
- FirePerf: FPGA-Accelerated Full-System Hardware/Software Performance Profiling and Co-DesignSagar Karandikar, Albert J. Ou, Alon Amid, Howard Mao et al.ASPLOS 2020 · 18 citations
Related papers
- TraceRTL: Agile Performance Evaluation for Microarchitecture ExplorationZifei Zhang, Yinan Xu, Sa Wang, Dan Tang et al.HPCA 2026
- Formally Verifying Arithmetic Chisel Designs for All Bit Widths at OnceWeizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen et al.DAC 2024
- GSIM: Accelerating RTL Simulation for Large-Scale DesignsLu Chen, Dingyi Zhao, Zihao Yu, Ninghui Sun et al.DAC 2025 · 1 citation
- Democratizing and Accelerating Hardware Verification with Software-Native OptimizationYunlong Xie, Zhicheng Yao, Fangyuan Song, Jincheng Liu et al.ISCA 2026
- A Language Approach to Fine-Grained Microarchitectural ObservationGuokai Chen, Sergi Soler Arrufat, Clément Pit-Claudel, Thomas BourgeatOOPSLA 2026
