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 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 243 浏览量: 1,901
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,446 浏览量: 5,619
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
Gro¨ bner基方法验证乘法器的Maple实现Maple Implementation of Verification Multiplier Based on Gro¨ bner Basis
刘佳姝, 张璇思, 江建国 下载量: 554 浏览量: 831
应用数学进展 Vol.9 No.11, November 17 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911220 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 650 浏览量: 938
应用数学进展 Vol.10 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.101039 被引量
基于资格验证的新高考志愿填报辅助系统设计与实现Design and Implementation of a New College Entrance Examination Volunteer Filling Assistance System Based on Qualification Verification
刘 宇, 甄 雷, 何文海 下载量: 447 浏览量: 716 科研立项经费支持
计算机科学与应用 Vol.12 No.1, January 5 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.121001 被引量
基于队列的树形加法优化认证器Queue-Based Tree Addition Optimization Authenticator
冯天烁, 史美琦, 齐 爽, 江建国 下载量: 174 浏览量: 263
计算机科学与应用 Vol.13 No.10, October 16 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310182 被引量
基于指针数组的Gr?bner基方法的优化Optimization of Gr?bner Basis Method Based on Pointer Array
齐 爽, 冯天烁, 史美琦, 江建国 下载量: 208 浏览量: 276
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137147 被引量
基于变量排序的乘法器电路验证结果的认证器Authenticator for Verification Results of Multiplier Circuits Based on Variable Ordering
史美琦, 齐 爽, 冯天烁, 江建国 下载量: 180 浏览量: 267
计算机科学与应用 Vol.13 No.10, October 27 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310196 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 786 浏览量: 2,538
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量