基于变量排序的乘法器电路验证结果的认证器Authenticator for Verification Results of Multiplier Circuits Based on Variable Ordering
史美琦, 齐 爽, 冯天烁, 江建国 下载量: 224 浏览量: 317
计算机科学与应用 Vol.13 No.10, October 27 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310196 被引量
基于动态数组的加法器重写优化算法Adder Rewriting Optimization Algorithm Based on Dynamic Array
张小盈, 吕妍颖, 江建国 下载量: 289 浏览量: 674
应用数学进展 Vol.10 No.11, November 16 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011405 被引量
基于散列表的加法器重写优化算法Hash Table Based Adder Rewriting Optimization Algorithm
黄怡桐, 刘 帅, 魏峰玉, 江建国 下载量: 164 浏览量: 246
应用数学进展 Vol.11 No.11, November 29 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111874 被引量
Gro¨ bner基方法验证乘法器的Maple实现Maple Implementation of Verification Multiplier Based on Gro¨ bner Basis
刘佳姝, 张璇思, 江建国 下载量: 599 浏览量: 883
应用数学进展 Vol.9 No.11, November 17 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911220 被引量
基于队列的树形加法优化认证器Queue-Based Tree Addition Optimization Authenticator
冯天烁, 史美琦, 齐 爽, 江建国 下载量: 191 浏览量: 280
计算机科学与应用 Vol.13 No.10, October 16 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310182 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 265 浏览量: 1,937
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
基于指针数组的Gr?bner基方法的优化Optimization of Gr?bner Basis Method Based on Pointer Array
齐 爽, 冯天烁, 史美琦, 江建国 下载量: 237 浏览量: 314
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137147 被引量
混合型忆阻–CMOS在数据选择电路中的应用——基于忆阻器的与非门电路The Application of Hybrid Memristor-CMOS in Data Selection Circuits—And Not Gate Circuit Based on Memristor
姬博宇, 李 彤, 李承慧, 黄雪婷 下载量: 89 浏览量: 161 科研立项经费支持
光电子 Vol.14 No.1, March 19 2024, PDF, HTML, XML DOI:10.12677/OE.2024.141002 被引量