论文部分内容阅读
本文详细介绍了通过合并，消元，逐项检测的方法进行逻辑综合，求解必要质蕴涵项的思路，并对算法的性能进行了简要的分析。
一种快速逻辑综合算法
【摘 要】
：
本文详细介绍了通过合并，消元，逐项检测的方法进行逻辑综合，求解必要质蕴涵项的思路，并对算法的性能进行了简要的分析。
【机 构】
：
信息工程学院计算机工程系
【出 处】
：
信息工程学院学报
【发表日期】
：
1999年4期
其他文献
中国从1990年代进入低生育率国家行列。2000年第五次人口普查时公布TFR只有1.22，2005年小普查时1.33，2010年“六普”时甚至不到1.2。从数据来看，中国的低生育水平已经是“超低型”，就是育龄妇女的总和生育率总体上低于1.3，已经掉入“超低生育陷阱”。其原因有三：在政策上，长期坚持极端的一胎化政策，鼓励独生子女家庭，殊不知这是风险政策和风险家庭，中国从1980年9月25日《公开信》
本文讨论了新旧两种质量观的区别和各自的特点,分析指出6σ质量管理法是一种与新质量观相适应的突破性质量管理战略,这种质量管理战略能够兼顾顾客和企业的利益及需要,从而实
冻土地温控制的基本措施可分为主动和被动两类，但对主动和被动措施如何准确划分，目前在国内外并不一致。国外普遍从能量的观点来进行划分，被动地温控制措施在运行期间不需人为提
应用灰色系统理论,对二灰稳定土抗压强度与其材料关联因子的关联度作分析,找出影响二灰稳定土抗压强度的主要因素,并对其关联因子进行排序。通过实例对二灰稳定土的粘土、石
在现代社会,电子商务成为企业发展的趋势.而企业在电子商务中取得成出忠诚的顾客.本文借鉴优秀网站的先进经验,对企业在电子商务中获得顾客忠诚的主要途径进行了深入的分析.