论文部分内容阅读
本文讨论了ＭＯＳ电路多值开关级代数表达式的三种标准结构，给出了将多值开关级表达式转换成布尔表达式的定理，基于这些理论，提出了ＭＯＳ电路开关级形式验证的一种方法。
多值开关级代数在MOS电路形式验证中的应用
【摘 要】
：
本文讨论了ＭＯＳ电路多值开关级代数表达式的三种标准结构，给出了将多值开关级表达式转换成布尔表达式的定理，基于这些理论，提出了ＭＯＳ电路开关级形式验证的一种方法。
【机 构】
：
上海铁道学院计算机工程系
【出 处】
：
计算机学报
【发表日期】
：
1994年3期
其他文献
11月6—7日．农业部兽医局举办农业部兽医系统2010年第六次集体学习活动暨局理论中心组学习活动．认真学习领会党的十七届五中全会精神．围绕“夯实一个基础”和“确保3个安全”目
10月份．畜产品价格继续上涨，畜禽饲料产量稳步增加：受气温降低的影响，水产饲料产量大幅下滑．但与去年同期相比仍然有一定的涨幅。根据中国饲料工业协会信息中心市场部重点跟踪的16
农业部近日发出紧急通知，对当前农机抗灾减灾工作进行再动员再部署，要求各级农机化主管部门进一步增强责任感和紧迫感，抓紧调备农机具开展作业，切实做好农机抗灾救灾工作。
目的评价临床常用4种内固定方法对髌骨移位骨折的治疗效果。方法选择126例不同病因所致的新鲜髌骨移位骨折者,按手术方法分为钢丝环扎组19例,AO张力带组41例,钛合金髌骨爪组2
目的探讨闭合复位经皮锁定钢板固定治疗胫骨平台骨折的临床效果。方法采用闭合复位经皮锁定钢板内固定治疗胫骨平台骨折48例,其中SchatzkerIV型9例,SchatzkerV型26例,Schatz-
本文依据系统结构同构化基本原理，提出了一种同构化系统设计表现技术－Ｚｈｏｕ图，它不仅形象直观，使用简便，而且便于人工绘制，易于计算机辅助设计，并有利于提高软件开发生产率与实现系统设计
ALT是反映肝功能受损的敏感指标,妊娠期间由于胎儿生长发育的需要,体内碳水化合物代谢增加,肝脏负荷加重,妊娠后期肝血流相对减少,同时长大的胎盘也可分泌少量的ALT入血,因此
无冲突访问题理论是多年为国际学术界一直关注的问题，新型非线性扭斜存储方案的提出受到了Ｓｔｏｎｅ，Ｂａｃｈｌｅｒ等著名学者的高度评价，已经导致了新的ＳＩＭＤ计算机体系结构的设计，本文旨在分析该方案所需的
目的探讨高血压患者临床治疗效果,为临床治疗提供依据。方法将治疗组81例采用西医综合治疗与对照组81例采用中医治疗进行疗效比较观察。结果 2组疗效比较：治疗组：显效47例（58.02