2022 · 94 citations · 58 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureHardware-software Co-designSystem-on-chip DesignHardware DebuggingInstruction Set ArchitectureMicroarchitecture DesignProcessor Core DesignProcessor MicroarchitectureSuperscalar ProcessingCmos Logic DesignFunctional Verification DebuggingHardware Verification Of Processor CoresLogic Block DesignOn-chip DebuggingPost-silicon ValidationRisc-v Core DesignSuperscalar Microarchitecture
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.
58
Nathan Binkert, Bradford M. Beckmann, Gabriel Black et al. · ACM SIGARCH Computer Architecture News · 2011 · 4.9K citations
SimpleScalar: an infrastructure for computer system modeling
T. Austin, Eric D. Larson, Daniel Ernst · Computer · 2002 · 1.6K citations
The Oracle Problem in Software Testing: A Survey
Earl T. Barr, Mark Harman, Phil McMinn et al. · IEEE Transactions on Software Engineering · 2014 · 1K citations · Full text
Jonathan Bachrach, Huy T. Vo, Brian Richards et al. · 2012 · 905 citations