全文获取类型
收费全文 | 132篇 |
免费 | 17篇 |
国内免费 | 7篇 |
学科分类
工业技术 | 156篇 |
出版年
2024年 | 1篇 |
2023年 | 3篇 |
2022年 | 2篇 |
2021年 | 2篇 |
2020年 | 1篇 |
2019年 | 3篇 |
2018年 | 1篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 2篇 |
2013年 | 4篇 |
2012年 | 1篇 |
2011年 | 8篇 |
2010年 | 8篇 |
2009年 | 12篇 |
2008年 | 5篇 |
2007年 | 12篇 |
2006年 | 20篇 |
2005年 | 18篇 |
2004年 | 13篇 |
2003年 | 14篇 |
2002年 | 4篇 |
2001年 | 1篇 |
2000年 | 3篇 |
1997年 | 2篇 |
1996年 | 3篇 |
1994年 | 4篇 |
1993年 | 2篇 |
1992年 | 2篇 |
1991年 | 2篇 |
1987年 | 1篇 |
排序方式: 共有156条查询结果,搜索用时 15 毫秒
2.
3.
4.
基于BDD的组合电路等价性检验方法 总被引:4,自引:1,他引:3
文章分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法,讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其消除方法,然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法,实验结果表明了该方法的有效性。 相似文献
5.
本文提出了一种简化的八波形方法,以描述门时滞故障模拟中的实际波形,并给出了波形的计算方法。八波形方法充分考虑了门输出波形的类型与输入波形的类型和时间因素的关系,比较精确地反映了故障模拟中的实际波形。在八波形描述的基础上,提出了一种δ—事件驱动的故障模拟算法,以确定被测门时滞故障的大小。 相似文献
6.
探讨如何利用针对固定型故障测试产生的比较成熟的算法,结合时滞故障的特点,进行路矩时滞故障的强健测试产生,在十值逻辑完备的基础上,提出最大输入组的概念,减少测试过程中不完善和重复的选择;给出多路回退过程中的目标传播规则,以减少传播过程中的目标个数,加快回退速度;改进了路径敏化方法,强调了对局部结果的保存和利用,减少重复计算,探讨了时滞测试中XOR/NXOR门的直接处理方法,在FAN算法基础上,实现了 相似文献
7.
8.
9.
迁移关系的构建是基于BDD模型检验中的一个重要环节,而建立占内存尽可能小且运算高效的迁移关系一直是难点,通常做法是对迁移关系进行分割.提出一种的对按位分割后的迁移关系进行分组的方法.通过对ISCAS-89中时序电路的试验表明,该方法对其中部分电路是有效可行的. 相似文献
10.