论文部分内容阅读
二元判定图的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点，以标准门的ＢＤＤ为基础，从原始输入到输出，通过逐级拼接，极有效地完成电路的ＢＤＤ构造，另外根据验证和测试的需要，在ＢＤＤ拼接过程中，提出通过可观值的定义获得有效路径的方法。
面向多输出电路的BDD拼接构造
【摘 要】
：
二元判定图的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点，以标准门的ＢＤＤ为基础，从原始输入到输出，通过逐级拼接，极有效地完成电路的ＢＤＤ构造，另外根据验证和测试的需
【机 构】
：
装甲兵工程学院计算机系
【出 处】
：
电子科学学刊
【发表日期】
：
1997年3期
其他文献
在输入ATM网络的业务源中,周期性信元流是很重要的一种.本文精确地分析了一个有限缓存的ATM复接器,其输入业务源由一路周期性信元流、多路随机性贝努利(Bernoulli)信元流和突发性两状态马尔科夫调制贝努利(MMBP)信元流构成.得出了该路周期性信元流的排队时延分布、时延抖动的自相关函数和功率谱.揭示了突发性业务环境下周期性信元流通过ATM复接器的时延抖动行为.计算机模拟验证了分析结果的正确性.
Ⅱ优936是福建省航天育种又一个重要技术成果，2005年通过省农作物品种审定委员会审定，本人主持引进在本所试验以及有代表性的屏城、路下、甘棠示范，结果分析，该组合表现熟期适中
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
会议
目的 对于泌尿外科安全护理工作中开展护理标识的具体方法 以及应用效果施行分析与总结.方法 选取2017年4月—2018年4月接诊的泌尿外科患者100例作为本文观察对象,利用随机数
老子是中国古代一位伟大的思想家,人类历史上第一个定义＂哲学＂的就是他。其主要思想集中反映在《道德经》一书,其思想在企业发展中运用总的说来是以有无关系作为指导企业经营发
习近平总书记强调,要努力构建集中统一、全面覆盖、权威高效的审计监督体系,更好发挥审计在党和国家监督体系中的重要作用。要提升企业内部审计工作水平,关键要从进一步厘清
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
随着在各行各业里质量管理达标之风,质量的观念渗入到各行各业里,电力这个特殊行业首当其冲,中国电力的营运管理有别于制造业或其它行业的管理模式,它既贴近于传统的服务行业