张忠林
【姓名】 张忠林
【职称】
【研究领域】 无线电电子学;计算机软件及计算机应用;
【研究方向】 VLSI电路EDA软件算法
【发表文献关键词】 电路划分,形式验证,组合电路,候选点,支持点,验证方法,SAT问题,等价,反问题,算法,原始输入,子电路,电路,随机模拟,验证问题,回溯方法,输入激励,验证算法,电路验证,可满足,
【工作单位】 复旦大学
【曾工作单位】 复旦大学;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 2 1 2 133
中国期刊全文数据库    共找到2篇
[1]张忠林;唐璞山;.一个基于可满足性算法的时序深度计算方法[J]计算机工程.2006,(02)
[2]李亮,唐璞山,张忠林.一种新颖的基于层划分的等价验证方法[J]微电子学.2004,(06)
更多