luke
/
magic
mirror of https://github.com/RTimothyEdwards/magic.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
magic/drc/drc.h

300 lines
9.8 KiB
C
Raw Normal View History

Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
/*
* drc.h --
*
* Definitions for the DRC module.
*
Updates from running the fix-ending-whitespace script.
2020-05-23 23:13:14 +02:00
* *********************************************************************
* * Copyright (C) 1985, 1990 Regents of the University of California. *
* * Permission to use, copy, modify, and distribute this *
* * software and its documentation for any purpose and without *
* * fee is hereby granted, provided that the above copyright *
* * notice appear in all copies. The University of California *
* * makes no representations about the suitability of this *
* * software for any purpose. It is provided "as is" without *
* * express or implied warranty. Export of this software outside *
* * of the United States of America may require an export license. *
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
* *********************************************************************
*
* Needs to include: magic.h database.h
*
* rcsid $Header: /usr/cvsroot/magic-8.0/drc/drc.h,v 1.6 2010/09/20 21:13:22 tim Exp $
*/
#ifndef _DRC_H
#define _DRC_H
#include "database/database.h"
/* ----------------- component of DRC table ---------------------------- */
typedef struct drccookie
{
int drcc_dist; /* Extent of rule from edge. */
unsigned char drcc_mod; /* Fractional part of drcc_dist */
int drcc_cdist; /* Size of corner extension.* */
unsigned char drcc_cmod; /* Fractional part of drcc_cdist */
TileTypeBitMask drcc_mask; /* Legal types on RHS */
TileTypeBitMask drcc_corner; /* Types that trigger corner check */
Made a small change to add a flag to the DRC rules to denote whether the rule is a normal database rule or a CIF-DRC rule. For the latter, the flag is used when substituting for escape strings in the "why" rule explanation to produce the correct value in microns.
2020-10-15 03:41:50 +02:00
unsigned short drcc_flags; /* Miscellaneous flags, see below. */
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
int drcc_edgeplane; /* Plane of edge */
int drcc_plane; /* Index of plane on which to check
* legal types. */
Modified the handling of "why" strings in the DRC mechanism, so that DRC records contain an index into a string array instead of containing a copy of a string. This is preliminary to changing the way the DRC error plane is painted, so that the types painted will mark the error type. This will (1) allow "drc why" to simply scan the DRC error plane rather than running the DRC engine, (2) allow DRC errors to be counted by area rather than by tile, and (3) let the DRC count be the same whether done by "drc listall why" or "drc count".
2020-02-25 19:57:41 +01:00
int drcc_tag; /* Tag to explanation of error found */
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
struct drccookie *drcc_next;
} DRCCookie;
Modified the handling of "why" strings in the DRC mechanism, so that DRC records contain an index into a string array instead of containing a copy of a string. This is preliminary to changing the way the DRC error plane is painted, so that the types painted will mark the error type. This will (1) allow "drc why" to simply scan the DRC error plane rather than running the DRC engine, (2) allow DRC errors to be counted by area rather than by tile, and (3) let the DRC count be the same whether done by "drc listall why" or "drc count".
2020-02-25 19:57:41 +01:00
/* These DRC tags in DRCcookie are predefined. */
#define DRC_ARRAY_OVERLAP_TAG 1
#define DRC_OVERLAP_TAG 2
#define DRC_SUBCELL_OVERLAP_TAG 3
Substantially overhauled the way that the DRC checker finds and processes "interaction areas". This should eliminate weirdnesses where errors will fail to show up in a subcell that does not interact with paint or other subcells in the top level edit cell. These errors cannot be reported directly in the top level cell, but a new error message has been created to direct the user to check the subcell for errors. Also: Modified the toolkit procedures to force DRC to be run on newly created or modified parameterized cell layouts. There is some oddity about the process that causes DRC errors to be delayed unless a print statement is put before the DRC check; I would like to investigate this further.
2020-10-15 23:31:20 +02:00
#define DRC_IN_SUBCELL_TAG 4
Added an "off-grid geometry" check, in two versions. The simple one is an "off_grid" DRC type, which can be used to check geometry that is below the manufacturing grid. Normally magic prevents the grid from being subdivided below the manufacturing grid, but this limit can be removed and replaced by DRC checks to check for such errors in a GDS file of unknown origin. The second version looks for interactions between subcells that end up with intersections of non-manhattan geometry landing on points that are not on the database internal grid. Such errors cannot be seen by magic's DRC engine by definition, and so must be detected while flattening geometry for the DRC checks.
2021-02-04 23:35:43 +01:00
#define DRC_OFFGRID_TAG 5
Modified the handling of "why" strings in the DRC mechanism, so that DRC records contain an index into a string array instead of containing a copy of a string. This is preliminary to changing the way the DRC error plane is painted, so that the types painted will mark the error type. This will (1) allow "drc why" to simply scan the DRC error plane rather than running the DRC engine, (2) allow DRC errors to be counted by area rather than by tile, and (3) let the DRC count be the same whether done by "drc listall why" or "drc count".
2020-02-25 19:57:41 +01:00
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
/* *This is size "int" because it holds an area for DRC_AREA rules, */
/* and therefore may have twice the bit length of a normal rule distance. */
/* DRCCookie flags:
* DRC_FORWARD: Rule applies from left to right (or bottom to top).
* DRC_REVERSE: Rule applies from right to left (or top to bottom).
* DRC_BOTHCORNERS: Must make corner extensions in both directions.
* DRC_OUTSIDE: Rule applies only to the outside edge of the rule area.
* DRC_TRIGGER: Violation of rule triggers a secondary rule.
*
* All other flags denote special DRC rules that do not use the standard 4-way
* edge processing.
*/
Corrected an issue with non-Manhattan tiles, caused by the fact that the "width" rule is assumed to be symmetric, and not checked in all four directions, as that would be redundant. But non-Manhattan tiles are not symmetric and must be checked all four directions. Implemented in a way that does not increase the DRC processing time.
2022-04-20 23:12:58 +02:00
#define DRC_FORWARD 0x0000
#define DRC_REVERSE 0x0001
#define DRC_BOTHCORNERS 0x0002
#define DRC_TRIGGER 0x0004
#define DRC_BENDS 0x0008
#define DRC_OUTSIDE 0x0010
#define DRC_AREA 0x0020
#define DRC_OFFGRID 0x0040
#define DRC_MAXWIDTH 0x0080
#define DRC_MAXWIDTH_BOTH 0x0100
#define DRC_RECTSIZE 0x0200
#define DRC_ANGLES_45 0x0400
#define DRC_ANGLES_90 0x0800
#define DRC_SPLITTILE 0x1000
Added an "off-grid geometry" check, in two versions. The simple one is an "off_grid" DRC type, which can be used to check geometry that is below the manufacturing grid. Normally magic prevents the grid from being subdivided below the manufacturing grid, but this limit can be removed and replaced by DRC checks to check for such errors in a GDS file of unknown origin. The second version looks for interactions between subcells that end up with intersections of non-manhattan geometry landing on points that are not on the database internal grid. Such errors cannot be seen by magic's DRC engine by definition, and so must be detected while flattening geometry for the DRC checks.
2021-02-04 23:35:43 +01:00
#define DRC_NONSTANDARD (DRC_AREA|DRC_MAXWIDTH|DRC_RECTSIZE\
Added new tech DRC rule option "angles 45-only", which handles rules such as "No 90 degree bends on transistors".
2022-04-20 22:16:20 +02:00
|DRC_ANGLES_90|DRC_OFFGRID)
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
Made a small change to add a flag to the DRC rules to denote whether the rule is a normal database rule or a CIF-DRC rule. For the latter, the flag is used when substituting for escape strings in the "why" rule explanation to produce the correct value in microns.
2020-10-15 03:41:50 +02:00
/* More flags for indicating what the rule type represents */
Corrected an issue with non-Manhattan tiles, caused by the fact that the "width" rule is assumed to be symmetric, and not checked in all four directions, as that would be redundant. But non-Manhattan tiles are not symmetric and must be checked all four directions. Implemented in a way that does not increase the DRC processing time.
2022-04-20 23:12:58 +02:00
#define DRC_CIFRULE 0x2000
Made a small change to add a flag to the DRC rules to denote whether the rule is a normal database rule or a CIF-DRC rule. For the latter, the flag is used when substituting for escape strings in the "why" rule explanation to produce the correct value in microns.
2020-10-15 03:41:50 +02:00
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
#define DRC_PENDING 0
#define DRC_UNPROCESSED CLIENTDEFAULT
#define DRC_PROCESSED 1
/*
* Background DRC (DRC Idle proc) for Tcl-based Magic
*/
#ifdef MAGIC_WRAPPER
enum { DRC_NOT_RUNNING, DRC_IN_PROGRESS, DRC_BREAK_PENDING };
extern unsigned char DRCStatus;
#endif
/*
* States of the background checker. This allows us to force an off state
* during initialization while allowing the startup scripts to set the
* state on or off.
*/
enum { DRC_SET_OFF, DRC_SET_ON, DRC_NOT_SET };
/* This is client data passed down through the various DRC checking
* routines, and contains information about the area and rule being
* checked.
*/
struct drcClientData
{
CellDef * dCD_celldef; /* CellDef, plane and area to DRC. */
int dCD_plane;
Rect * dCD_rect;
Tile * dCD_initial; /* Initial tile for search (left side
Updates from running the fix-ending-whitespace script.
2020-05-23 23:13:14 +02:00
* for forward rules, right for reverse
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
* rules).
*/
Rect * dCD_clip; /* Clip error tiles against this. */
int * dCD_errors; /* Count of errors found. */
int dCD_radial; /* Radial check for corner extensions */
DRCCookie * dCD_cptr; /* Rule being checked. */
Rect * dCD_constraint; /* Constraint area from rule. */
Rect * dCD_rlist; /* Multiple constraints for triggered rules */
int dCD_entries; /* Number of constraints for triggered rules */
void (* dCD_function)(); /* Function to call for each
* error found. */
ClientData dCD_clientData; /* Parameter for dCD_function */
};
/* Describes a cell whose contents require design-rule checking of
* some sort. These are linked together for processing by the
* continuous checker.
*/
#define DRCYANK "__DRCYANK__" /* predefined DRC yank buffer */
typedef struct drcpendingcookie
{
CellDef *dpc_def;
struct drcpendingcookie *dpc_next;
} DRCPendingCookie;
Reverted the "drc count" command to the way it was. There is more to be investigated here. I am no longer sure why I removed the cell search from DRC count, but it appears that the cell search is non-functional, and it should be determined why. There is no particular reason not to have a DRC count search. It could be implemented such that "list" vs. "listall" counts the top cell vs. all cells. First it must be determined why there are no subcell counts.
2020-02-25 03:47:44 +01:00
/* Structure used to pass back lists of cell definitions and error tile counts */
typedef struct drccountlist
{
CellDef *dcl_def;
int dcl_count;
struct drccountlist *dcl_next;
} DRCCountList;
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
/* Structure used to keep information about the current DRC style */
typedef struct drckeep
{
struct drckeep *ds_next;
char *ds_name;
} DRCKeep;
/*
* Structure defining a DRC style
*/
typedef struct drcstyle
{
char ds_status; /* Status: Loaded, not loaded, or pending */
char *ds_name; /* Name of this DRC style */
DRCCookie *DRCRulesTbl[TT_MAXTYPES][TT_MAXTYPES];
TileTypeBitMask DRCExactOverlapTypes;
int DRCScaleFactorN; /* Divide dist by this to get magic units */
int DRCScaleFactorD; /* Multiply dist by this to get magic units */
int DRCTechHalo; /* largest action distance of design rules */
int DRCStepSize; /* chunk size for decomposing large areas */
Added an "off-grid geometry" check, in two versions. The simple one is an "off_grid" DRC type, which can be used to check geometry that is below the manufacturing grid. Normally magic prevents the grid from being subdivided below the manufacturing grid, but this limit can be removed and replaced by DRC checks to check for such errors in a GDS file of unknown origin. The second version looks for interactions between subcells that end up with intersections of non-manhattan geometry landing on points that are not on the database internal grid. Such errors cannot be seen by magic's DRC engine by definition, and so must be detected while flattening geometry for the DRC checks.
2021-02-04 23:35:43 +01:00
unsigned short DRCFlags; /* Option flags */
Modified the handling of "why" strings in the DRC mechanism, so that DRC records contain an index into a string array instead of containing a copy of a string. This is preliminary to changing the way the DRC error plane is painted, so that the types painted will mark the error type. This will (1) allow "drc why" to simply scan the DRC error plane rather than running the DRC engine, (2) allow DRC errors to be counted by area rather than by tile, and (3) let the DRC count be the same whether done by "drc listall why" or "drc count".
2020-02-25 19:57:41 +01:00
char **DRCWhyList; /* Indexed list of "why" text strings */
int DRCWhySize; /* Length of DRCWhyList */
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
PaintResultType DRCPaintTable[NP][NT][NT];
} DRCStyle;
Modifed the DRC section of the techfile to add two additional behaviors: (1) An additional syntax for "widespacing" that allows both the triggering metal's width AND run-length, which is typical of rules in 65nm-and-below processes; and (2) a new "option" statement for the DRC section, with (for now) one possible flag "wide-width-noninclusive", indicating that the metal width given for "widespacing" rules means that a violation is only triggered for material with a width greater than the given rule width (as opposed to the default interpretation of a width greater than or equal to the given rule width).
2018-09-19 23:04:13 +02:00
/* flag values used by DRCFlags */
/* DRC_FLAGS_WIDEWIDTH_NONINCLUSIVE: If set, indicates that the ruleset */
/* defines "wide" as material of MORE THAN the given DRC rule width value, as */
/* opposed to the default behavior, which is to define "wide" as material of */
/* AT LEAST the given DRC rule width value. */
/* (Note that at least for now, there is no similar flag for "maxwidth" rules, */
/* which are always interpreted as inclusive, meaning that material of the */
/* exact width of the DRC rule width value is legal.) */
#define DRC_FLAGS_WIDEWIDTH_NONINCLUSIVE 0x01
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
/* Things shared between DRC functions, but not used by the
* outside world:
*/
extern int DRCstatEdges; /* counters for statistics gathering */
extern int DRCstatSlow;
extern int DRCstatRules;
extern int DRCstatTiles;
extern int DRCstatInteractions;
extern int DRCstatIntTiles;
extern int DRCstatCifTiles;
extern int DRCstatSquares;
extern int DRCstatArrayTiles;
#ifdef DRCRULESHISTO
# define DRC_MAXRULESHISTO 30 /* Max rules per edge for statistics */
extern int DRCstatHRulesHisto[DRC_MAXRULESHISTO];
extern int DRCstatVRulesHisto[DRC_MAXRULESHISTO];
#endif /* DRCRULESHISTO */
extern int DRCTechHalo; /* Current halo being used */
extern int DRCStepSize; /* Current step size being used */
extern DRCPendingCookie * DRCPendingRoot;
extern unsigned char DRCBackGround; /* global flag to enable/disable
* continuous DRC
*/
extern bool DRCEuclidean; /* global flag to enable/disable
* Euclidean distance measure
*/
extern int dbDRCDebug;
extern bool DRCForceReload; /* TRUE if we have to reload DRC on a
* change of the CIF output style
*/
extern DRCKeep *DRCStyleList; /* List of available DRC styles */
extern DRCStyle *DRCCurStyle; /* Current DRC style in effect */
extern CellDef *DRCdef; /* Current cell being checked for DRC */
extern CellUse *DRCuse, *DRCDummyUse;
Updates from running the fix-ending-whitespace script.
2020-05-23 23:13:14 +02:00
/*
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
* Internal procedures
*/
extern void drcPaintError();
extern void drcPrintError();
extern int drcIncludeArea();
extern int drcExactOverlapTile();
extern void drcInitRulesTbl();
Corrected drcAssign for use with CIF drc rules, where the check for plane is not relevant and can generate false-positive error messages (although no actual errors occur).
2019-09-19 20:33:30 +02:00
extern void drcAssign();
extern void drcCifAssign();
Modified the handling of "why" strings in the DRC mechanism, so that DRC records contain an index into a string array instead of containing a copy of a string. This is preliminary to changing the way the DRC error plane is painted, so that the types painted will mark the error type. This will (1) allow "drc why" to simply scan the DRC error plane rather than running the DRC engine, (2) allow DRC errors to be counted by area rather than by tile, and (3) let the DRC count be the same whether done by "drc listall why" or "drc count".
2020-02-25 19:57:41 +01:00
extern int drcWhyCreate();
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
/*
* Exported procedures
*/
extern int DRCGetDefaultLayerWidth();
extern int DRCGetDefaultLayerSpacing();
Fixed lefWrite, which was not including drc.h and so was messing up one of the arguments to the DRC technology query. Also, drc/drc.h itself did not export that particular function, so it was added.
2020-04-08 02:08:42 +02:00
extern int DRCGetDefaultWideLayerSpacing();
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
extern int DRCGetDefaultLayerSurround();
Modified the configure scripts and makefile per Proppy's comments in github issue #149. This causes magic to no longer write log files for "make" and "make install" but will properly exit with a non-zero return code on any error during compile. Also: Corrected the command "tech drc surround <type1> <type2>" so that it now returns the correct value when <type1> and <type2> are in the same plane. Added new command "tech drc directional <type1> <type2>" which works the same way as "tech drc surround" except for directional surround rules. Used this to generate vias from "def write" with the correct metal surround amounts included in the via definiton. The route analysis then ignores tile slivers that make up the surrounding material around contacts. Also implemented a method that handles routes that are made of multiple thin tiles due to the maximum horizontal stripes rule. Now magic handles "def write" well except for not dealing with non-minimum-width routes unless they're specifically called out as "special" nets.
2022-03-29 22:52:01 +02:00
extern int DRCGetDirectionalLayerSurround();
Problem apparently stems from the routine not being in the header file, so corrected that, too.
2020-11-10 17:11:41 +01:00
extern int DRCInteractionCheck();
Corrected the handling of DRC in cell instance arrays so that it matches the handling of subcell instances generally. Previously it would check the interaction between neighboring cells in an array without regard to any material in the parent cell which might remove those errors; consequently, the array would have to be DRC clean by itself in order for the parent cell to show as DRC clean. The array check has been moved inside the DRCInteractionCheck() routine, so that it runs only where arrayed instances do not interact with anything else. Within interaction areas, the area is flattened and checked, so the array check is not needed.
2020-11-11 17:50:16 +01:00
extern int drcArrayFunc();
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
extern void DRCTechInit();
extern bool DRCTechLine();
extern bool DRCTechAddRule();
extern void DRCTechStyleInit();
extern void DRCTechFinal();
extern void DRCTechRuleStats();
extern void DRCTechScale();
extern void DRCReloadCurStyle();
extern void DRCInit();
extern void DRCContinuous();
extern void DRCCheckThis();
extern void DRCRemovePending();
extern void DRCPrintRulesTable();
extern void DRCWhy();
extern void DRCPrintStats();
extern void DRCCheck();
Reverted the "drc count" command to the way it was. There is more to be investigated here. I am no longer sure why I removed the cell search from DRC count, but it appears that the cell search is non-functional, and it should be determined why. There is no particular reason not to have a DRC count search. It could be implemented such that "list" vs. "listall" counts the top cell vs. all cells. First it must be determined why there are no subcell counts.
2020-02-25 03:47:44 +01:00
extern DRCCountList *DRCCount();
Tackling a section of code with poor performance in extraction. The extSubtree() routine cuts a layout into squares and extracts each separately, checking for subcell interactions. In each square it parses all labels looking for unconnected ones. This section of code not only parses all labels M x N times, but it then marks interaction areas where there may be none, forcing additional unnecessary processing. This commit makes the first quick optimization, which is to change the return value of DRCFindInteractions() from boolean to integer, allowing it to return a value indicating that there are no subcells in the area. This prevents the loop through labels from happening in cases where there can never be interactions. More to come.
2022-02-20 23:36:49 +01:00
extern int DRCFind();
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
extern void DRCCatchUp();
Tackling a section of code with poor performance in extraction. The extSubtree() routine cuts a layout into squares and extracts each separately, checking for subcell interactions. In each square it parses all labels looking for unconnected ones. This section of code not only parses all labels M x N times, but it then marks interaction areas where there may be none, forcing additional unnecessary processing. This commit makes the first quick optimization, which is to change the return value of DRCFindInteractions() from boolean to integer, allowing it to return a value indicating that there are no subcells in the area. This prevents the loop through labels from happening in cases where there can never be interactions. More to come.
2022-02-20 23:36:49 +01:00
extern int DRCFindInteractions();
Substantially overhauled the way that the DRC checker finds and processes "interaction areas". This should eliminate weirdnesses where errors will fail to show up in a subcell that does not interact with paint or other subcells in the top level edit cell. These errors cannot be reported directly in the top level cell, but a new error message has been created to direct the user to check the subcell for errors. Also: Modified the toolkit procedures to force DRC to be run on newly created or modified parameterized cell layouts. There is some oddity about the process that causes DRC errors to be delayed unless a print statement is put before the DRC check; I would like to investigate this further.
2020-10-15 23:31:20 +02:00
extern int DRCBasicCheck();
Added an "off-grid geometry" check, in two versions. The simple one is an "off_grid" DRC type, which can be used to check geometry that is below the manufacturing grid. Normally magic prevents the grid from being subdivided below the manufacturing grid, but this limit can be removed and replaced by DRC checks to check for such errors in a GDS file of unknown origin. The second version looks for interactions between subcells that end up with intersections of non-manhattan geometry landing on points that are not on the database internal grid. Such errors cannot be seen by magic's DRC engine by definition, and so must be detected while flattening geometry for the DRC checks.
2021-02-04 23:35:43 +01:00
extern void DRCOffGridError();
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
extern void DRCPrintStyle();
extern void DRCSetStyle();
extern void DRCLoadStyle();
Fix a few issues with missing or incorrect prototypes There are a few places we either don't have a variable or function prototype and need one, or we have one and they don't match.
2022-02-23 23:16:42 +01:00
extern PlaneMask CoincidentPlanes(TileTypeBitMask *typeMask, PlaneMask pmask);
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
2017-04-25 14:41:48 +02:00
/* The following macro can be used by the outside world to see if
* the background checker needs to be called.
*/
#ifdef MAGIC_WRAPPER
#define DRCHasWork ((DRCPendingRoot != NULL) && (DRCBackGround == DRC_SET_ON))
#else
#define DRCHasWork ((DRCPendingRoot != NULL) && (DRCBackGround != DRC_SET_OFF))
#endif
#endif /* _DRC_H */