科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
L
Lin, Jiabao
peking university
0
H指数
1
论文数
0
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
CirOPT: Toward Effective Combinational Equivalence Checking via Compiler Optimization
CirOPT:通过编译器优化实现有效的组合等价性验证
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IF
2.9
2026-04-01
0
PRE
AI
Cui, Shaoke; Luo, Chuan; Yang, Zhenwei; Lin, Jiabao; Wu, Wei; Liu, Chanjuan; Cai, Shaowei; Hu, Chunming
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
S
Shaowei Cai
H 指数: 30 · 论文数: 168
C
Chuan Luo
H 指数: 29 · 论文数: 140
W
Wei Wu
H 指数: 16 · 论文数: 62
刘
刘婵娟
(Chanjuan Liu)
H 指数: 14 · 论文数: 68
C
Chunming Hu
H 指数: 9 · 论文数: 50
查看更多