论文部分内容阅读
介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用 着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率 最后给出下一步可能的研究方向
在形式验证和ATPG中的布尔可满足性问题
【摘 要】
：
介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用 着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率 最后给出下一步可能的研究方向
【机 构】
：
清华大学自动化系
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
2003年10期
其他文献
目的:改变传统的教学模式,找出与当前高考改革、新型高中教学模式下培养出的新生相适应的,满足新一代青年大学生实际需要的创新型教学模式,顺利完成高中生与大学生的接轨,进
采用模糊的方法来描述方向关系.首先给每个方向定义一个模糊隶属函数,使得目标对象属于某个方向的模糊性可用一个模糊集来描述,9方向关系系统可用9个模糊集来描述;然后在每个模糊集上定义一个聚集算子,使得每个模糊对象和精确对象间的方向关系可用一个3×3的模糊矩阵来描述.
利用系统动力学模型,结合情景分析法,对广州市2012年-2020年工业二氧化碳排放产生量进行模拟预测。通过调整广州市产业结构、科技投入水平、能源结构三个影响因子,设置三种情
在固定床加氢中试装置上,以不同性质的混合柴油为原料,在氢分压7.5 MPa、体积空速1.0 h-1、氢/油体积比800、反应温度350~370℃的条件下,进行柴油中压加氢改质实验,考察了原
文章简单介绍宣城市30万Nm／d液化天然气项目的设计，并对设计中难以把握或容易出错的地方做了重点说明。
摘 要：伴随着现代化建设的快速步伐，追赶效应应运而生，随之带来形式主义的产生和蔓延。中国的现代化发展情况与大多数发展中国家很相似，都处于相对落后的现代化建设中。中国与相类似的国家有一个相同点，就是有超越发达国家快速步伐的体制惯性。对于发达国家只是表层照搬照抄，对于理论只是照本宣科，根本没有结合中国的具体实际情况，导致一些急功近利的行为与建设社会主义现代化的具体实现条件出现了偏差。中国转型期政策不断
智能电网的重要特征是“自愈”，多代理技术在计算机网络自愈等诸多领域都有很多成功的应用案例。文章介绍了多代理技术的工作原理和特征，总结了智能配电网自愈控制的特点及其关
摘 要：河南省在中国的中东部，其省会郑州市是国家重要的中心城市之一。河南省不仅有着深厚的历史文化底蕴，随着社会进步与发展，还展现了现代发展的多彩魅力。两部实景演出让很多人认识了河南省的历史，也让河南省重新以一个现代发展的新姿态站在了人们面前。 关键词：登封少林寺；开封；实景演出；效应 中图分类号：G124；F592.6 文献标志码：A 文章编号：1673-291X（2017）08-0170-0
针对流化催化裂化(FCC)催化剂生产中的细粉分级问题,设计了一种卧轮式气流分级机,系统研究了主、二次风量和分级轮转速等操作参数对其分级性能的影响,并依据流体力学理论计算
随着经济发展和环境要求的提高,清洁生产成为环境保护的重要组成部分,从药耗、电耗、工艺过程等八方面阐述了清洁生产理论在污水处理厂中的应用,与污水处理厂实施清洁生产的