Net-Based Circuit Checking for Shielding Net Verification
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing circuit design verification processes are complex and error-prone when identifying nets to shield sensitive nets, leading to inefficient shielding and potential manufacturing defects.
Innovation Solution
A net-based checking framework is introduced, divided into a data preparation process and a verification process, utilizing machine learning techniques and design rule checking to identify and verify nets that can shield sensitive nets, reducing processing requirements and time.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If traditional verification processes are used to identify shielding nets, then comprehensive net analysis can be performed, but the process becomes complex and error-prone
Solution Approach 1:
The verification process is divided into two distinct phases: data preparation and verification. The data preparation phase pre-processes net information and identifies candidate shielding nets, while the verification phase performs the actual violation detection. This segmentation reduces complexity by breaking down the monolithic traditional verification process into manageable, specialized stages.
Solution Approach 2:
The data preparation phase performs preliminary analysis of all nets in the circuit design before the actual verification occurs. Candidate shielding nets are identified and prepared in advance, including their geometric properties and relationships with sensitive nets. This preliminary action reduces the workload and complexity of the subsequent verification phase.
2Reliability
If traditional verification processes are used to identify shielding nets, then all nets can be analyzed, but processing time increases
Solution Approach 1:
The invention extracts and isolates only the relevant nets and geometric properties needed for shielding analysis from the complete circuit design. By focusing verification efforts on identified candidate shielding nets and their interactions with sensitive nets, rather than analyzing all nets equally, processing time is reduced while maintaining identification accuracy.
Solution Approach 2:
The data preparation phase performs preliminary filtering and organization of net data, pre-computing geometric properties and potential shielding relationships before the time-critical verification phase. This advance preparation reduces the computational burden during actual verification, thereby reducing processing time.
3Measurement precision
If detailed shape comparison is performed on all polygons, then violation detection accuracy improves, but processing requirements increase
Solution Approach 1:
The verification process applies detailed shape comparison only to specific polygon pairs that are identified as potentially interacting based on spatial relationships and net assignments. Rather than performing exhaustive comparisons on all polygon combinations, the method focuses computational resources on local regions where violations are most likely to occur, maintaining detection precision while reducing overall processing requirements.
Solution Approach 2:
The invention performs partial shape comparison by focusing on critical geometric properties and relationships that are sufficient for detecting most violations, rather than performing complete and exhaustive shape analysis on all polygons. This partial action approach achieves adequate violation detection precision with reduced computational effort.
Data Source
AI summary
Net-based checking of a circuit design includes obtaining a circuit design comprising a plurality of polygons. Further, a shape of a first polygon of the plurality of polygons, and a shape of a second polygon of the plurality of polygons is determined. The shape of the first polygon differs from a shape of the second polygon. Violations within the circuit design are detected based on a comparison of the first polygon with the second polygon.