《6.基于事务的加速技术在RISC-V高速高质量验证中的应用.pdf》由会员分享,可在线阅读,更多相关《6.基于事务的加速技术在RISC-V高速高质量验证中的应用.pdf(14页珍藏版)》请在三个皮匠报告上搜索。
1、Dehao,S2CLeveragingTransaction-BasedAccelerationforHigh-Speed,High-QualityRISC-VVerificationAgenda01RISC-VcomplexityandVerificationChallenges02RISC-VVerificationInterface(RVVI)03RVVILimitationsinSimulation-OnlyEnvironments04Transaction-BasedAcceleration(TBA)asaSolution05TBAappliedtoRVVI06ResultsandO
2、bservationsnKeyComplexityFactorsofRISC-VlMicroarchitecturalvariabilitylComplexifiesthedesignlMemoryHierarchyDesignlPipelineandPerformanceTuninglPower,Area,andTimingConstraintsnCustominstructionslIncreaseverificationscopelRequirethoroughvalidationunderalloperatingconditionsnISAmodularitylComplicatesi
3、nteroperabilityandtoolchainvalidationlAprogramcompiledforoneRISC-VvariantmaynotrunonanotherthatlacksrequiredextensionsnNounifiedofficialreferencemodellCreatesinconsistenciesanduncertaintylBehavioraldifferencesbetweenimplementationsRISC-VcomplexityandVerificationChallengesMicro-architecturalvariabilityCustominstructionsISAModularityRefModel#VerificationchallengesBySegmentnRISCVVerificationInterface(RVVI)lOpenstandardinterfacedevelopedtoaddressthecomplexityofRISC-VverificationlProvidesstandardizedcommunicationinterfacebetweentheRTLdesign,testbenchenvironment,andtheRISC-VVIPlhttps:/