集成电路版图中GPC和PB的相交运算特性

为满足某些EDA算法对版图多边形进行复杂逻辑运算的需求,以函数库GPC和PB中的基本函数为基础,编写C程序对多边形类型数据进行相交运算,将运算结果用图形表示,并利用图形结果分析两个函数库处理多边形相交运算的特性。被分析的多边形不仅包括基本集成电路版图图形,而且涉及了含内孔、自相交等奇异多边形。通过相交运算特性分析比较,指出两个算子函数库各自的适用情况和不适用情况,从而使EDA工具能够根据多边形相交运算类型选用合适的算子函数库。

逻辑函数高阶布尔e偏导数求解算法的实现

针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"与"运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量不敏感.