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