|
已选(0)清除
条数/页： 排序方式：
|
| 集成电路验证技术 期刊论文
2015, 2015
刘卓军; 吴尽昭
  收藏 | 浏览/下载：3/0 | 提交时间：2017/06/19
|
| 基于压缩感知的RTL级功耗估算仿真 期刊论文
计算机测量与控制, 2012, 卷号: 第20卷 第2期, 页码: 438-440
作者: 郎永祥，秦拯
收藏 | 浏览/下载：5/0 | 提交时间：2020/01/05
|
| 功耗限制下RTL数据通路扫描测试调度方法 期刊论文
微计算机信息, 2012, 卷号: 第28卷 第2期, 页码: 145-147
作者: 田斌; 许睿; 王泽成
收藏 | 浏览/下载：6/0 | 提交时间：2020/01/05
|
| 基于RTL内部功能模块的测试向量产生方法 期刊论文
计算机工程, 2011, 卷号: 第37卷 第3期
作者: 许睿; 尤志强; 邝继顺; 刘彤
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/05
|
| RTL验证中的混合可满足性求解 会议论文
第四届中国测试学术会议论文集, 第四届中国测试学术会议, 中国河北秦皇岛北戴河, CNKI, 中国计算机学会容错计算专业委员会
邓澍军; 吴为民; 边计年; Deng Shujun; Wu Weimin; Bian Jinian
收藏 | 浏览/下载：3/0 |
| RTL验证中的混合可满足性求解 期刊论文
2010, 2010
邓澍军; 吴为民; 边计年; Deng Shujun; Wu Weimin; Bian Jinian
收藏 | 浏览/下载：1/0 |
| 基于线性规划的RTL可满足性求解和性质检验 期刊论文
2010, 2010
郑伟伟; 吴为民; 边计年; Zheng Weiwei; Wu Weimin; Bian Jinian
收藏 | 浏览/下载：1/0 |
| 面向RTL的VHDL语言模拟系统设计与实现 期刊论文
微电子学与计算机, 2010, 卷号: 27, 页码: 167-170
作者: 孙凌宇[1]; 冷明[2]; 魏斯民[3]; 杨威[4]
收藏 | 浏览/下载：0/0 | 提交时间：2019/04/30
|
| 无界模型检验中融合电路信息的SAT算法研究 期刊论文
计算机学报, 2009, 期号: 第6期, 页码: 1110—1118
作者: 李华伟; 赵阳; 李晓维; 吕涛
收藏 | 浏览/下载：13/0 | 提交时间：2010/10/18
|
| USB接口引擎的软核设计与FPGA兑现 期刊论文
http://epub.cnki.net/grid2008/brief/detailj.aspx?filename=XDDJ200612026&dbname=CJFQ2006, 2006
邹琼; 郭东辉
收藏 | 浏览/下载：1/0 | 提交时间：2013/06/04
|
