CSA  >> Vol. 13 No. 10 (October 2023)

计算机科学与应用
Computer Science and Application
Vol.13 No.10(2023), Paper ID 74460, 7 pages
DOI:10.12677/CSA.2023.1310196

基于变量排序的乘法器电路验证结果的认证器
Authenticator for Verification Results of Multiplier Circuits Based on Variable Ordering

史美琦,齐 爽,冯天烁,江建国:辽宁师范大学数学学院,辽宁 大连

版权 © 2017 史美琦, 齐 爽, 冯天烁, 江建国。本期刊文章已获得知识共享署名国际组织(Creative Commons Attribution International License)的认证许可。您可以复制、发行、展览、表演、放映、广播或通过信息网络传播本作品;您必须按照作者或者许可人指定的方式对作品进行署名。

How to Cite this Article


史美琦, 齐爽, 冯天烁, 江建国. 基于变量排序的乘法器电路验证结果的认证器[J]. 计算机科学与应用, 2023, 13(10): 1980-1987. https://doi.org/10.12677/CSA.2023.1310196