US 12,450,412 B2
Method and system for determining equivalence of design rule manual data and design rule checking data
Chin-Chou Liu, Hsinchu County (TW); Yi-Kuang Lee, Hsinchu (TW); and Lie-Szu Juang, Saratoga, CA (US)
Assigned to TAIWAN SEMICONDUCTOR MANUFACTURING COMPANY LTD., Hsinchu (TW)
Filed by TAIWAN SEMICONDUCTOR MANUFACTURING COMPANY LTD., Hsinchu (TW)
Filed on Sep. 23, 2023, as Appl. No. 18/473,209.
Application 18/473,209 is a continuation of application No. 17/392,962, filed on Aug. 3, 2021, granted, now 11,842,133.
Application 17/392,962 is a continuation of application No. 16/847,386, filed on Apr. 13, 2020, granted, now 11,120,186, issued on Sep. 14, 2021.
Claims priority of provisional application 62/908,017, filed on Sep. 30, 2019.
Prior Publication US 2024/0012971 A1, Jan. 11, 2024
Int. Cl. G06F 30/3323 (2020.01); G03F 1/70 (2012.01); G06F 30/392 (2020.01); G06F 40/20 (2020.01); G06F 111/04 (2020.01); G06F 111/10 (2020.01); G06F 119/16 (2020.01)
CPC G06F 30/3323 (2020.01) [G03F 1/70 (2013.01); G06F 30/392 (2020.01); G06F 40/20 (2020.01); G06F 2111/04 (2020.01); G06F 2111/10 (2020.01); G06F 2119/16 (2020.01)] 20 Claims
OG exemplary drawing
 
1. A method, comprising:
retrieving a design rules manual (DRM) data set and a design rules check (DRC) data set, wherein the DRM data set corresponds to the DRC data set;
transforming the DRM data set and the DRC data set into a first data structure node and a second data structure node respectively; and
determining whether a first content of the first data structure node and a second content of the second data structure node are equivalent according to a data structure node comparison model,
wherein the first content and the second content include formula model parsed contents, Boolean algebra expressions, natural language processing (NLP) expressions or tables.