论文部分内容阅读
本文提出了判别时序电路不可测故障的一种有效的方法。它采用了可以在整个电路中传播未知的初始化特征的可控性计算和符号化的模拟程序来完成，通过标识不可初始化的触发状态和不可判别其肯定值的电路线，该方案可分类和标识出四种类型的不可测试的故障。
时序电路中不可测故障的判别
【摘 要】
：
本文提出了判别时序电路不可测故障的一种有效的方法。它采用了可以在整个电路中传播未知的初始化特征的可控性计算和符号化的模拟程序来完成，通过标识不可初始化的触发状态和
【机 构】
：
陕西三原空军导弹学院计算中心,7138307
【出 处】
：
微电子技术
【发表日期】
：
1996年6期
其他文献
目的 探讨干细胞关键转录因子Sox2和Oct4在肺癌患者中的表达情况及其临床意义。方法 选取2010年1月-2013年12月于河北北方学院附属第一医院（以下简称“我院”）就诊的肺癌患者60
在很多中学生眼里计算机是可爱的“天使”，鼠标一点，大千世界便尽在眼前，并能与四面八方不认识的网友敞开心扉畅谈。可是在父母们的眼里，计算机是天使也是魔鬼，它带给学生们巨大的
<正> 1 悖论与数学探索创新美国数学家哈尔莫斯曾说:"数学真正的组成部分应该是问题和解,问题才是数学的心脏".科学研究始于问题而终于解.创造性思维活动始于对问题的认识,是
采用鸟粪石沉淀处理猪场沼液,出水再用光合细菌复合序批式生物膜反应器（SBBR）进一步处理,优化了鸟粪石沉淀的最佳Mg2+∶NH4+（摩尔比）和光合细菌复合SBBR的最佳污泥停留时间（SRT）。
于2016年8月至2017年1月分别对南方某铅锌锰冶炼区周边(污染区)及大新村(对照区)进行大气降尘干法采集,测定了大气降尘中Cd、Zn、Pb、Mn、Cu、As、Ni、Cr含量,采用富集因子法
<正> 在市场经济条件下,如何推动高产优质高效农业上水平,提高农业自我发展能力,加快农业市场化、现代化进程,北镇县农业产业化的实践,或许可以给我们一点启示。
<正> 随着社会主义市场经济的建立与发展,土地这一特殊商品进入市场,给房地产开发经营带来了机遇,促进了地产市场的繁荣,也给土地管理、地产管理提出了新的课题。几年来,各级
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
诚实守信,自古以来就是我们中华民族的传统美德,也是我们做人的准则,是立身之本。孩子是祖国的未来,因而,加强对孩子诚信品质的教育和培养,是我们的家庭教育中不可缺少的部分
大学生就业问题是一个社会热点问题,虽然各高校的就业数据显示我国应届毕业生就业率高达百分之九十以上,但是作为学生的我们面临的就业压力远没有就业报告上所说的那么小,所