RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 678 浏览量: 1,165
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
40位处理器指令集架构研究Research on Instruction Set Architecture of 40-Bit Processor
徐明毅 下载量: 733 浏览量: 6,219
计算机科学与应用 Vol.9 No.9, September 10 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.99186 被引量
基于深度学习的癫痫识别软硬件协同设计Co-Design of Software and Hardware for EEG Epilepsy Recognition Based on Deep Learning
谈宇轩, 涂淑琴 下载量: 385 浏览量: 1,047
人工智能与机器人研究 Vol.11 No.1, February 28 2022, PDF, HTML, XML DOI:10.12677/AIRR.2022.111008 被引量