节点文献

逻辑验证自身的特点及其利用

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 杨志娟； 梁业伟； 石茵； 魏道政；

【机构】 北京工业大学计算机学院!北京； 100044； 中国科学院计算机技术研究所CAD开放实验室!北京； 100080；

【关键词】 部分积； 系统测试； 故障模型； 实现细节； 数字系统； 乘积项； 测试方法； 线表； 设计过程； Benchmark；
【基金】 国家自然科学基金
  • 【文献出处】 计算机学报 ,CHINESE JOURNAL OF COMPUTERS , 编辑部邮箱 ,1999年04期
  • 【分类号】TP301.6
  • 【被引频次】2
  • 【下载频次】48
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)