中文版 | English

在结果中检索

KMS

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

已选(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)  |  收藏  |  浏览/下载：333/10  |  提交时间：2024/08/26
RefSCAT-2.0: Formal Verification of Large-Scale Optimized Multipliers via Quantum-Inspired Ant Colony Optimization-Based Reference Generation 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2025, 卷号: PP, 期号: 99
作者:  Rui Li;  Lin Li;  Heng Yu;  Masahiro Fujita;  Weixiong Jiang
Adobe PDF(6472Kb)  |  收藏  |  浏览/下载：23/1  |  提交时间：2025/05/12
ZFP57 dictates allelic expression switch of target imprinted genes 期刊论文
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2021, 卷号: 118, 期号: 5, 页码: e2005377118
作者:  Jiang, Weijun;  Shi, Jiajia;  Zhao, Jingjie;  Wang, Qiu;  Cong, Dan
Adobe PDF(1868Kb)  |  收藏  |  浏览/下载：917/2  |  提交时间：2021/04/01
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页