DRM-to-DRC Equivalence Checking with Data Structure Nodes

Resolve Bottlenecks,
Find Innovative SolutionsGenerate Solutions

Solution Overview

Problem

Mis-transformation of design rule manual (DRM) data to design rule checking (DRC) data during the transformation process can lead to incorrect results in verifying the compliance of semiconductor device layouts with design rules.

Innovation Solution

A method and system for determining the equivalence of DRM and DRC data by transforming both into a common data structure format and using a data structure node comparison model, such as a parser, formula model, Boolean algebra, machine learning, NLP, or table look-up model, to ensure accurate transformation.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Adaptability or versatility

If an experienced operator manually transforms DRM data to DRC data, then the transformation can be performed with human judgment and adaptability, but mis-transformation errors can occur and reliability is compromised

Engineering Contradiction:

Improvehuman judgment in transformationVSAvoidtransformation accuracy

Core Design Contradiction:

Adaptability or versatilityVSReliability

Solution Approach 1:

The patent introduces an equivalence check system as an intermediary between DRM data and DRC data. This system includes a data structure node comparison model that automatically verifies whether the transformed DRC data correctly represents the original DRM data, thereby preventing mis-transformation errors while preserving manual transformation flexibility

Inventive Principle:

Principle #24Intermediary (Mediator)

Solution Approach 2:

The patent implements a feedback mechanism where the equivalence check system continuously validates the transformation process. By comparing data structure nodes before and after transformation, the system provides immediate feedback on transformation accuracy, allowing operators to correct errors and ensuring reliable data transformation

Inventive Principle:

Principle #23Feedback

2Productivity

If automated transformation methods are used to convert DRM data to DRC data, then productivity increases and manual errors are reduced, but the complexity of the transformation system increases

Engineering Contradiction:

Improvetransformation speedVSAvoidtransformation system complexity

Core Design Contradiction:

ProductivityVSDevice complexity

Solution Approach 1:

The patent segments the transformation verification process into discrete data structure nodes that can be independently compared. By dividing the complex transformation validation into smaller, manageable node comparisons, the system achieves automated high-speed verification without requiring overly complex monolithic transformation logic

Inventive Principle:

Principle #1Segmentation

Solution Approach 2:

The patent creates a data structure node copy of the original DRM data and compares it with the transformed DRC data. This copying approach enables automated verification by creating a reference version for comparison, simplifying the validation process while maintaining transformation accuracy

Inventive Principle:

Principle #26Copying

Data Source

PatentUS12450412B2Method and system for determining equivalence of design rule manual data and design rule checking data

Publication Date: 2025.10.21 TAIWAN SEMICONDUCTOR MANUFACTURING CO LTD

AI summary

The present disclosure provides a method and a system for determining the equivalence of the DRM data set and the DRC data set. The system retrieves a DRM data set and a DRC data set, and transforms the DRM data set and the DRC data set into a first data structure node and a second data structure node respectively. The system determines whether the first data structure node and the second data structure node are equivalent according to a data structure node comparison model.