买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
申请/专利权人:台积电(南京)有限公司;台湾积体电路制造股份有限公司
摘要:本公开涉及用于减少迁移错误的方法和系统。一种方法减少第一网表到第二网表的迁移中的错误,第一和第二网表表示相应的第一和第二半导体工艺技术SPT节点下的电路设计的相应的第一和第二实现方式,至少第二网表被存储在非暂态计算机可读介质上,所述方法包括:针对附加候选检查时序约束列表,该时序约束列表与代表第二实现方式的初始网表相对应;关于逻辑等效性检查LEC上下文,基于附加候选增加比较点的数量,产生第二网表的第一版本;在第二网表的第一版本和第一网表之间执行LEC,从而标识迁移错误;以及修正第二网表的第一版本以减少迁移错误,从而产生第二网表的第二版本。
主权项:1.一种制造半导体器件的方法,所述方法包括:减少第一网表到第二网表的迁移中的错误,所述第一网表和所述第二网表表示相应的第一半导体工艺技术SPT节点和第二半导体工艺技术SPT节点下的电路设计的相应的第一实现方式和第二实现方式,至少所述第二网表被存储在非暂态计算机可读介质上,减少错误包括:针对附加候选检查时序约束列表,所述时序约束列表与代表所述第二实现方式的初始网表相对应;关于逻辑等效性检查LEC上下文,基于所述附加候选来增加比较点的数量,产生所述第二网表的第一版本;在所述第二网表的所述第一版本和所述第一网表之间执行LEC,从而标识迁移错误;以及修正所述第二网表的所述第一版本以减少所述迁移错误,从而产生所述第二网表的第二版本;其中,所述迁移错误的类型包括下列项中的至少一项:非匹配引脚NMP错误;或者非等效引脚NEP错误;其中,检查时序约束列表包括:将所述时序约束列表中的组合电路相应地标识为所述附加候选;并且增加比较点的数量包括:针对所述初始网表的代表所标识的组合电路中的相应的一个组合电路的每个所标识的元件,将所标识的元件转换为补充黑箱,从而产生所述第二网表的所述第一版本。
全文数据:
权利要求:
百度查询: 台积电(南京)有限公司 台湾积体电路制造股份有限公司 用于减少迁移错误的方法和系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。