摘要：针对传统的艺术画廊模型及其模型的变形在实际应用中无法处理诸如可用守卫数受限、只需监控离散目标点等情形,提出一种基于带权值目标点的可见覆盖的变形模型及其求解算法.首先利用角扫描技术得到每个目标点的可见多边形,然后通过对这些可见多边形进行几何求交、几何求差操作来得到若干等价目标可见区域,再依据每个区域对应的可见目标点集将所提出的变形模型转化为经典的集合最大权值覆盖问题,最后利用整数线性规划方法对其求解,得到最终需要的守卫数及放置位置.大量的实验结果表明,该算法是正确和有效的.

摘要：为了兼顾模拟集成电路设计优化的求解精度和计算效率,提出一种基于正项式模型修正技术的几何规划优化方法.首先将模拟集成电路的设计目标与约束简化为正项式模型,然后在采用几何规划方法迭代优化的过程中利用晶体管级SPICE仿真不断修正这一正项式模型.实例表明,与传统基于公式的优化方法和基于仿真的优化方法相比,该方法能够在尽量保证计算效率和全局最优解的前提下使优化精度满足晶体管级SPICE仿真的要求.

摘要：针对无向图同构的判定问题,一种层次化的基于谱分析的同构判定算法.比较两图的顶点数、边数以及度数序列对图进行预同构判定;然后对具有唯一Fiedler向量的图通过层次化的谱分析算法进行再次同构判定.与最具代表性的同构判定算法Nauty相比,随着判定图的规模增大,该算法对于规则网格图和固定度数图具有更高的同构判定效率.

摘要：提出采用一种规范化的香农小波(distributed approximation function,SGWD)逼近算法建立模拟电路单元模块的行为级模型.为降低逼近的边界误差,同时提出了周期性展开和偶对称映射2种预处理算法.周期性展开算法需要对电路模块的原始I/O函数做一定变形,构造出周期函数后再进行逼近;偶对称映射算法则是将I/O函数在边界点处进行偶对称翻转,然后采用SGWD逼近算法建模.与传统的建模方法,如多项式逼近等算法相比,该方法结合了边界误差降低技术的SGWD逼近算法具有更低的计算复杂度,并能达到更高的建模精度.

摘要：电压信号的非线性问题和多输入跳变现象给时序分析带来了严重挑战.为更好地解决此问题,文中设计电路对门单元输入端和内部节点间的密勒电容进行了验证,从器件结构上分析了其来源,并通过引入该电容改进了已有多输入跳变电流源模型,以获得更高的模型精度;同时将二输入门单元模型扩展到多输入门单元,并详述了建模方法.多种门单元上的数值实验结果表明,与已有模型相比,在可接受的时间开销内,文中模型能够显著地提高门单元时延和输出波形的仿真精度.

摘要：针对总线互连电路 ,提出了一种基于电路并行结构的电路方程建立方法 该方法所建立的方程的系数矩阵均具有对称带状特性 ,且矩阵带宽大小等于互连线数目的两倍加一 与传统的改进节点电压方法相比 ,该方法显著地提高了总线互连电路分析的效率 ,可以被方便地运用到现有的电路模拟工具中 。

摘要：针对集成电路设计阶段的重要步骤之一——热分析中的稳态分析问题,将多线程并行计算技术和目前最先进的空间自适应多重网格方法相结合,提出一种基于多核并行空间自适应多重网格的热分析方法.根据CPU的核数对芯片进行区域划分,并根据划分情况构造适用于块Jacobi迭代的分块热导矩阵,每一个划分区域对应一个矩阵子块.对全局的稳态热分析问题采用块Jacobi迭代法,每一次块Jacobi迭代需要并行地计算每个子块方程组,每个子块方程组的计算采用空间自适应多重网格方法;用八叉森林数据结构记录每个子块的网格层次信息,为多重网格计算提供不同网格层次下的热导矩阵.实验结果表明,文中方法在保证稳态热分析精度的前提下,在32核CPU上可以达到近似线性的理想加速比,能够有效地应用于集成电路设计流程,提高热分析效率.

摘要：超深亚微米下SoC芯片的物理设计面临很多挑战性的难题,如果仅使用传统芯片设计流程,耗时长且难以达到设计收敛,必须探索新的设计方法学来加速设计进程.以一块0.18μm工艺下200万门的无线数据传输芯片为例,应对超深亚微米下新的设计挑战,论述了在布局规划、电压降、信号完整性、可制造性设计等方面的解决方案,提出了设计方法学上的改进,提高了后端设计的效率和质量.

摘要：提出一种模拟电路行为级自动建模的方法·通过构建节点代数方程确定系统结构描述,利用小波配置方法建立所有基本单元的行为级描述,最终建立系统行为级模型,并据此开发了自动建模软件·所建模型面向模拟电路硬件描述语言的工业标准形式,在保证较高精度的同时,在仿真速度上与晶体管级描述相比具有明显的优势·

摘要：为了进一步提高现有互连电路模型降阶方法的精度和效率,提出一种基于时域梯形法差分的互连线模型降阶方法.首先将互连电路的时域方程用梯形法差分离散后获得一种关于状态变量的递推关系,形成了一个非齐次Krylov子空间;然后利用非齐次Arnoldi算法求得非齐次Krylov子空间的正交基,再通过正交基对原始系统进行投影得到降阶系统.该算法可以保证时域差分后降阶系统和原始系统的状态变量在离散时间点的匹配,保证时域降阶精度,同时也保证了降阶过程的数值稳定性及降阶系统的无源性.与现有的时域模型降阶方法相比,文中算法可降低计算复杂度;与频域降阶方法相比,由于避免了时频域转换误差,其在时域具有更高的精度.