中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	无界模型检验中融合电路信息的SAT算法研究期刊论文 OAI收割计算机学报, 2009, 期号: 第6期, 页码: 1110—1118 作者: 李华伟; 赵阳; 李晓维; 吕涛 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/10/18 设计验证无界模型检验 Boolean可满足性问题(Sat) 寄存器传输级(Rtl)
	一种低功耗BIST测试方法期刊论文 OAI收割微计算机信息, 2006, 卷号: 22, 期号: 8, 页码: 111-113 作者: 王宏; 汪滢; 李金凤 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2010/11/29 寄存器传输级内建自测试故障模型随机抵抗性故障
	寄存器传输级测试用例生成算法期刊论文 OAI收割计算机辅助设计与图形学学报, 2005, 卷号: 17, 期号: 9 作者: 沈理; 高燕 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2010/11/24 集成电路自动测试生成寄存器传输级测试用例
	一种面向测试的RTL行为抽象与蕴含方法期刊论文 OAI收割同济大学学报：自然科学版, 2002, 卷号: 30.0, 期号: 010, 页码: 1199 作者: 尹志刚; 李华伟; 李晓维 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 抽象蕴含寄存器传输级行为描述测试向量集成电路芯片测试
	基于RTL行为模型的测试产生及时延测试方法期刊论文 OAI收割中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 002, 页码: 198 作者: 李华伟 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 RTL行为模型测试产生时延测试寄存器传输级有限状态机自动测试向量产生故障诊断集成电路测试
	VerilogRTL模型期刊论文 OAI收割同济大学学报：自然科学版, 2002, 卷号: 30.0, 期号: 010, 页码: 1194 作者: 沈理 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2023/12/04 VerilogRTL模型 Verilog硬件描述语言寄存器传输级模型逻辑模拟高层次测试集成电路芯片芯片测试