利用不等BDD检测对称变量

来源 :计算机辅助设计与图形学学报 | 被引量 : 144次 | 上传用户：signet886

【摘要】

：

变量的对称性在逻辑综合与优化、工艺映射中起着非常重要的作用 .如果事先得到变量对称的信息 ,就可以减小解空间 ,提高逻辑验证的效率 .过去 ,人们通常用公式 fxixj=fxjxi检验变量的对称性 .这需要分别建立 fxixj和fxjxi的 BDD图 ,然后检查两 BDD图是否同构 .文中提出一种新算法 ,整个算法流程仅需建立一次 BDD.任何变量对称性的判别遍历 BDD一次即可完成 ,从

【作者】

：

张镭林争辉吕宗伟

【机构】

：

上海交通大学大规模集成电路研究所

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2002年02期

【关键词】

：

对称变量不等蕴含项不等BDD EDA 大规模集成电路 symmetry variables unequal implicant unequal BDD

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

数字人切片数据的硬件加速体绘制

实现了一个PC平台下的体绘制硬件加速算法,并对中国数字人、美国可视化人数据集进行可视化.预处理去除图像背景时,将图像从RGB颜色空间转换到YCbCr颜色空间,然后对Cb分量进行Otsu阈值化处理,用生成的二值图像作为掩码图像去除背景.为支持任意大小的体数据,采取了分块策略,并使用BSP树组织数据块,以生成正确的绘制顺序.此外还设计了一种基于图像的CIELUV颜色空间L分量的梯度向量场的传输函数,并

期刊

体绘制中国数字人可视化人BSP树梯度向量场volume rendering Chinese Digital Human visible human

逻辑框架法在公共改造项目社会评价中的应用——以南京滨江风光带渡口整治改造项目为例

公共项目的社会评价是贯穿工程项目整个生命期的重要组成。利用逻辑框架法（Logical Framework Approach,LFA）进行社会评价,属于在工程管理专业领域应用的定性分析方法。介绍逻

期刊

逻辑框架法社会评价公共项目logical framework approachsocial appraisalpublic reconstruct

基于高斯平滑的自适应角点检测

文中算法首先在曲线尺度空间中通过高斯平滑以消除噪声 ;然后再基于自适应弯曲度计算和角点筛选准则确定角点该算法不需要预先输入参数 ,具有较好的抗干扰性 ,实现简单有效

期刊

计算机图像处理高斯平滑自适应角点检测模糊识别Gaussian smoothing scale space adaptive corner det

三次Bézier曲线间的几何延拓算法

在保持几何连续及光顺的条件下，将一条已知的三次Bézier曲线延拓到另一条与其不相邻接的三次Bézier曲线，其中间媒介同样是三次Bézier曲线，可以是一条，也可以是2条

期刊

BÉZIER曲线几何连续曲线延拓弧长曲线能量曲率变化率Bézier curve geometric continuity c

用整体性思维推进“供给侧改革”——学习习总书记讲话精神的体会

习总书记关于＂供给侧改革＂讲话精神,其实是一个整体性思想,学习贯彻其讲话精神,就要用整体性思维推进＂供给侧改革＂。第一,要遵守＂适度扩大总需求＂前提条件;第二,要正确认识＂供给侧改

期刊

习总书记讲话精神“供给侧改革”创新

声誉对服务供应链的价值探索

摘要：随着信息网络时代的到来，人们的消费理念逐渐趋于个性化、便捷化和时尚化，单纯的实体消费品已经无法满足消费者的意愿，更多的消费者趋于满足多样化的服务产品，自此服务供应链应运而生。声誉作为现代服务业的核心价值之一，将其纳入服务供应链的考虑范畴是大势所趋。通过对声誉及服务供应链的相关介绍，突出声誉对服务供应链的价值，以期引起企业相关领导对声誉的关注和重视，为日后企业的管理决策提供一定的理论支撑。　

期刊

声誉服务供应链价值

基于ICT切片图像的实体模型重建

通过在切片上构造材料域与切片间材料域配准、边界配准和表面识别、体元构造和体元粘合等过程 ,实现实体模型的重构

期刊

ICT切片图像实体模型重建医学断层图像图像配准切片图像处理CTICT reverse engineering solidmodel 3D re

基于反射对称的步态序列识别

利用关键帧的反射对称作为步态特征识别测试序列.反射对称隐含表示了人体行走时胳膊和身体的摆动习惯.在USF数据库上的实验表明,使用反射对称结合频域特征以及人体比例的算法识别率高于不使用反射对称的结果.反射对称不是步态惟一的特征,但易于和其他特征相结合以改进识别结果.文中算法易于实现,而且对于行走速度的变化、背景变化等鲁棒性强.

期刊

步态识别反射对称关键帧gait recognition reflective symmetry key frames

使用输出分组和电路可满足性的等价性验证算法

介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题.同时,注意各个子问题间的有用隐含信息的共享,减小了SAT推理的搜索空间.实验结果表明,该算法是实用有效的.

期刊

等价性验证输出分组电路可满足性equivalence checking output grouping circuit SAT solver

大型园区开发对原住居民家庭的影响——基于南京市几个开发区的调查

根据我国现在城市化发展的现状和有关征地拆迁问题,以南京市为背景,通过问卷结构式访谈方式得到的数据资料,分析大型园区开发项目对原住居民的社交网络和家庭情况的影响,发现

期刊

城市化大型园区开发原住居民影响urbanizationlarge-scale park developmentdevelopmentinfl

利用不等BDD检测对称变量

与本文相关的学术论文