多输出逻辑优化软件OPLG

来源 :2004年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:chanQ
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
逻辑综合在集成电路设计中是非常重要的一环。本文对多输出逻辑优化软件OPLG进行了研究。文章围绕OPLG的基本框架、OPLG的蕴涵项扩展算法、OPLG的去冗余算法、软件测试、实验结果等进行了论述。
其他文献
本文对关于完全非线性的多值逻辑函数进行了探讨。文章指出,在密码学中一些密码体制的设计与分析,最终可归于多值逻辑函数的设计与分析。文章采用谱分析技术定出了完全非线性函
目的 分析我院临床分离的铜绿假单胞菌(PA)在2006-2011年的分离率及耐药性,并探讨其耐药性变迁规律.方法 收集2006年1月-2011年12月我院住院患儿的临床分离PA药敏试验报告单,
目的 提高临床药师的综合素质、知识水平和临床能力.方法 通过模拟教学,组织卫生部规范化培训的临床药师师资学员进行药师模拟会诊,让学员从不同视角提出会诊意见,带教老师给
BOM是产品结构的技术性描述文件,它表明了产品组件、子件、零件直到原材料之间的结构关系,以及每个组件所需要的各下属部件的数量。本文介绍的方法可灵活地处理各种非线性树
许多关于规划的研究近几年来集中于所谓的反应规划系统。本文对面向反应式规划系统的动态逻辑进行了研究。文章围绕扩展情景演算、FSP动态逻辑等问题进行了论述。
高分辨率熔解(HRM)曲线是一种简单、稳定、低成本、高通量的自动化分析单核苷酸多态性方法,可实现闭管操作,降低污染风险。目前已广泛应用到人类疾病相关基因研究的诸多方面,
【病例】女性患者,42岁,既往对“青霉素、阿莫西林”过敏,过敏表现为全身皮疹伴瘙痒明显,有精神病史18 a。因偏执型精神分裂症,服用利培酮[(商品名:单克,常州四药制药有限公
期刊
目的 通过收集和分析我院2012年度上报的药品不良反应(ADR),了解我院ADR报告的规律及特点.方法 对我院2012年各科室上报的ADR报告进行归类、分析.结果 ADR绝大部分属于一般反
症状和体征是临床用于诊断、鉴别诊断、制定和调整药物治疗方案、判断药物治疗效果和不良反应的重要依据,但应注意的是药物可能会对症状和体征产生影响。符合原发病治疗目的
目的 评价3种选择性5-羟色胺再摄取抑制剂(SSRIs)治疗躯体形式障碍的成本与效果.方法 采用回顾性调查法,抽取我院2010年4月至2011年4月采用SSRI(帕罗西汀、文拉法辛或西酞普