basic width/spacing rules

act/tech.cc

@@ -305,6 +305,11 @@ void Technology::Init (const char *s)
 	  fatal_error ("Table `%s' has to be the same size as the # of types", buf);
 	}
 	mat->spacing = config_get_table_int (buf);
+
+	wt = new int[1];
+	wt[0] = mat->spacing[j];
+	mat->spacing_w = new RangeTable (1, wt);
+
 
 	snprintf (buf+k, BUF_SZ-k-1, "%s.oppspacing", diff[j]);
 	if (config_get_table_size (buf) != sz) {
@@ -419,6 +424,9 @@ void Technology::Init (const char *s)
 		fatal_error ("Table `%s' has to be the same size as the # of types", buf);
 	      }
 	      mat->spacing = config_get_table_int (buf);
+	      wt = new int[1];
+	      wt[0] = mat->spacing[j];
+	      mat->spacing_w = new RangeTable (1, wt);
 
 	      snprintf (buf+k, BUF_SZ-k-1, "%s.oppspacing", diff[j]+ik+1);
 	      if (config_get_table_size (buf) != sz) {
@@ -481,6 +489,9 @@ void Technology::Init (const char *s)
 	      fatal_error ("Table `%s' has to be the same size as the # of types", buf);
 	    }
 	    mat->spacing = config_get_table_int (buf);
+	    wt = new int[1];
+	    wt[0] = mat->spacing[j];
+	    mat->spacing_w = new RangeTable (1, wt);
 
 	    snprintf (buf+k, BUF_SZ-k-1, "%s.oppspacing", ldiff);
 	    if (config_get_table_size (buf) != sz) {
@@ -931,13 +942,17 @@ void Technology::Init (const char *s)
     if (config_get_int (buf) < 1) {
       fatal_error ("%s: has to be at least 1", buf);
     }
-    cmat->width_int = config_get_int (buf);
+    int *wt = new int[1];
+    wt[0] = config_get_int (buf);
+    cmat->width = new RangeTable (1, wt);
 
     snprintf (buf+k, BUF_SZ-k-1, "%s.spacing", t);
     if (config_get_int (buf) < 1) {
       fatal_error ("%s: has to be at least 1", buf);
     }
-    cmat->spacing = config_get_int (buf);
+    wt = new int[1];
+    wt[0] = config_get_int (buf);
+    cmat->spacing_w = new RangeTable (1, wt);
 
     snprintf (buf+k, BUF_SZ-k-1, "%s.surround.up", t);
     if (config_get_int (buf) < 0) {
@@ -1037,13 +1052,13 @@ int RangeTable::range_threshold (int x)
 int DiffMat::viaSpaceEdge ()
 {
   Assert (viaup, "Hmm");
-  return via_edge + via_fet + viaup->getWidth();
+  return via_edge + via_fet + viaup->minWidth();
 }
 
 int DiffMat::viaSpaceMid ()
 {
   Assert (viaup, "Hmm");
-  return 2*via_fet + viaup->getWidth();
+  return 2*via_fet + viaup->minWidth();
 }
 
 int DiffMat::effOverhang (int w, int hasvia)

act/tech.h

@@ -280,8 +280,6 @@ class Contact : public Material {
     asym_surround_dn = 0;
     name = s;
   }
-  int getWidth() { return width_int; }
-  int getSpacing() { return spacing; } 
   int isSym() { return (asym_surround_up == 0) && (asym_surround_dn == 0); }
   int isAsym() { return !isSym(); }
   int getSym() { return sym_surround_dn; }
@@ -296,7 +294,6 @@ class Contact : public Material {
   int viaGenY() { return spc_y; }
 
 protected:
-  int width_int, spacing;
   Material *lower, *upper;
 
   int sym_surround_dn;

tech/techgen.cc

@@ -461,13 +461,27 @@ void emit_cif (pp_t *pp)
   pp_SPACE;
 }
 
-void emit_width_spacing (pp_t *pp, Material *mat)
+void emit_width_spacing (pp_t *pp, Material *mat, char *nm = NULL)
 {
+  const char *name;
   if (!mat) return;
+  if (!nm) {
+    name = mat->getName();
+  }
+  else {
+    name = nm;
+  }
 
-  pp_printf (pp, "width %s %d \\", mat->getName(), mat->minWidth());
+  pp_printf (pp, "width %s %d \\", name, mat->minWidth());
+  pp_nl;
+  pp_printf (pp, "   \"%s width < %d\"", mat->getName(), mat->minWidth());
+  pp_nl;
+
+  pp_printf (pp, "spacing %s %s %d touching_ok \\", name, name,
+	     mat->minSpacing());
+  pp_nl;
+  pp_printf (pp, "   \"%s spacing < %d \"", mat->getName(), mat->minSpacing());
   pp_nl;
-  pp_printf (pp, " \"%s width < %d\"", mat->getName(), mat->minWidth());
   pp_nl;
 }
 
@@ -487,7 +501,9 @@ void emit_drc (pp_t *pp)
 
   /* metal */
   for (int i=0; i < Technology::T->nmetals; i++) {
-    emit_width_spacing (pp, Technology::T->metal[i]);
+    char buf[1024];
+    sprintf (buf, "(allm%d)/m%d", i+1, i+1);
+    emit_width_spacing (pp, Technology::T->metal[i], buf);
   }
 
 
@@ -607,7 +623,39 @@ void emit_plot (pp_t *pp)
     }
   pp_UNTAB;
   pp_UNTAB;
-  pp_printf (pp, "end:");
+  pp_printf (pp, "end");
+  pp_SPACE;
+}
+
+
+void emit_aliases (pp_t *pp)
+{
+  pp_printf (pp, "aliases"); pp_TAB;
+
+  for (int i=0; i < Technology::T->nmetals; i++) {
+    pp_printf (pp, "allm%d *m%d", i+1, i+1); pp_nl;
+  }
+
+  /*
+  allnfets	   nfet
+  allpfets 	   pfet
+  allfets 	   allnfets,allpfets,varactor
+
+  allnactivenonfet *ndiff,*nsd
+  allnactive	   allnactivenonfet,allnfets
+
+  allpactivenonfet *pdiff,*psd
+  allpactive	   allpactivenonfet,allpfets
+
+  allactivenonfet  allnactivenonfet,allpactivenonfet
+  allactive	   allactivenonfet,allfets
+
+  allpolynonfet    *poly
+  allpoly	   allpolynonfet,allfets
+*/
+
+  pp_UNTAB;
+  pp_printf (pp, "end");
   pp_SPACE;
 }
 
@@ -629,6 +677,7 @@ int main (int argc, char **argv)
   emit_planes (pp);
   emit_tiletypes (pp);
   emit_contacts (pp);
+  emit_aliases (pp);
   emit_styles (pp);
   emit_compose (pp);
   emit_connect (pp);