GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 324 浏览量: 2,033
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 818 浏览量: 1,355
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
基于指针数组的Gr?bner基方法的优化Optimization of Gr?bner Basis Method Based on Pointer Array
齐 爽, 冯天烁, 史美琦, 江建国 下载量: 314 浏览量: 415
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137147 被引量
基于椭圆曲线的高效远程用户认证协议An Efficient Remote User Authentication Protocol Based on Elliptic Curve
周 鑫, 文 康, 翁柏森, 吴奕霄, 王圣宝 下载量: 329 浏览量: 572 国家自然科学基金支持
应用数学进展 Vol.11 No.12, December 9 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1112902 被引量
基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 704 浏览量: 1,056
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
Gro¨ bner基方法验证乘法器的Maple实现Maple Implementation of Verification Multiplier Based on Gro¨ bner Basis
刘佳姝, 张璇思, 江建国 下载量: 685 浏览量: 1,011
应用数学进展 Vol.9 No.11, November 17 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911220 被引量
基于联盟链的安全可信电子病历智能合约设计Design of Secure and Trusted Electronic Medical Record Intelligent Contract Based on Alliance Chain
廉应生, 莫晶亮, 邱 钊, 杨子睿, 杨 磊, 卢本本 下载量: 385 浏览量: 948 科研立项经费支持
数据挖掘 Vol.12 No.3, July 26 2022, PDF, HTML, XML DOI:10.12677/HJDM.2022.123027 被引量
基于SV的NAND Flash控制器功能验证 Function Verification of NAND Flash Controller Based on SV
吴录辉, 颜炳佳 下载量: 482 浏览量: 765
传感器技术与应用 Vol.10 No.2, April 6 2022, PDF, HTML, XML DOI:10.12677/JSTA.2022.102012 被引量
基于散列表的加法器重写优化算法Hash Table Based Adder Rewriting Optimization Algorithm
黄怡桐, 刘 帅, 魏峰玉, 江建国 下载量: 200 浏览量: 313
应用数学进展 Vol.11 No.11, November 29 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111874 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 770 浏览量: 1,124
应用数学进展 Vol.10 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.101039 被引量