2024 RISC-V中国峰会 张寿林 专题报告《DUET: 一种基于 FPGA 加速的软硬件联合 Difftest 芯片验证框架》 07:26 2024 RISC-V中国峰会 蒋子健 专题报告《面向RISC-V指令集扩展的软硬件协同验证框架》 08:37 2024 RISC-V中国峰会 丁昊楠 香山Session《香山处理器多核高速缓存的敏捷验证与设计探索方法》 ...
面向服务器的香山处理器多核解决方案 - 丁昊楠 (中国科学院计算技术研究所,芯片设计工程师) - 2024 RISC-V 中国峰会 19:08 万众一芯:基于开源众包芯片验证的探索与实践 - 姚治成 (中国科学院计算技术研究所,工程师) - 2024 RISC-V 中国峰会 18:40 香山缓存系统的形式化验证 - 陈韬宇 (中国科学院软件...
加速的RISC-V处理器敏捷验证框架》 10:11 2024 RISC-V中国峰会 张寿林 专题报告《DUET: 一种基于 FPGA 加速的软硬件联合 Difftest 芯片验证框架》 07:26 2024 RISC-V中国峰会 蒋子健 专题报告《面向RISC-V指令集扩展的软硬件协同验证框架》 08:37 2024 RISC-V中国峰会 丁昊楠 香山Session《香山处理器多核...