全定制电路功能模型提取的若干新算法

来源 :计算机辅助设计与图形学学报 | 被引量 : 5次 | 上传用户:xiaosongs
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
开发了一个全定制电路功能模型自动提取工具——TranSpirit,并提出了一些关键算法.其中,串并压缩算法解决了存在辅助预充管或者分叉结构情况下串并压缩不彻底的问题;动态电路提取算法只需要对上拉网络和下拉网络的逻辑进行分析,就可以准确地提取动态电路的类型和结构信息.此外,提出了一种通用的三态门分析算法,可以处理各种复杂的三态门结构.采用逐级推进的方法,实现了一种更为高效的传输管电路分析算法.实验结果表明,TranSpirit可以处理微处理器设计中的各种常用电路,具有很高的模型提取速度.
其他文献
提出一种改进的基于时间帧展开的时序电路等价验证算法,其来源于模型检查中的基于数学归纳的验证算法,在使用并简化了SAT问题中不可满足子集提取过程后,将基本条件检查和归纳检查合并处理.为了能在时间帧展开过程中减少状态搜索空间,利用结构不动点技术并提出了准动态唯一状态约束等改进的方法.实验表明,随着时间帧的不断展开,文中算法运行时间的增长速度明显慢于基于数学归纳法的验证算法,其适合验证经过时序优化后的电
实时绘制光线散射效果是计算机图形学中的一个难点.利用光线散射的特性,提出一种多项式近似的方法;通过解析双层介质光线散射公式,能实现实时地绘制双层介质中不同光源分布、不同介质特性下的光线散射效果.
蛋白质结构与功能之间的关系非常密切,蛋白质分子体系中的各种相互作用力在空间叠加形成一个综合性作用(分子场),对揭示蛋白质结构与功能之间的内在关系具有重要意义.提出了基于线性标度量子化学理论的蛋白质分子场快速计算方法,利用分而治之的思想,根据氨基酸残基把一个蛋白质大分子分解成若干片段,然后对每个片段单独计算,最后对各片段的重要区域在空间网格点上进行拼接,获得完整的三维分子场数据;为了提高计算速度,还
在分析坐便器等卫生陶瓷产品结构和研发过程的基础上,建立了其产品CAD系统的整体架构和产品设计流程,运用UG/OPEN KF实现了设计参数的集成,采用NURBS曲线和组合曲线作为特征控制曲线构建特征模型,解决了产品多样性、参数化特征相关及模型修改等关键技术问题.以通用CAD软件UG为平台,运用VC++和UG/OPEN进行二次开发,建立了卫生陶瓷坐便器产品的CAD系统.该系统可实现产品的快速设计,对提
针对粒子测速系统固定窗口分析对复杂流场适应能力较低的问题,提出了一种改进的处理方法:利用加权平均的方法对后续图像的预测处理,根据窗口内数据的相关程度与粒子分布浓度来对分析窗进行迭代选择.最后,利用标准粒子图像对该方法进行了仿真验证,证明了其可靠性与实用性.
围绕更好地实现对人才的培养,针对传统在线教育互动性差的问题,提出一种基于慕课的在线教学系统。结合高职院校慕课的教学需求和特点,利用B/S+MVC架构对系统的整体架构进行搭
构造了一种具有初步生命特征的可变形模型——蠕虫模型·该模型包含神经中枢、视觉、触觉和运动系统,具有记忆、认知和支配躯体运动等功能;能智能地处理多种复杂情况,利用综合信息进行图像分割,具有常规图像分割方法不具备的能力·应用实例表明,该模型可以将胼胝体从二维MR矢状位图像中自动、完整地分割出来·对于边界有间断的较复杂的图像,该模型的优势更加明显·