中文版 | English

在结果中检索

KMS

浏览/检索结果: 共5条，第1-5条 帮助

已选(0)清除 条数/页：   排序方式：
RefSCAT: Formal Verification of Logic-Optimized Multipliers via Automated Reference Multiplier Generation and SCA-SAT Synergy 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2025, 卷号: 44, 期号: 2, 页码: 791-804
作者:  Rui Li;  Lin Li;  Heng Yu;  Masahiro Fujita;  Weixiong Jiang
Adobe PDF(6854Kb)  |  收藏  |  浏览/下载：336/10  |  提交时间：2024/08/26
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks 会议论文
FORMAL METHODS, PT II, FM 2024, null,Milan,ITALY, SEP 09-13, 2024
作者:  Tan, Huiyu;  Yang, Xi;  Song, Fu;  Chen, Taolue;  Wu, Zhilin
Adobe PDF(595Kb)  |  收藏  |  浏览/下载：359/1  |  提交时间：2024/10/11
CIMC: A 603TOPS/W In-Memory-Computing C3T Macro with Boolean/Convolutional Operation for Cryogenic Computing 会议论文
2023 IEEE CUSTOM INTEGRATED CIRCUITS CONFERENCE (CICC), San Antonio, TX, United states, April 23, 2023 - April 26, 2023
作者:  Yuhao Shu;  Hongtu Zhang;  Qi Deng;  Hao Sun;  Yajun Ha
Adobe PDF(359Kb)  |  收藏  |  浏览/下载：572/1  |  提交时间：2023/04/15
A Recursion and Lock Free GPU-based Logic Rewriting Framework Exploiting Both Intra-node and Inter-node Parallelism 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 卷号: PP, 期号: 99, 页码: 1-1
作者:  Li, Lin;  Li, Rui;  Ha, Yajun
Adobe PDF(7297Kb)  |  收藏  |  浏览/下载：472/2  |  提交时间：2023/03/17
ESAMPLER: Boosting sampling of satisfying assignments for Boolean formulas via derivation 期刊论文
JOURNAL OF SYSTEMS ARCHITECTURE, 2022, 卷号: 129
作者:  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Adobe PDF(2750Kb)  |  收藏  |  浏览/下载：361/0  |  提交时间：2022/07/15
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页