【摘 要】
：
组合逻辑环能够减少电路逻辑资源,降低电路功耗,但是其难以被静态时序分析工具分析和计算,且难以生成功能验证向量和自动测试图形向量.针对此问题,提出一种组合逻辑环转化方
【机 构】
：
西安电子科技大学宽带隙半导体国家重点实验室
论文部分内容阅读
组合逻辑环能够减少电路逻辑资源,降低电路功耗,但是其难以被静态时序分析工具分析和计算,且难以生成功能验证向量和自动测试图形向量.针对此问题,提出一种组合逻辑环转化方法,以解决硬件描述语言以及高级语言逻辑综合阶段所面临的组合逻辑环拆分问题.不同于采用三值仿真策略的现有文献,引入了布尔可满足引擎对组合逻辑环电路进行了表征,使用静态逻辑蕴涵完成了环形电路的拆分.同时,根据环形电路的形成机理,提出了拆分组合逻辑环结构的规则,用于冗余向量优化以及非环电路的逻辑推理.实验结果表明,这种算法能够正确地拆分组合逻辑环结构,且转化时间短,转化后的电路规模小.
其他文献
<正>本文案例启示:对放火罪中"足以危害公共安全"的认定,可以从被告人放火焚烧的对象、时间、地点等客观情况、作案的具体环境、勘查的现场燃烧痕迹和残留物、放火现场的安全
本文对不同阶段国外英语教学法进行综述分析,探索出适合中国学生学情的英语教学方法;提出英语教学的建议,提倡中小学教师不要一味追风,结合学生学情进行教学。
北京奥运会日益临近,强化危险物品安全监管工作是奥运安保一项重要任务。按照北京市公安局构建治安防控体系总体要求,针对目前管理工作中存在的问题,危险物品管理工作应当以"
<正>[案情]袁某驾驶小型普通客车沿路行驶时,因对道路情况观察疏忽而撞到潘某,造成小型普通客车受损、潘某受伤,后潘某经医院抢救无效死亡。事故发生后,袁某在事故现场拨打了
目的研究烘焙提香条件对红茶感官品质及主要生化成分的影响。方法系统比较了不同烘焙温度及时间、不同提香温度及烘焙提香组合处理对红茶感官品质及主要生化成分的影响。结果
调查了上海的三个广场,发现满意度不随面积的增加而自然增加,人们对较大面积的广场有更高的要求,影响广场满意度的主要因素是广场气氛、设施和管理方面。调查样本中平面广场
<正>[案情]2009年7月24日17时许,赵某酒后携带装有汽油的铁桶、打火机进入加油站营业厅内要求加油,被油站工作人员劝出后,其在加油站出口处将桶内的汽油倒在身上,再次进入营
<正>笔者曾在2006年第1期《收藏》杂志上发表了《新疆和田玉观赏石初识》一文,就和田玉的收藏及其市场情况作了探讨。近几年和田玉原料及制品的价格犹如一匹脱疆的野马不断飙
<正> 保辜制度是中国古代法律在处理以斗殴为典型代表的伤害案件时,根据加害行为人所用的器物、受害人的伤情等具体情况,由官方按照法律的有关规定而立下期限,责令加害行为人