本发明公开了一种曼哈顿版图的多边形的直骨架生成方法、图案匹配方法、存储介质。其中曼哈顿版图的多边形的直骨架生成方法，包括：对多边形的轮廓节点对应的子节点进行排序；从未连接的节点中，选择到对应公共边的距离最短的任意子节点，将该子节点对应的...

本发明公开了一种基于骨架结构的亚分辨率散射条生成方法，其包括：根据SBAR规则表插入初始SBAR骨架；检测任意两个相邻初始SBAR骨架之间的距离，并对距离小于截止距离的两个初始SBAR骨架进行冲突处理得到亚SBAR骨架；对所述亚SBAR...

本发明公开了一种全电压域组合逻辑单元的时序特征的表征方法、存储介质。其中表征方法包括：设定组合逻辑单元的工作环境、参数；选择输出负载loadmin，并改变输入转换时间，进行少量蒙特卡洛仿真建立延时标准差与输入转换时间的关系模型；在亚阈值...

本发明公开了一种瞬态电流脉冲注入模型的生成方法、注入方法、存储介质。单粒子瞬态电流脉冲注入模型的生成方法包括：搭建半导体器件的仿真三维模型；对半导体器件的仿真三维模型的特征曲线进行器件仿真，使仿真软件得到的仿真数据与厂家提供的半导体器件...

本发明公开了一种电路可靠性仿真方法及对应的步长计算方法、存储介质。其中电路可靠性仿真的步长计算方法，包括：设置初始步长；从第i个步长开始，根据电路的当前退化率在第i

本发明提供了一种集成电路良率估计方法及存储器，所述方法包括：将划分集成电路性能成功区域和失败区域的边界在参数空间公式化，表示为边界面公式化方程；计算所述边界面公式化方程和各个参数轴形成的边界面限定出的空间大小；计算所述边界面公式化方程和...

本发明提供了一种片上时钟控制器，其包括第一时钟同步器、第二时钟同步器、脉冲使能模块、测试模式逻辑选择模块及四个时钟信号输入端口shiftClock、atSpeedClock、lbistScanClock、scanDumpClock、一个...

本发明公开了一种基于贝叶斯筛选器与重采样的电路的良率预测方法及系统。其中良率预测方法，包括：采用Scrambled Sobol序列对参数域进行预采样得到预采样点；根据预采样点得到初始失效域以及初始非失效域，并构建初始采样分布，将初始失效...

本发明提供了一种集成电路良率估算方法及存储器，所述方法包括：构建初始的提议分布，并进行如下迭代过程：在构建的提议分布下进行重要性采样，对产生的样本点进行电路仿真，得到每个样本点的性能参数；根据划定的性能边界确定多个失效点，并计算每个失效...

本发明公开了一种将DPI函数编译为可综合语言的方法、仿真的方法及系统。其中将DPI函数编译为可综合语言的方法，根据软件侧的DPI函数的类型，将软件侧的DPI函数编译为可调用软件侧用来与硬件侧通信的底层通信函数，实现软件侧向硬件侧发送数据...

本发明提出了一种等价性验证引擎的切换方法及系统，所述等价性验证引擎的切换方法包括：接收参考电路和与所述参考电路相应的实现电路，其中，所述参考电路与所述实现电路均包括多个比较点；获取所述参考电路与所述实现电路中相互匹配的比较点；计算参考电...

本发明提供了一种布尔可满足性验证方法、系统、验证过程中的CNF生成方法及存储装置，所述布尔可满足性验证中的CNF生成方法包括：在将miter电路的每个节点转换为CNF的过程中，释放后续节点无需调用的CNF的占用内存。采用本发明的技术方案...

本发明公开了一种分支启发计算的优化方法、SAT解算器、存储介质。其中分支启发计算的优化方法，包括：在对合取范式实例进行预处理时，对合取范式实例进行循环化简，直至合取范式实例中不存在单文字子句；采用分支启发算法对预处理后的合取范式实例进行...