WebSVN – Vertical – Diff – /branches/metal/vertlib/cmdexec1.c

+ *
+ *
  Removed RCS log information to reduce clutter
 *****************************************************************************/
-#include "bundle.h"
+#include <stdio.h>
-#include "chck_names.h"
-#include "cmdexec.h"
-#include "cmdlog.h"
+#include <stdlib.h>
-#include "cmdparse.h"
-#include "cmdutil.h"
+#include <string.h>
-#include "database.h"
+#include "vertcl_main.h"
 #include "expression.h"
-#include "ext_nets.h"
 #include "generic.h"
-#include "jumpering.h"
-#include "partition.h"
+#include "database.h"
-#include "print_ports.h"
-#include "print_quartus.h"
-#include "print_ucf.h"
-#include "print_vhdl.h"
-#include "print_vlog.h"
 #include "printout.h"
-#include "rename.h"
 #include "routing.h"
+#include "jumpering.h"
+#include "ext_nets.h"
 #include "statistics.h"
+#include "partition.h"
+#include "cmdparse.h"
+#include "cmdexec.h"
+#include "cmdutil.h"
+#include "cmdlog.h"
+#include "rename.h"
 #include "template.h"
+#include "chck_names.h"
 #include "unrouted.h"
+#include "bundle.h"
+#include "print_vlog.h"
-#include "vertcl_main.h"
+#include "print_vhdl.h"
+#include "print_quartus.h"
+#include "print_ucf.h"
+#include "print_ports.h"
+tcl_mode_t  Tcl_Mode;
-#include <stdio.h>
-#include <stdlib.h>
+/* make this a global */
-#include <string.h>
+Tcl_Interp * Tcl_interp;
-tcl_mode_t Tcl_Mode;
-/* make this a global */
-Tcl_Interp *Tcl_interp;
-#ident                                                                                        \
-    "@(#)$Header: c:\\cygwin\\cvsroot/Vert03/vertlib/cmdexec1.c,v 1.1.1.1 2003/11/04 23:34:56 mjames Exp $"
+#ident "@(#)$Header: c:\\cygwin\\cvsroot/Vert03/vertlib/cmdexec1.c,v 1.1.1.1 2003/11/04 23:34:56 mjames Exp $"
 /* Additional information for the user is provided in this section for inclusion in the
    HTML file
 /*
 @title
 Vertical External PCB netlist translators
 @index external
 @end
 */
 /*
 @title
 Vertical Pin assignment mode commands
 @index vertical_pin
 @end
 */
 /*
 @title
 Vertical PCB merging commands
 @index vertical_pcb
 @end
 */
 /*
 @title
 Vertical HDL handling commands
 @index vertical_hdl
 @end
 */
 /*
 @title
 Vertical Regular expressions and commands that use them
 @index regular_exp
 @end
 */
 /*
 @title
 Vertical search paths
 @application vertical_pin
 @application vertical_pcb
 @application vertical_hdl
 @text
 As of version 15.5a, Vertical can now use search paths when opening scripts or database
 files for reading. All file writes are in the current directory.
 @break
 For the PC the search path is :
 @listing
 .;c:/cygwin/usr/local/vert_files
 @text
-Or in english : look in the current directory '.' and then look in
+Or in english : look in the current directory '.' and then look in 'c:/cygwin/usr/local/vert_files'.
-'c:/cygwin/usr/local/vert_files'.
 @break
-For PC; filenames containing ':' or starting with either '/' or '.' are not searched down the
+For PC; filenames containing ':' or starting with either '/' or '.' are not searched down the path,
-path,
 @break
 The path is in the environment variable called 'VERTICAL_PATH', which can either be
 set in the shell (MSDOS or cygwin) which invokes vertical, or as a command from within
 a Vertical script. e.g.
 @listing
 setenv VERTICAL_PATH "$(VERTICAL_PATH);/home/project/reference_data"
 @text
 This will make Vertical search in the usual places and then in the additional directory.
 @break
 For the HPUX port of Vertical the search path is
 .;.caddata/vert_files
 @text
-For HPUX; filenames starting in '/' and '.' are not searched for down the path. These two
+For HPUX; filenames starting in '/' and '.' are not searched for down the path. These two characters are normally used to
-characters are normally used to specify a definite path, either relative to the current working
-directory or absolute relative to the file system root.
+specify a definite path, either relative to the current working directory or absolute relative to the file system root.
 @end
 =======
-=======
+   HTML file
-   HTML file
+@title
 */
 /*
-/*
+@title
-@title
+Vertical Pin assignment mode commands
-Vertical Pin assignment mode commands
+@index vertical_pin
-@index vertical_pin
+@end
-@end
+*/
 */
+/*
-/*
+@title
-@title
+Vertical PCB merging commands
-Vertical PCB merging commands
+@index vertical_pcb
-@index vertical_pcb
+@end
-@end
+*/
 /*
-/*
+@title
-@title
+Vertical HDL partitioning commands
-Vertical HDL partitioning commands
+@index vertical_hdl
-@index vertical_hdl
+@end
-@end
+*/
 */
 /*
-/*
+@title
-@title
+Vertical script command notation: Command line and script files
-Vertical script command notation: Command line and script files
+@application vertical_pin
-@application vertical_pin
+@application vertical_pcb
-@application vertical_pcb
+@application vertical_hdl
-@application vertical_hdl
+@text
-@text
+Vertical uses its own 'shell' like command language. In this language, quoting a string
-Vertical uses its own 'shell' like command language. In this language, quoting a string
+simply means that spaces appearing inside strings can be passed into Vertical as a single argument.
-simply means that spaces appearing inside strings can be passed into Vertical as a single
+Normally spaces are used to delimit parameters in a command.
-argument. Normally spaces are used to delimit parameters in a command.
+@break
-@break
+When the command is listed out the following notation is used.
-When the command is listed out the following notation is used.
+@text
-@text
+If an item is given without angle ( '<' '>' ) brackets then the word is typed as is. e.g.
-If an item is given without angle ( '<' '>' ) brackets then the word is typed as is. e.g.
+@listing
-@listing
+command
-command
+@break
-@break
+If '<' '>' angle brackets are given then this an item such as a filename which is user defined. e.g. Command followed
-If '<' '>' angle brackets are given then this an item such as a filename which is user defined.
-e.g. Command followed
+@listing
-@listing
+command <filename>
-command <filename>
+@break
-@break
+If followed by an asterisk '*' it means in this context that more than one of these items
-If followed by an asterisk '*' it means in this context that more than one of these items
+may be entered. It is not the same as a regular expression used within one of these items. e.g. command followed by several items
-may be entered. It is not the same as a regular expression used within one of these items. e.g.
-command followed by several items
+@listing
-@listing
+command <item> *
-command <item> *
+@break
-@break
+If '[' ']' square brackets are given then the item is optional. e.g. command with an optional parameter
-If '[' ']' square brackets are given then the item is optional. e.g. command with an optional
-parameter
+@listing
-@listing
+command [ <optional> ]
-command [ <optional> ]
+@text
-@text
+More than one of these may appear at a time on the same item. e.g. Optional list of letters.
-More than one of these may appear at a time on the same item. e.g. Optional list of letters.
+@end
-@title
+Vertical database file notation: Database files
-Vertical database file notation: Database files
+@application vertical_pin
-@application vertical_pin
+@application vertical_hdl
-@application vertical_hdl
+@application vertical_pcb
-@application vertical_pcb
+@text
-@text
+Vertical handles several different database file formats. These are :
-Vertical handles several different database file formats. These are :
+@listing
-@listing
+Altera .acf      : tagged as AHDL
-Altera .acf      : tagged as AHDL
+Verilog          : tagged as VERILOG
-Verilog          : tagged as VERILOG
+VHDL             : tagged as VHDL
-VHDL             : tagged as VHDL
+Vertical Native  : initial state and outside other tagged blocks
-Vertical Native  : initial state and outside other tagged blocks
+@text
-@text
+They are all read in by a single database handler which can switch between different
-They are all read in by a single database handler which can switch between different
+languages on the fly.
-languages on the fly.
+@break
-@break
+In all cases the Vertical parser begins expecting Vertical Native file format, and then
-In all cases the Vertical parser begins expecting Vertical Native file format, and then
+it is switched into other modes by the presence of tag  keywords
-it is switched into other modes by the presence of tag  keywords
+@break
-@break
+These bracket the code. e.g.
-These bracket the code. e.g.
+@listing
-@listing
+VHDL -- this indicates following syntax.
-VHDL -- this indicates following syntax.
+  entity nine is
   entity nine is
-    (
+    );
-    );
+  end entity nine;
   end entity nine;
+  architecture seven of nine is
-  architecture seven of nine is
+-- vertical read_off
--- vertical read_off
+ this code will not be seen by vertical, as it has
- this code will not be seen by vertical, as it has
+ tags in the comments.
  tags in the comments.
  DONT start comments with the word 'VERTICAL' as it is seen an
- DONT start comments with the word 'VERTICAL' as it is seen an
+ an escape into vertical database language.
- an escape into vertical database language.
+-- vertical read_on
   begin
   begin
   end;
-  end;
+END; -- this belongs to Vertical
-END; -- this belongs to Vertical
+@text
-@text
+Because Vertical recognises the comments that are found in
-Because Vertical recognises the comments that are found in
+all of the HDL's that it understands, it is possible to feed
-all of the HDL's that it understands, it is possible to feed
+a native HDL file in with Vertical tags in comments.
-a native HDL file in with Vertical tags in comments.
+e.g.
 e.g.
-regular expression: Information on wildcards in Vertical
+@application vertical_pin
-@application vertical_pin
+@application vertical_hdl
-@application vertical_hdl
+@application vertical_pcb
-@application vertical_pcb
+@text
-@text
+The wildcards now used in several commands conform to standard regular expressions.
-The wildcards now used in several commands conform to standard regular expressions.
+If no 'special' characters are given then patterns must match exactly, except that
-If no 'special' characters are given then patterns must match exactly, except that
+the case of alphabetic characters is ignored.
-the case of alphabetic characters is ignored.
+@break
-@break
+For instance: to select :
-For instance: to select :
+@listing
-@listing
+pattern   meaning
-pattern   meaning
+-------   -------
--------   -------
+X2[1-7]   'X' or 'x', '2' and then digit '1' to '7'
-X2[1-7]   'X' or 'x', '2' and then digit '1' to '7'
+.*        any char zero or more times (anything)
-.*        any char zero or more times (anything)
+X[0-9]+   'X' or 'x', followed by one or more digits
 X[0-9]+   'X' or 'x', followed by one or more digits
+(expr)    A pattern to be matched that can be used in a string replace.
-(expr)    A pattern to be matched that can be used in a string replace.
+          Each bracketed expression can be used in a replacement string
-          Each bracketed expression can be used in a replacement string
+          &1 is the first pattern. &0 is the whole of the matched string.
           &1 is the first pattern. &0 is the whole of the matched string.
 @text
-@text
+On cygwin and Unix 'man regex' will work to tell you more.
-On cygwin and Unix 'man regex' will work to tell you more.
+@break
-@break
+The edit_pin ident command and edit_pin type
-The edit_pin ident command and edit_pin type
+command documentation has more on regular expressions.
 command documentation has more on regular expressions.
 @break
-@break
+Use '\' characters to escape special characters.
-Use '\' characters to escape special characters.
+@end
 */
 /************************************************************************/
-/************************************************************************/
+/* Command handling code                                                */
-/* Command handling code                                                */
+/************************************************************************/
 /************************************************************************/
 /*********************** Simple command calls ***************************/
-/*********************** Simple command calls ***************************/
+/* BYE : Exit program
-/* BYE : Exit program
+@title
-@title
+bye, quit, exit
-bye, quit, exit
+@application vertical_pcb
-@application vertical_pcb
+@application vertical_pin
-@application vertical_pin
+@application vertical_hdl
-@application vertical_hdl
+@text
-@text
+Leave program, closing files tidily.
-Leave program, closing files tidily.
+@end
-@end
+*/
-*/
+int BYEHandler (ET_TCLARGS)
-int BYEHandler (ET_TCLARGS)
+   {
-{
+   CloseLog();                     /* append summary and close the log file */
-        CloseLog (); /* append summary and close the log file */
+   Log (LOG_GENERAL, "#Goodbye for now\n");
-        Log (LOG_GENERAL, "#Goodbye for now\n");
+   return (QUITCMD);   /* try to leave cleanly */
+   }
-        return (QUITCMD); /* try to leave cleanly */
 /****************************************************************************/
-/****************************************************************************/
+/* external parser variables                                                */
-/* external parser variables                                                */
+extern int yydebug;
-extern int yydebug;
+extern FILE * yyin;
-extern FILE *yyin;
+extern int lineno;
-extern int lineno;
+extern int yy_nArgs;
-extern int yy_nArgs;
+extern char ** yy_Args;
 extern char **yy_Args;
 extern int inside_block;
 extern int inside_block;
 /* debug level */
-/* debug level */
+long level;
-Internal debugging flags. Bit fields can be combined. In general issue debug
+flag setting commands before issuing commands:
-flag setting commands before issuing commands:
+@break
-@break
+Followed by the 'read' command:
-Followed by the 'read' command:
+@listing
-@listing
+For read command:
-For read command:
 Bit 0    : The yydebug flag (see man yacc/lex for more info)
-Bit 0    : The yydebug flag (see man yacc/lex for more info)
+For template command
 Bit 0    : Prints basic actions
-For template command
+Bit 1    : More detailed info
 Bit 4    : List files that Vertical attempts to open using its search path.
 For all file opening
-Bit 4    : List files that Vertical attempts to open using its search path.
+@end
 */
 @end
-*/
+int DEBUGHandler(ET_TCLARGS) {
-int DEBUGHandler (ET_TCLARGS)
+   if (argc == 1) {
-{
-        if (argc == 1)
+     level = atoi(argv[0]);
-        {
+     set_debug_level(level); /* send info into DLL */
-                level = atoi (argv[0]);
+     yydebug = level&1 ;
-                set_debug_level (level); /* send info into DLL */
+     Log (LOG_GENERAL, "# setting debug level to %d\n",level);
-                yydebug = level & 1;
+     return (TCL_OK);
-                Log (LOG_GENERAL, "# setting debug level to %d\n", level);
+     }
-                return (TCL_OK);
+   else
-        }
+     return (TCL_ERROR);
-        else
+   }
                 return (TCL_ERROR);
 /******************** Read a data file ***********************/
 /*
-/******************** Read a data file ***********************/
+@title
-/*
+read <filename> [<identifier_suffix> | "" ] [ <arg>* ]
-identifiers U1 to U 20 and you decide to suffix a new ACF file
+the old file and will 'vanish' or be confused with U10 in the
-being read with "0" then U1 in the new file will match U10 in
+old file. The best way to avoid this problem is to
-the old file and will 'vanish' or be confused with U10 in the
+It is normal to use an underscore character as in "_" to
-old file. The best way to avoid this problem is to
+prefix the suffix to avoid this.
-It is normal to use an underscore character as in "_" to
+@break
-prefix the suffix to avoid this.
+In addition any arguments after the suffix field (which can be omitted if a "" null string is
-@break
+given) can be used as macro variables $0, $1 and so on inside the database file.
-In addition any arguments after the suffix field (which can be omitted if a "" null string is
+e.g.
-given) can be used as macro variables $0, $1 and so on inside the database file.
+@listing
-e.g.
+read conn.txt ""  x1_a x1_b
-@listing
+@text
-read conn.txt ""  x1_a x1_b
+Will, if the file conn.txt contains the following
-@text
+@listing
-Will, if the file conn.txt contains the following
+JOINED_NETS
-@listing
+BEGIN
-JOINED_NETS
-BEGIN
  JUMPER J_$0$1_3A  = ($0(3A );$1(16A); );
  JUMPER J_$0$1_4A  = ($0(4A );$1(15A); );
  JUMPER J_$0$1_5A  = ($0(5A );$1(14A); );
  JUMPER J_$0$1_6A  = ($0(6A );$1(13A); );
  JUMPER J_$0$1_3A  = ($0(3A );$1(16A); );
- JUMPER J_$0$1_4A  = ($0(4A );$1(15A); );
+END;
- JUMPER J_$0$1_5A  = ($0(5A );$1(14A); );
+@text
- JUMPER J_$0$1_6A  = ($0(6A );$1(13A); );
+Be translated into
 @listing
-END;
+JOINED_NETS
-@text
+BEGIN
-Be translated into
-@listing
-JOINED_NETS
+ JUMPER J_x1_ax1_b_3A  = (x1_a(3A );x2_a(16A); );
-BEGIN
+ JUMPER J_x1_ax1_b_4A  = (x1_a(4A );x2_a(15A); );
  JUMPER J_x1_ax1_b_5A  = (x1_a(5A );x2_a(14A); );
  JUMPER J_x1_ax1_b_6A  = (x1_a(6A );x2_a(13A); );
- JUMPER J_x1_ax1_b_4A  = (x1_a(4A );x2_a(15A); );
+If no arguments are given, then the argument list of the currently
- JUMPER J_x1_ax1_b_5A  = (x1_a(5A );x2_a(14A); );
+executing script are used as $0, $1 and so on.
  JUMPER J_x1_ax1_b_6A  = (x1_a(6A );x2_a(13A); );
 @end
-END;
+*/
-@text
+extern void tidy_lex(void);
 If no arguments are given, then the argument list of the currently
-executing script are used as $0, $1 and so on.
+extern int yyparse(void);
-@end
+int READHandler (ET_TCLARGS)
-*/
+   {
-extern void tidy_lex (void);
+   int rc =0;
+   int     old_yy_nArgs;
-extern int yyparse (void);
+   char ** old_yy_Args;
-int READHandler (ET_TCLARGS)
+#if defined DIAGNOSE
-{
+   {
-        int rc = 0;
+   int i;
-        int old_yy_nArgs;
+   printf("local args\n");
-        char **old_yy_Args;
+   for(i=0;i<argc;i++)
-#if defined DIAGNOSE
-        {
-                int i;
-                printf ("local args\n");
+     printf("[%d]=%s\n",i,argv[i]?(argv[i][0]?argv[i]:"\"\""):"<null>");
+   printf("global args\n");
-                for (i = 0; i < argc; i++)
-                        printf (
+   for(i=0;i<yy_nArgs;i++)
-                            "[%d]=%s\n",
-                            i,
-                            argv[i] ? (argv[i][0] ? argv[i] : "\"\"") : "<null>");
-                printf ("global args\n");
+     printf("[%d]=%s\n",i,yy_Args[i]?(yy_Args[i][0]?yy_Args[i]:"\"\""):"<null>");
+   }
-                for (i = 0; i < yy_nArgs; i++)
+#endif
-                        printf (
+   if (argc < 1)
-                            "[%d]=%s\n",
+     return(TCL_ERROR);
                             i,
-                            yy_Args[i] ? (yy_Args[i][0] ? yy_Args[i] : "\"\"") : "<null>");
+   Log(LOG_GENERAL, "# reading information from <%s>\n", argv[0]);
-        }
+   mark_board_objects(); /* record some pointers - last object before rename */
-#endif
+   inside_block  = 0;
-        if (argc < 1)
-                return (TCL_ERROR);
+   tidy_lex();
-        Log (LOG_GENERAL, "# reading information from <%s>\n", argv[0]);
+   yyin = trap_fopen(argv[0], "r");             /* open text file for reading */
-        mark_board_objects (); /* record some pointers - last object before rename */
+   if (!yyin)
-        inside_block = 0;
+      {
+      Log(LOG_ERROR, "# Error opening file: <%s>\n", argv[0]);
-        tidy_lex ();
+      return(TCL_ERROR);
+      }
+   else
+      {
+      /* setup the argument lists for expansion :
+         either inherit from calling script (no args) or
+         copy from rest of command line. No need to make duplicates of
+         values as they cannot be changed within a 'read' operation
+         unlike 'do' which may call other command files with different arg.
+         lists.
+       */
+      old_yy_nArgs = yy_nArgs;
+      old_yy_Args  = yy_Args;
+      if(argc>=3) {
+        yy_Args = argv+2;
+        yy_nArgs= argc-2;
+        }
-        yyin = trap_fopen (argv[0], "r"); /* open text file for reading */
-        if (!yyin)
-        {
-                Log (LOG_ERROR, "# Error opening file: <%s>\n", argv[0]);
-                return (TCL_ERROR);
-        }
-        else
-        {
-                /* setup the argument lists for expansion :
-                   either inherit from calling script (no args) or
-                   copy from rest of command line. No need to make duplicates of
-                   values as they cannot be changed within a 'read' operation
-                   unlike 'do' which may call other command files with different arg.
-                   lists.
-                 */
-                old_yy_nArgs = yy_nArgs;
                 old_yy_Args = yy_Args;
-                if (argc >= 3)
+#if defined DIAGNOSE
-                        yy_Args = argv + 2;
+   {
-                        yy_nArgs = argc - 2;
+   int i;
-                }
+   printf("new global args\n");
-#if defined DIAGNOSE
+   for(i=0;i<yy_nArgs;i++)
-                {
-                        int i;
-                        printf ("new global args\n");
+     printf("[%d]=%s\n",i,yy_Args[i]?(yy_Args[i][0]?yy_Args[i]:"\"\""):"<null>");
-                        for (i = 0; i < yy_nArgs; i++)
+   }
-                                printf (
+#endif
                                     "[%d]=%s\n",
-                                    i,
+      lineno = 1;
-                                    yy_Args[i] ? (yy_Args[i][0] ? yy_Args[i] : "\"\"")
+      while(!feof(yyin) && !rc) {
-                                               : "<null>");
+        if(yydebug)
-                }
-#endif
+          Log(LOG_GENERAL,"Processing line %d\n",lineno);
+        rc = yyparse();
-                lineno = 1;
+        }
-                while (!feof (yyin) && !rc)
+#if defined DIAGNOSE
-                {
+   {
-                        if (yydebug)
+   int i;
-                                Log (LOG_GENERAL, "Processing line %d\n", lineno);
+   printf("new2 global args\n");
-                        rc = yyparse ();
-                }
+   for(i=0;i<yy_nArgs;i++)
-#if defined DIAGNOSE
-                {
-                        int i;
-                        printf ("new2 global args\n");
+     printf("[%d]=%s\n",i,yy_Args[i]?(yy_Args[i][0]?yy_Args[i]:"\"\""):"<null>");
-                        for (i = 0; i < yy_nArgs; i++)
+   }
-                                printf (
+#endif
-                                    "[%d]=%s\n",
+      fclose (yyin);
-                                    i,
+      yy_nArgs = old_yy_nArgs;
-                                    yy_Args[i] ? (yy_Args[i][0] ? yy_Args[i] : "\"\"")
+      yy_Args  = old_yy_Args;
-                                               : "<null>");
-                }
+/* added the concatenation of suffixes
-#endif
+ * to the Names and Identifiers of objects *
-                fclose (yyin);
+ * if there was a suffix and it is not null apply it */
-                yy_nArgs = old_yy_nArgs;
+      if (argc>=2 && !ISNULLSTR(argv[1])) {
-                yy_Args = old_yy_Args;
+        set_board_suffix(argv[1]);
-                /* added the concatenation of suffixes
+        Log(LOG_GENERAL, "# Object name/identifier suffix = '%s'\n", argv[1]);
-                 * to the Names and Identifiers of objects *
+        }
-                 * if there was a suffix and it is not null apply it */
+      need_validate_names=1;/* tell validate_names there is some work to do */
-                if (argc >= 2 && !ISNULLSTR (argv[1]))
-                {
+      if(rc == 0)
-                        set_board_suffix (argv[1]);
+        return (TCL_OK);
-                        Log (LOG_GENERAL, "# Object name/identifier suffix = '%s'\n", argv[1]);
+      else
-                }
+        return(TCL_ERROR);
-                need_validate_names = 1; /* tell validate_names there is some work to do */
+      }
+   }
                 if (rc == 0)
-                        return (TCL_OK);
+/******************** Output an ACF file all pins connected to nets  ***********************/
-                else
+/*
-                        return (TCL_ERROR);
+@title
 write connected <filename>
-@application vertical_pcb
+contains something important) then their entire pinout (without pin reservations) will be
-@application vertical_pin
+written as part of the netlist. All connections made to external sockets will be listed.
-@text
+@end
-Write out an 'Extended ACF' file for the entire netlist and
+*/
-device and net assignments. If there are any sockets with
+int WriteConnectedHandler (ET_TCLARGS)
-names assigned to the socket identifier (implying the socket
+   {
-contains something important) then their entire pinout (without pin reservations) will be
+   FILE * ACFfile;
 written as part of the netlist. All connections made to external sockets will be listed.
-@end
+   if (argc < 1)
-*/
+     return(TCL_ERROR);
-int WriteConnectedHandler (ET_TCLARGS)
+   Log(LOG_GENERAL, "# producing an ACF file <%s>\n", argv[0]);
-{
+   ACFfile = trap_fopen(argv[0], "w");             /* open text file for reading */
-        FILE *ACFfile;
+   if (!ACFfile) {
-        if (argc < 1)
+     Log(LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
-                return (TCL_ERROR);
+     return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing an ACF file <%s>\n", argv[0]);
+     }
-        ACFfile = trap_fopen (argv[0], "w"); /* open text file for reading */
-        if (!ACFfile)
+   else {
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
+     print_header(ACFfile,TOOL_NAME": WRITE CONNECTED");
-                return (TCL_ERROR);
+     list_database(ACFfile,PRESERVE_JUMPERS);
-        }
+     list_jumper(ACFfile);
-        else
+     list_generic_values(ACFfile,&global_generics,0);
-        {
-                create_unrouted_list ();
-                print_header (ACFfile, TOOL_NAME ": WRITE CONNECTED");
+     list_devices(ACFfile,
-                list_database (ACFfile, PRESERVE_JUMPERS);
+         PRINT_TYPE|PRINT_EXPAND_BUS| PRINT_NET_NAMES|
+         PRINT_GENERIC|PRINT_GROUP|
-                list_jumper (ACFfile);
+         PRINT_ROUTE_FLAGS | PRINT_EQUIVALENT_PINS);
-                list_generic_values (ACFfile, &global_generics, 0);
+     list_alias(ACFfile);
+     print_pin_renames(ACFfile);
-                list_devices (
+     fclose(ACFfile);
-                    ACFfile,
+     return (TCL_OK);
-                    PRINT_TYPE | PRINT_EXPAND_BUS | PRINT_NET_NAMES | PRINT_GENERIC |
+     }
-                        PRINT_GROUP | PRINT_ROUTE_FLAGS | PRINT_EQUIVALENT_PINS);
+   }
                 list_alias (ACFfile);
-                print_pin_renames (ACFfile);
+/******************** Output an ACF file ***********************/
-                fclose (ACFfile);
+/*
-                return (TCL_OK);
+@title
 write acf <filename>
-@application vertical_pin
+written as part of the netlist. Connections to sockets without
-@text
+names assigned are still written out.
-Write out an 'Extended ACF' file for the entire netlist and
+@end
-device and net assignments. If there are any sockets with
+*/
-names assigned to the socket identifier (implying the socket
+int WriteAcfHandler (ET_TCLARGS)
-contains something important) then their pinout will be
+   {
-written as part of the netlist. Connections to sockets without
+   FILE * ACFfile;
 names assigned are still written out.
-@end
+   if (argc < 1)
-*/
+     return(TCL_ERROR);
-int WriteAcfHandler (ET_TCLARGS)
+   Log(LOG_GENERAL, "# producing an ACF file <%s>\n", argv[0]);
-{
+   ACFfile = trap_fopen(argv[0], "w");             /* open text file for reading */
-        FILE *ACFfile;
+   if (!ACFfile) {
-        if (argc < 1)
+     Log(LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
-                return (TCL_ERROR);
+     return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing an ACF file <%s>\n", argv[0]);
+     }
-        ACFfile = trap_fopen (argv[0], "w"); /* open text file for reading */
-        if (!ACFfile)
+   else {
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
+     print_header(ACFfile,TOOL_NAME": WRITE ACF");
-                return (TCL_ERROR);
+     list_database(ACFfile,PRESERVE_JUMPERS);
-        }
+     list_jumper(ACFfile);
-        else
+     list_generic_values(ACFfile,&global_generics,0);
-        {
-                create_unrouted_list ();
+     list_devices(ACFfile,
-                print_header (ACFfile, TOOL_NAME ": WRITE ACF");
+         PRINT_TYPE|PRINT_EXPAND_BUS|
-                list_database (ACFfile, PRESERVE_JUMPERS);
+         PRINT_GENERIC|PRINT_GROUP|
-                list_jumper (ACFfile);
+         PRINT_ROUTE_FLAGS | PRINT_EQUIVALENT_PINS);
-                list_generic_values (ACFfile, &global_generics, 0);
+     list_alias(ACFfile);
+     print_pin_renames(ACFfile);
-                list_devices (
+     fclose(ACFfile);
-                    ACFfile,
+     return (TCL_OK);
-                    PRINT_TYPE | PRINT_EXPAND_BUS | PRINT_GENERIC | PRINT_GROUP |
+     }
-                        PRINT_ROUTE_FLAGS | PRINT_EQUIVALENT_PINS);
+   }
-                list_alias (ACFfile);
+/******************** Output an ACF, just net part file ***********************/
-                print_pin_renames (ACFfile);
+/*
-                fclose (ACFfile);
+@title
-                return (TCL_OK);
+write net <filename>
 @application vertical_pcb
 @application vertical_pin
-/******************** Output an ACF, just net part file ***********************/
+@text
-/*
+Write out an 'Extended ACF' file for the entire netlist. In this case no socket
-@title
+information is printed.
-write net <filename>
+@end
-@application vertical_pcb
+*/
 @application vertical_pin
-@text
+int WriteNetHandler (ET_TCLARGS)
-Write out an 'Extended ACF' file for the entire netlist. In this case no socket
+   {
-information is printed.
+   FILE * ACFfile;
 @end
-*/
+   if (argc < 1)
+     return(TCL_ERROR);
 int WriteNetHandler (ET_TCLARGS)
-{
+   Log(LOG_GENERAL, "# producing an ACF (net only) file <%s>\n", argv[0]);
-        FILE *ACFfile;
+   ACFfile = trap_fopen(argv[0], "w");             /* open text file for reading */
+   if (!ACFfile) {
-        if (argc < 1)
-                return (TCL_ERROR);
+     Log(LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
+     return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing an ACF (net only) file <%s>\n", argv[0]);
+     }
-        ACFfile = trap_fopen (argv[0], "w"); /* open text file for reading */
-        if (!ACFfile)
+   else {
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
+     print_header(ACFfile,TOOL_NAME": WRITE NET");
-                return (TCL_ERROR);
+     list_database(ACFfile,PRESERVE_JUMPERS);
-        }
+     list_jumper(ACFfile);
-        else
+     list_devices(ACFfile,
-        {
+         PRINT_TYPE |
-                create_unrouted_list ();
+         PRINT_GENERIC|PRINT_GROUP|
-                print_header (ACFfile, TOOL_NAME ": WRITE NET");
+         PRINT_ROUTE_FLAGS | PRINT_EQUIVALENT_PINS|
+         NO_PRINT_PINS);
-                list_database (ACFfile, PRESERVE_JUMPERS);
+     fclose(ACFfile);
-                list_jumper (ACFfile);
+     return (TCL_OK);
-                list_devices (
+     }
-                    ACFfile,
+   }
-                    PRINT_TYPE | PRINT_GENERIC | PRINT_GROUP | PRINT_ROUTE_FLAGS |
+/******************** Write Flatten command ***********************/
-                        PRINT_EQUIVALENT_PINS | NO_PRINT_PINS);
+/*
-                fclose (ACFfile);
+@title
-                return (TCL_OK);
+write flatten <filename>
 @application vertical_pcb
-/*
+Write out an 'Extended ACF' file for the entire netlist and
-@title
+device and net assignments. If there are any sockets with
-write flatten <filename>
+names assigned to the socket identifier (implying the socket
-@application vertical_pcb
+contains something important) then their pinout will be
-@application vertical_hdl
+written as part of the netlist. Connections to sockets without
-@text
+names assigned are still written out.
-Write out an 'Extended ACF' file for the entire netlist and
+@break
-device and net assignments. If there are any sockets with
+In addition, all jumpers are flattened, and the joined together
-names assigned to the socket identifier (implying the socket
+nets created by jumpers are written out as a single wire. This is used with the
-contains something important) then their pinout will be
+equivalent pin connections on socket templates.
-written as part of the netlist. Connections to sockets without
+@end
-names assigned are still written out.
+*/
-@break
+int WriteFlattenHandler (ET_TCLARGS)
-In addition, all jumpers are flattened, and the joined together
+   {
-nets created by jumpers are written out as a single wire. This is used with the
+   FILE * ACFfile;
 equivalent pin connections on socket templates.
-@end
+   if (argc < 1)
-*/
+     return(TCL_ERROR);
 int WriteFlattenHandler (ET_TCLARGS)
-{
+   Log(LOG_GENERAL, "# producing a flattened ACF file <%s>\n", argv[0]);
-        FILE *ACFfile;
+   ACFfile = trap_fopen(argv[0], "w");             /* open text file for reading */
+   if (!ACFfile) {
-        if (argc < 1)
-                return (TCL_ERROR);
+     Log(LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
+     return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing a flattened ACF file <%s>\n", argv[0]);
+     }
-        ACFfile = trap_fopen (argv[0], "w"); /* open text file for reading */
-        if (!ACFfile)
+   else {
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
+     print_header(ACFfile,TOOL_NAME": WRITE FLATTEN");
-                return (TCL_ERROR);
+     list_database(ACFfile,FLATTEN_JUMPERS);
-        }
+     fclose(ACFfile);
-        else
+     return (TCL_OK);
-        {
+     }
-                create_unrouted_list ();
+   }
-                print_header (ACFfile, TOOL_NAME ": WRITE FLATTEN");
+/******************** Output an FRB file ***********************/
-                list_database (ACFfile, FLATTEN_JUMPERS);
+/*
-                fclose (ACFfile);
+@title
-                return (TCL_OK);
+write pcb <filename>
 @application vertical_pcb
-@application vertical_pcb
+the unique and 'useful' way this has been setup at
-@text
+Southampton.
-Write out a "neutral architecture file" PCB netlist file for
+@end
-CadStar. This is hard to use properly, as Southampton Cadstar
+*/
-users always seem to be coming up with different netlist
+int WriteFrbHandler (ET_TCLARGS)
-formats, and there are problems with library portability and
+   {
-the unique and 'useful' way this has been setup at
+   FILE * FRBfile;
-Southampton.
+   if (argc < 1)
-@end
+     return(TCL_ERROR);
-*/
-int WriteFrbHandler (ET_TCLARGS)
+   Log(LOG_GENERAL, "# producing an FRB file <%s>\n", argv[0]);
-{
+   FRBfile = trap_fopen(argv[0], "w");             /* open text file for reading */
-        FILE *FRBfile;
+   if (!FRBfile) {
-        if (argc < 1)
-                return (TCL_ERROR);
+     Log(LOG_ERROR, "# Error opening FRB output file: <%s>\n",argv[0]);
+     return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing an FRB file <%s>\n", argv[0]);
+     }
-        FRBfile = trap_fopen (argv[0], "w"); /* open text file for reading */
-        if (!FRBfile)
+   else {
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening FRB output file: <%s>\n", argv[0]);
+     produce_frb(FRBfile);
-                return (TCL_ERROR);
+     fclose(FRBfile);
-        }
+     return (TCL_OK);
-        else
+     }
-        {
+   }
-                create_unrouted_list ();
+/******************** Output a list of templates to a file ***********************/
-                produce_frb (FRBfile);
+/*
-                fclose (FRBfile);
+@title
-                return (TCL_OK);
+write template <filename>
 @application vertical_pin
 @application vertical_hdl
-/******************** Output a list of templates to a file ***********************/
+@text
-write template <filename>
+which can be used to create a library of templates.
-@application vertical_pin
+@end
-@application vertical_hdl
+*/
 @text
-List out all of the socket templates (alternatively these are VHDL component declarations)
+int WriteTemplateHandler (ET_TCLARGS)
-loaded into the VERTICAL database into a file,
+   {
-which can be used to create a library of templates.
+   FILE * Templatefile;
 @end
-*/
+   if (argc < 1)
-int WriteTemplateHandler (ET_TCLARGS)
-{
-        FILE *Templatefile;
-        if (argc < 1)
-                return (TCL_ERROR);
-        Log (LOG_GENERAL, "# producing an Template file <%s>\n", argv[0]);
-        Templatefile = trap_fopen (argv[0], "w"); /* open text file for reading */
-        if (!Templatefile)
-        {
-                Log (LOG_ERROR, "# Error opening Template output file: <%s>\n", argv[0]);
-                return (TCL_ERROR);
-        }
+     return(TCL_ERROR);
-        else
+   Log(LOG_GENERAL, "# producing an Template file <%s>\n", argv[0]);
+   Templatefile = trap_fopen(argv[0], "w");             /* open text file for reading */
+   if (!Templatefile) {
+     Log(LOG_ERROR, "# Error opening Template output file: <%s>\n",argv[0]);
+     return(TCL_ERROR);
+     }
+   else {
+     template_list_pins(Templatefile);
+     fclose(Templatefile);
+     }
+   return(TCL_OK);
+   }
-                template_list_pins (Templatefile);
+/************ Output a device by Name to file - expanding VHDL busses ********/
-                fclose (Templatefile);
+/*
-        }
+@title
-        return (TCL_OK);
+write fit <device> <filename>
 @application vertical_pcb
 @application vertical_pin
-/************ Output a device by Name to file - expanding VHDL busses ********/
+@application vertical_hdl
-/*
+@text
-@title
+Write out a device socket, and expand out busses, using the VHDL declarations
-write fit <device> <filename>
+of the signals connected to produce the required number of pins. These databases
-@application vertical_pcb
+created can be used in the creation of an initial pin fit without the use of
-@application vertical_pin
+an FPGA fitter.
-@application vertical_hdl
+@break
-@text
+Partitioning use : If the 'chip' appears to have VHDL busses
-Write out a device socket, and expand out busses, using the VHDL declarations
+rather than individual wires on some of its 'pins' then these
-of the signals connected to produce the required number of pins. These databases
+busses will be expanded into unique signal names. This process
-is performed at the time of printout. A bus declared as
+  fred_2 : INPUT_PIN :=  1_3 "STD_LOGIC"
-@listing
+  fred_3 : INPUT_PIN :=  1_4 "STD_LOGIC"
-  fred : in STD_LOGIC (3 DOWNTO 0)
+@end
-in the input acfp file will be printed out as
+*/
-  fred_0 : INPUT_PIN :=  1_1 "STD_LOGIC"
+int WriteFitHandler (ET_TCLARGS)
-  fred_1 : INPUT_PIN :=  1_2 "STD_LOGIC"
+   {
-  fred_2 : INPUT_PIN :=  1_3 "STD_LOGIC"
+   FILE * ACFfile;
-  fred_3 : INPUT_PIN :=  1_4 "STD_LOGIC"
+   socket_t * skt;
-@end
-*/
+   if (argc < 2)
-int WriteFitHandler (ET_TCLARGS)
+     return(TCL_ERROR);
-{
-        FILE *ACFfile;
+   skt = find_socket(Name,argv[0],Search,&socket_head);
-        socket_t *skt;
+   if(!skt) {
-        if (argc < 2)
-                return (TCL_ERROR);
+     Log(LOG_GENERAL,"# Cannot find socket name '%s'\n",argv[0]);
+     return(TCL_ERROR);
-        skt = find_socket (Name, argv[0], Search, &socket_head);
+     };
+   Log(LOG_GENERAL, "# producing ACF for socket name '%s' in <%s>\n",
+        argv[0],argv[1]);
-        if (!skt)
+   ACFfile = trap_fopen(argv[1], "w");    /* open text file for writing */
-        {
+   if (!ACFfile) {
-                Log (LOG_GENERAL, "# Cannot find socket name '%s'\n", argv[0]);
-                return (TCL_ERROR);
+     Log(LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[1]);
-        };
+     return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing ACF for socket name '%s' in <%s>\n", argv[0], argv[1]);
+     }
-        ACFfile = trap_fopen (argv[1], "w"); /* open text file for writing */
-        if (!ACFfile)
+  else {
-        {
+       create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[1]);
+       print_header(ACFfile,TOOL_NAME": WRITE FIT");
-                return (TCL_ERROR);
+       print_device(ACFfile,skt, PRINT_EXPAND_BUS ); /* include pins not connected to nets */
-        }
-        else
+       fclose(ACFfile);
-        {
+       return (TCL_OK);
-                create_unrouted_list ();
+       }
-                print_header (ACFfile, TOOL_NAME ": WRITE FIT");
+    }
                 print_device (ACFfile, skt, PRINT_EXPAND_BUS); /* include pins not connected to
-                                                                  nets */
+/******************** Output a device by ID to file ***********************/
-                fclose (ACFfile);
+/*
-                return (TCL_OK);
+@title
 write identifier <chip_ident> <filename>
-are given so that the user can detertmine which socket pins
+It is also used to help with the creation of pin definition
-are usable for making connections to the socket. That is all
+files for external connectors.
-of those that are not VCC or Ground for example.
+@end
-@break
+*/
-This format is exactly compatible with maxplus2 so it is used
+int WriteIdHandler (ET_TCLARGS)
-to produce the new pin assignment files for maxplus2
+   {
-It is also used to help with the creation of pin definition
+   FILE * ACFfile;
-files for external connectors.
+   socket_t * skt;
-@end
-*/
+   if (argc < 2)
-int WriteIdHandler (ET_TCLARGS)
+     return(TCL_ERROR);
-{
+   skt = find_socket(Ident,argv[0],Search,&socket_head);
-        FILE *ACFfile;
-        socket_t *skt;
+   if(!skt) {
-        if (argc < 2)
+     Log(LOG_GENERAL,"# Cannot find socket id '%s'\n",argv[0]);
-                return (TCL_ERROR);
+     return(TCL_ERROR);
-        skt = find_socket (Ident, argv[0], Search, &socket_head);
+     };
+   Log(LOG_GENERAL, "# producing ACF for socket id '%s' in <%s>\n",
+        argv[0],argv[1]);
-        if (!skt)
+   ACFfile = trap_fopen(argv[1], "w");     /* open text file for writing */
-        {
+   if (!ACFfile) {
-                Log (LOG_GENERAL, "# Cannot find socket id '%s'\n", argv[0]);
-                return (TCL_ERROR);
+       Log(LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[1]);
-        };
+       return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing ACF for socket id '%s' in <%s>\n", argv[0], argv[1]);
+       }
-        ACFfile = trap_fopen (argv[1], "w"); /* open text file for writing */
-        if (!ACFfile)
+   else {
-        {
+       create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[1]);
+       print_header(ACFfile,TOOL_NAME": WRITE ID");
-                return (TCL_ERROR);
+       print_device(ACFfile,skt,PRINT_ALL | PRINT_USABLE ); /* include pins not connected to nets */
-        }
-        else
+       fclose(ACFfile);
-        {
+       }
-                create_unrouted_list ();
+    return (TCL_OK);
-                print_header (ACFfile, TOOL_NAME ": WRITE ID");
+    }
                 print_device (ACFfile, skt, PRINT_ALL | PRINT_USABLE); /* include pins not
-                                                                          connected to nets */
+/******************** Output a device by name to file ***********************/
-                fclose (ACFfile);
+/*
 @title
-        return (TCL_OK);
+write name <chip_name> <filename>
-@application vertical_pin
+induvidual sockets from the netlist into separate files.
-@application vertical_hdl
+@text
-@text
+@end
-Write out device info for the named device/socket  (with only
+*/
-pins that are used by routed nets). Tis is used for user
+int WriteNameHandler (ET_TCLARGS)
-documentation purposes and diagnostics, in separating out
+   {
-induvidual sockets from the netlist into separate files.
+   FILE * ACFfile;
-@text
+   socket_t * skt;
-@end
+   if (argc<2)
-*/
+       return(TCL_ERROR);
-int WriteNameHandler (ET_TCLARGS)
-{
+   skt = find_socket(Name,argv[0],Search,&socket_head);
-        FILE *ACFfile;
-        socket_t *skt;
+   if(!skt) {
-        if (argc < 2)
-                return (TCL_ERROR);
+     Log(LOG_GENERAL,"# Cannot find socket name '%s'\n",argv[0]);
+     return(TCL_ERROR);
-        skt = find_socket (Name, argv[0], Search, &socket_head);
+     };
+   Log(LOG_GENERAL, "# producing ACF for socket name '%s' in <%s>\n",
+        argv[0],argv[1]);
-        if (!skt)
+   ACFfile = trap_fopen(argv[1], "w");    /* open text file for writing */
-        {
+   if (!ACFfile) {
-                Log (LOG_GENERAL, "# Cannot find socket name '%s'\n", argv[0]);
-                return (TCL_ERROR);
+     Log(LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[1]);
-        };
+     return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing ACF for socket name '%s' in <%s>\n", argv[0], argv[1]);
+     }
-        ACFfile = trap_fopen (argv[1], "w"); /* open text file for writing */
-        if (!ACFfile)
+   else {
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[1]);
+     print_header(ACFfile,TOOL_NAME" : WRITE NAME");
-                return (TCL_ERROR);
+     print_device(ACFfile,skt,0); /* used pins only */
-        }
+     fclose(ACFfile);
-        else
+     return (TCL_OK);
-        {
+    } ;
-                create_unrouted_list ();
+  }
-                print_header (ACFfile, TOOL_NAME " : WRITE NAME");
+/******************** Output a partition name to file ***********************/
-                print_device (ACFfile, skt, 0); /* used pins only */
+/*
-                fclose (ACFfile);
+@title
-                return (TCL_OK);
+write VHDl <new_entityname> <filename> [ <template_file> ]
-        };
+@text
-use ieee.std_logic_1164.all;
+You will be warned if the template contains other than exactly
-use proj_std.dodgy_conversions.all;
+one $ENT$ and $ARCH$ string.
 @end
--- now an architecture --
+*/
-$ARCH$
+int WriteVHDLHandler (ET_TCLARGS)
-@text
+   {
-You will be warned if the template contains other than exactly
+   char * TemplateName;
-one $ENT$ and $ARCH$ string.
+   FILE * VHDLfile;
-@end
-*/
+   if (argc < 2)
-int WriteVHDLHandler (ET_TCLARGS)
+     return(TCL_ERROR);
-{
-        char *TemplateName;
+  /* template name is optional */
-        FILE *VHDLfile;
+   TemplateName = NULL;
+   if(argc>2)
-        if (argc < 2)
+     TemplateName=argv[2];
-                return (TCL_ERROR);
+   /* slip-up with a null pointer 17 Feb 2000  */
-        /* template name is optional */
+   if(TemplateName && strcmp(TemplateName,argv[0])==0)  {
-        TemplateName = NULL;
-        if (argc > 2)
-                TemplateName = argv[2];
+    Log(LOG_ERROR, "# ERROR : VHDL template file name '%s' is the same as the template file name\n",
-        /* slip-up with a null pointer 17 Feb 2000  */
-        if (TemplateName && strcmp (TemplateName, argv[0]) == 0)
+         argv[1]);
-        {
+      return(TCL_ERROR);
-                Log (
+      }
-                    LOG_ERROR,
-                    "# ERROR : VHDL template file name '%s' is the same as the template file "
-                    "name\n",
-                    argv[1]);
+   Log(LOG_GENERAL, "# producing VHDL of partition for new entity name '%s' in <%s>\n",
-                return (TCL_ERROR);
-        }
+        argv[0],argv[1]);
+   VHDLfile = trap_fopen(argv[1], "w");  /* open text file for writing */
-        Log (
+   if (!VHDLfile) {
-            LOG_GENERAL,
-            "# producing VHDL of partition for new entity name '%s' in <%s>\n",
+     Log(LOG_ERROR, "# Error opening VHDL output file: <%s>\n", argv[1]);
-            argv[0],
+     return(TCL_ERROR);
-            argv[1]);
+     }
-        VHDLfile = trap_fopen (argv[1], "w"); /* open text file for writing */
-        if (!VHDLfile)
+   else { /* include a template if it exists */
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening VHDL output file: <%s>\n", argv[1]);
+     produce_VHDL(VHDLfile,argv[0],TemplateName);
-                return (TCL_ERROR);
+     fclose(VHDLfile);
-        }
+     return (TCL_OK);
-        else
+    } ;
-        { /* include a template if it exists */
+  }
-                create_unrouted_list ();
+/******************** Output a partition name to file ***********************/
-                produce_VHDL (VHDLfile, argv[0], TemplateName);
+/*
-                fclose (VHDLfile);
+@title
-                return (TCL_OK);
+write VLOG <new_entityname> <filename>
-        };
+@text
-write VLOG <new_entityname> <filename>
+the creation of large breadboards using VERTICAL to combine
-@text
+PCBs.
-This is an experimental function used primarily with Certify.
+@end
-It writes out a board level netlist Verilog (.vb) file with
+*/
-only sockets that are set as external actually instanced. This
+int WriteVLOGHandler (ET_TCLARGS)
-removes unnecessary clutter from the design, and allows for
+   {
-the creation of large breadboards using VERTICAL to combine
+   char *TemplateName;
-PCBs.
-@end
+   FILE * VLOGfile;
-*/
+   if (argc < 2)
-int WriteVLOGHandler (ET_TCLARGS)
+       return(TCL_OK);
-{
-        char *TemplateName;
+  /* template name is optional */
+   TemplateName = NULL;
-        FILE *VLOGfile;
+   if (argc >2)
-        if (argc < 2)
+     TemplateName = argv[2];
-                return (TCL_OK);
+   /* slip-up with a null pointer 17 Feb 2000  */
-        /* template name is optional */
+   if(TemplateName && strcmp(TemplateName,argv[1])==0)  {
-        TemplateName = NULL;
-        if (argc > 2)
-                TemplateName = argv[2];
+    Log(LOG_ERROR, "# ERROR : VLOG file name '%s' is the same as the template file name\n",
-        /* slip-up with a null pointer 17 Feb 2000  */
+         argv[1]);
-        if (TemplateName && strcmp (TemplateName, argv[1]) == 0)
+      return(TCL_ERROR);
-        {
+      }
-                Log (
-                    LOG_ERROR,
-                    "# ERROR : VLOG file name '%s' is the same as the template file name\n",
-                    argv[1]);
+   Log(LOG_GENERAL, "# producing VLOG of partition for new entity name '%s' in <%s>\n",
-                return (TCL_ERROR);
-        }
+        argv[0],argv[1]);
+   VLOGfile = trap_fopen(argv[1], "w");  /* open text file for writing */
-        Log (
+   if (!VLOGfile) {
-            LOG_GENERAL,
-            "# producing VLOG of partition for new entity name '%s' in <%s>\n",
+     Log(LOG_ERROR, "# Error opening VLOG output file: <%s>\n", argv[1]);
-            argv[0],
+     return(TCL_ERROR);
-            argv[1]);
+     }
-        VLOGfile = trap_fopen (argv[1], "w"); /* open text file for writing */
-        if (!VLOGfile)
+   else { /* include a template if it exists */
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening VLOG output file: <%s>\n", argv[1]);
+     produce_VLOG(VLOGfile,argv[0],TemplateName);
-                return (TCL_ERROR);
+     fclose(VLOGfile);
-        }
+     return (TCL_OK);
-        else
+    } ;
-        { /* include a template if it exists */
+  }
-                create_unrouted_list ();
+/******************** Write Extern command ***********************/
-                produce_VLOG (VLOGfile, argv[0], TemplateName);
+/*
-                fclose (VLOGfile);
+@title
-                return (TCL_OK);
+write EXTernal <filename>
-        };
+@text
-/******************** Write Extern command ***********************/
+Write  out  all sockets set as external to a file as  a  .acfp
-/*
+file.
-@title
+@break
-write EXTernal <filename>
+In addition a COMPONENTS block will be written
-@text
+@break
+This is intended to provide Vertical write extern
-Write  out  all sockets set as external to a file as  a  .acfp
+with an explicit tie-up between the socket ID
-file.
+e.g. U1 and a device name in the socket e.g. BusChip or whatever. For example:
-@break
+@listing
-In addition a COMPONENTS block will be written
+COMPONENTS
-@break
+  BEGIN
-This is intended to provide Vertical write extern
+  U1 : BusChip EPM7234 "" ;
-with an explicit tie-up between the socket ID
+  END;
-e.g. U1 and a device name in the socket e.g. BusChip or whatever. For example:
+@text
-@listing
+@break
-COMPONENTS
+In fact in many cases where write ext is used,  the contents of socket U1 will be known as device name U1.
-  BEGIN
-  U1 : BusChip EPM7234 "" ;
+@break
-  END;
+@listing
-@text
+COMPONENTS
-@break
+  BEGIN
-In fact in many cases where write ext is used,  the contents of socket U1 will be known as
+  U1 : U1 EPM7234 "" ;
-device name U1.
+  END;
-@break
+@text
-@listing
+Without this info, the tool cannot locate sockets by name using the chip identifier
-COMPONENTS
+as ACF files do not contain the chip identifier, only the chip name.
   END;
-@text
+(see set external command)
-Without this info, the tool cannot locate sockets by name using the chip identifier
+@end
-as ACF files do not contain the chip identifier, only the chip name.
+*/
-@break
+int WriteExternHandler (ET_TCLARGS)
+   {
+   FILE * ACFfile;
 (see set external command)
-@end
+   if (argc < 1)
-*/
+     return(TCL_ERROR);
 int WriteExternHandler (ET_TCLARGS)
-{
+   Log(LOG_GENERAL, "# producing an ACF file <%s>\n", argv[0]);
-        FILE *ACFfile;
+   ACFfile = trap_fopen(argv[0], "w");             /* open text file for reading */
+   if (!ACFfile) {
-        if (argc < 1)
-                return (TCL_ERROR);
+     Log(LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
+     return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing an ACF file <%s>\n", argv[0]);
+     }
-        ACFfile = trap_fopen (argv[0], "w"); /* open text file for reading */
-        if (!ACFfile)
+   else {
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
+     print_header(ACFfile,TOOL_NAME": WRITE EXTERN");
-                return (TCL_ERROR);
+     list_extern_sockets(ACFfile);
-        }
+     list_extern_devices(ACFfile);
-        else
+     fclose(ACFfile);
-        {
+     return (TCL_OK);
-                create_unrouted_list ();
+     }
-                print_header (ACFfile, TOOL_NAME ": WRITE EXTERN");
+   }
-                list_extern_sockets (ACFfile);
+/******************** Output a device pin assignments as Xilinx Virtex UCF format ***********************/
-                list_extern_devices (ACFfile);
-                fclose (ACFfile);
+/*
-                return (TCL_OK);
+@title
 write UCF <chip_ident> <filename>
 @application vertical_pcb
-/******************** Output a device pin assignments as Xilinx Virtex UCF format
+@application vertical_pin
- * ***********************/
+@application vertical_hdl
-/*
+@text
-@title
+Write out device info as a Xilinx Alliance (Virtex etc) UCF, naming socket
-write UCF <chip_ident> <filename>
+by ident  e.g. U1 or U2 . All pins that
-@application vertical_pcb
+are known either on routed nets or unrouted nets will be
-@application vertical_pin
+listed. The names of the routed nets attached to the chip pins
-@application vertical_hdl
+are given so that the user can detertmine which socket pins
-@text
+are usable for making connections to the socket. That is all
-are known either on routed nets or unrouted nets will be
+This format is exactly compatible with Xilinx Alliance so it is used
-listed. The names of the routed nets attached to the chip pins
+to produce the new pin assignment files for Xilinx Alliance
-are given so that the user can detertmine which socket pins
+@end
-are usable for making connections to the socket. That is all
+*/
-of those that are not VCC or Ground for example.
+int WriteUCFHandler (ET_TCLARGS)
-@break
+   {
-This format is exactly compatible with Xilinx Alliance so it is used
+   FILE * UCFfile;
-to produce the new pin assignment files for Xilinx Alliance
+   socket_t * skt;
-@end
-*/
+   if (argc < 2)
-int WriteUCFHandler (ET_TCLARGS)
+     return(TCL_ERROR);
-{
+   skt = find_socket(Ident,argv[0],Search,&socket_head);
-        FILE *UCFfile;
-        socket_t *skt;
+   if(!skt) {
-        if (argc < 2)
+     Log(LOG_GENERAL,"# Cannot find socket id '%s'\n",argv[0]);
-                return (TCL_ERROR);
+     return(TCL_ERROR);
-        skt = find_socket (Ident, argv[0], Search, &socket_head);
+     };
+   Log(LOG_GENERAL, "# producing UCF for socket id '%s' in <%s>\n",
+        argv[0],argv[1]);
-        if (!skt)
+   UCFfile = trap_fopen(argv[1], "w");     /* open text file for writing */
-        {
+   if (!UCFfile) {
-                Log (LOG_GENERAL, "# Cannot find socket id '%s'\n", argv[0]);
-                return (TCL_ERROR);
+       Log(LOG_ERROR, "# Error opening UCF output file: <%s>\n", argv[1]);
-        };
+       return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing UCF for socket id '%s' in <%s>\n", argv[0], argv[1]);
+       }
-        UCFfile = trap_fopen (argv[1], "w"); /* open text file for writing */
-        if (!UCFfile)
+   else {
-        {
+       create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening UCF output file: <%s>\n", argv[1]);
+       print_UCF_instance(UCFfile,skt,PRINT_ALL | PRINT_USABLE ); /* include pins not connected to nets */
-                return (TCL_ERROR);
-        }
-        else
+       fclose(UCFfile);
-        {
+       return (TCL_OK);
-                create_unrouted_list ();
+       }
-                print_UCF_instance (UCFfile, skt, PRINT_ALL | PRINT_USABLE); /* include pins
+    }
-                                                                                not connected
-                                                                                to nets */
+/******************** Write Sockets command ***********************/
-                fclose (UCFfile);
+/*
-                return (TCL_OK);
+@title
 write SOCkets <filename>
 @text
 Write  out  all sockets to a file as  a  .acfp
-/******************** Write Sockets command ***********************/
+file.
-/*
+@end
-@title
+*/
-write SOCkets <filename>
+int WriteSocketHandler (ET_TCLARGS)
-@text
+   {
-Write  out  all sockets to a file as  a  .acfp
+   FILE * ACFfile;
 file.
-@end
+   if (argc < 2)
-*/
+     return(TCL_ERROR);
 int WriteSocketHandler (ET_TCLARGS)
-{
+   Log(LOG_GENERAL, "# producing an ACF file <%s>\n", argv[0]);
-        FILE *ACFfile;
+   ACFfile = trap_fopen(argv[0], "w");             /* open text file for write*/
+   if (!ACFfile) {
-        if (argc < 2)
-                return (TCL_ERROR);
+     Log(LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
+     return(TCL_ERROR);
-        Log (LOG_GENERAL, "# producing an ACF file <%s>\n", argv[0]);
+     }
-        ACFfile = trap_fopen (argv[0], "w"); /* open text file for write*/
-        if (!ACFfile)
+   else {
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening ACF output file: <%s>\n", argv[0]);
+     print_header(ACFfile,TOOL_NAME": WRITE SOCKETS");
-                return (TCL_ERROR);
+     list_components(ACFfile);
-        }
+     fclose(ACFfile);
-        else
+     return (TCL_OK);
-        {
+     }
-                create_unrouted_list ();
+   }
                 print_header (ACFfile, TOOL_NAME ": WRITE SOCKETS");
-                list_components (ACFfile);
+/******************** Output a device by name to file ***********************/
-                fclose (ACFfile);
+/*
-                return (TCL_OK);
+@title
 write PAR_acf <new_entityname> <filename>
-@text
+partitioned pieces of the design back into a new toplevel
-Write out  partition  entity as Extended ACF so that it may be
+entitiy that may be simulated.
-read in as a description of the ports of the top level of a
+@end
-partitiion, in conjunction with the  extended ACF files for
+*/
-the other partitions in the system.
+int WriteParACFHandler (ET_TCLARGS)
-This then allows the connection together of all of the
+   {
-partitioned pieces of the design back into a new toplevel
+   FILE * Parfile;
-entitiy that may be simulated.
+   if (argc < 2)
-@end
+       return(TCL_ERROR);
-*/
-int WriteParACFHandler (ET_TCLARGS)
-{
-        FILE *Parfile;
+   Log(LOG_GENERAL, "# producing Extended ACF of partition for new entity name '%s' in <%s>\n",
-        if (argc < 2)
-                return (TCL_ERROR);
+        argv[0],argv[1]);
+   Parfile = trap_fopen(argv[1], "w");  /* open text file for writing */
-        Log (
+   if (!Parfile) {
-            LOG_GENERAL,
-            "# producing Extended ACF of partition for new entity name '%s' in <%s>\n",
+     Log(LOG_ERROR, "# Error opening ACF+ output file: <%s>\n", argv[1]);
-            argv[0],
+     return(TCL_ERROR);
-            argv[1]);
+     }
-        Parfile = trap_fopen (argv[1], "w"); /* open text file for writing */
-        if (!Parfile)
+   else {
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening ACF+ output file: <%s>\n", argv[1]);
+     print_header(Parfile,TOOL_NAME" : WRITE PAR_ACF");
-                return (TCL_ERROR);
+     print_ACF_entity(Parfile,argv[0]);
-        }
+     fclose(Parfile);
-        else
+     return (TCL_OK);
-        {
+    } ;
+  }
-                create_unrouted_list ();
                 print_header (Parfile, TOOL_NAME " : WRITE PAR_ACF");
-                print_ACF_entity (Parfile, argv[0]);
+/******************** Output a device by name to Quartus pinfit file ***********************/
-                fclose (Parfile);
+/*
-                return (TCL_OK);
+@title
-        };
+write quartus <chip_name> <filename>
 @text
 Writes out a Quartus .pin pin assignment file with reserved pins and recommended tiedown pins.
-/******************** Output a device by name to Quartus pinfit file ***********************/
+@end
-/*
+*/
-@title
+int WriteQuartusPinfitHandler (ET_TCLARGS)
-write quartus <chip_name> <filename>
+   {
-@text
+   FILE * ACFfile;
-Writes out a Quartus .pin pin assignment file with reserved pins and recommended tiedown pins.
+   socket_t * skt;
-@end
+   if (argc<2)
-*/
+       return(TCL_ERROR);
-int WriteQuartusPinfitHandler (ET_TCLARGS)
-{
+   skt = find_socket(Name,argv[0],Search,&socket_head);
-        FILE *ACFfile;
-        socket_t *skt;
+   if(!skt) {
-        if (argc < 2)
-                return (TCL_ERROR);
+     Log(LOG_GENERAL,"# Cannot find socket name '%s'\n",argv[0]);
+     return(TCL_ERROR);
-        skt = find_socket (Name, argv[0], Search, &socket_head);
+     };
-        if (!skt)
-        {
+   Log(LOG_GENERAL, "# producing Quartus pinfit for socket name '%s' in <%s>\n",
-                Log (LOG_GENERAL, "# Cannot find socket name '%s'\n", argv[0]);
-                return (TCL_ERROR);
+        argv[0],argv[1]);
-        };
+   ACFfile = trap_fopen(argv[1], "w");    /* open text file for writing */
-        Log (
+   if (!ACFfile) {
-            LOG_GENERAL,
-            "# producing Quartus pinfit for socket name '%s' in <%s>\n",
+     Log(LOG_ERROR, "# Error opening Quartus pinfit file: <%s>\n", argv[1]);
-            argv[0],
+     return(TCL_ERROR);
-            argv[1]);
+     }
-        ACFfile = trap_fopen (argv[1], "w"); /* open text file for writing */
-        if (!ACFfile)
+   else {
-        {
+     create_unrouted_list();
-                Log (LOG_ERROR, "# Error opening Quartus pinfit file: <%s>\n", argv[1]);
+     print_header(ACFfile,TOOL_NAME" : WRITE QUARTUS");
-                return (TCL_ERROR);
+     print_quartus_pinfit(ACFfile,skt,0); /* used pins only */
-        }
+     fclose(ACFfile);
-        else
+     return (TCL_OK);
-        {
+    } ;
-                create_unrouted_list ();
+  }
                 print_header (ACFfile, TOOL_NAME " : WRITE QUARTUS");
-                print_quartus_pinfit (ACFfile, skt, 0); /* used pins only */
+/******************** Write PinList *************************/
-                fclose (ACFfile);
+/*
-                return (TCL_OK);
+@title
-        };
+write pinlist <socket_id*> <chip_id> [ <filename> ]
-}
+@text
+Writes out a pinlist for the connections of socket(s) to an fpga. This is written to a file as HTML.
-/******************** Write PinList *************************/
+It also writes the pin index created by the 'bundle' command if this has been used on a socket.
-/*
-@title
+@break
-write pinlist <socket_id*> <chip_id> [ <filename> ]
+This command is extremely useful for checking pin assignments
-@text
+@listing
-Writes out a pinlist for the connections of socket(s) to an fpga. This is written to a file as
+write fit x.*_a u1_a u1_a.html
-HTML. It also writes the pin index created by the 'bundle' command if this has been used on a
+@text
-socket.
+This lists all of the pinouts of connectors 'x' on board '_a' which are
-@break
+connected to 'u1_a'.
-This command is extremely useful for checking pin assignments
+@end
-@listing
+*/
 write fit x.*_a u1_a u1_a.html
-@text
+int WritePinlistHandler (ET_TCLARGS)
-This lists all of the pinouts of connectors 'x' on board '_a' which are
+   {
-connected to 'u1_a'.
+   FILE * ACFfile;
-@end
+   if (argc<2)
-*/
+       return(TCL_ERROR);
+   if (argc>2)
-int WritePinlistHandler (ET_TCLARGS)
+     ACFfile = trap_fopen(argv[2], "w");    /* open text file for writing */
-{
+   else
-        FILE *ACFfile;
+     ACFfile = stdout;
-        if (argc < 2)
-                return (TCL_ERROR);
+   if (!ACFfile) {
-        if (argc > 2)
-                ACFfile = trap_fopen (argv[2], "w"); /* open text file for writing */
+     Log(LOG_ERROR, "# Error opening Pinlist file: <%s>\n", argv[2]);
-        else
+     return(TCL_ERROR);
-                ACFfile = stdout;
+     }
+   else
-        if (!ACFfile)
+     {
-        {
+      list_intersection(ACFfile,argv[0], argv[1]) ;
-                Log (LOG_ERROR, "# Error opening Pinlist file: <%s>\n", argv[2]);
+     if(ACFfile!=stdout)
-                return (TCL_ERROR);
+       {
-        }
+       fclose(ACFfile);
-        else
+       }
-        {
+     }
-                list_intersection (ACFfile, argv[0], argv[1]);
+   if(ACFfile!=stdout)
-                if (ACFfile != stdout)
+     {
-                {
+     fclose(ACFfile);
-                        fclose (ACFfile);
+     }
-                }
+   return TCL_OK;
+   } ;
-        }
         if (ACFfile != stdout)
 /******************** Write xxx Menu  ***********************/
                 fclose (ACFfile);
-        }
+  CommandMenu WriteMenu = {
-        return TCL_OK;
+    {"acf",       3, WriteAcfHandler,NULL,
-};
+                     "Write out an 'Extended ACF' file",
-/******************** Write xxx Menu  ***********************/
+                     "<filename>",NULL},
-CommandMenu const WriteMenu = {
+    {"connected",       3, WriteConnectedHandler,NULL,
-    {"acf",
-,
+                     "Write out an 'Extended ACF' file, with all connected pins",
-        WriteAcfHandler, NULL, "Write out an 'Extended ACF' file", "<filename>", NULL},
+                     "<filename>",NULL},
-    {"connected",
-,
-     WriteConnectedHandler,
-     NULL,
+    {"net",       3, WriteNetHandler,NULL,
-     "Write out an 'Extended ACF' file, with all connected pins",
-     "<filename>",
+                     "Write out an 'Extended ACF' file, just the netlist part",
-     NULL},
+                     "<filename>",NULL},
-    {"net",
-,
-     WriteNetHandler,
-     NULL,
+    {"pcb",       3, WriteFrbHandler,NULL,
-     "Write out an 'Extended ACF' file, just the netlist part",
-     "<filename>",
+                     "Write out an 'FRB' PCB netlist file",
-     NULL},
+                     "<filename>",NULL},
-    {"pcb",
-,
-     WriteFrbHandler,
-     NULL,
+    {"pinlist",2,    WritePinlistHandler,NULL,
-     "Write out an 'FRB' PCB netlist file",
-     "<filename>",
+                     "Write out Pin list for socket crossreferenced to FPGA",
-     NULL},
+                     "<socket ident> <fpga ident> <filename>",NULL},
-    {"pinlist",
-,
-     WritePinlistHandler,
-     NULL,
-     "Write out Pin list for socket crossreferenced to FPGA",
+    {"identifier",2, WriteIdHandler,NULL,
-     "<socket ident> <fpga ident> <filename>",
-     NULL},
+                     "Write out device info by ident. (with all pins)",
+                     "<ident> <filename>",NULL},
-    {"identifier",
-,
-     WriteIdHandler,
-     NULL,
+    {"name",      3, WriteNameHandler,NULL,
-     "Write out device info by ident. (with all pins)",
-     "<ident> <filename>",
+                     "Write out device info by Name (with used pins)",
-     NULL},
+                     "<name> <filename>",NULL},
-    {"name",
-,
-     WriteNameHandler,
-     NULL,
+    {"fit",      3,  WriteFitHandler,NULL,
-     "Write out device info by Name (with used pins)",
-     "<name> <filename>",
+                     "Write out device info by Name (with Expanded VHDL busses)",
-     NULL},
+                     "<name> <filename>",NULL},
-    {"fit",
-,
-     WriteFitHandler,
-     NULL,
+    {"flatten",  3,  WriteFlattenHandler,NULL,
-     "Write out device info by Name (with Expanded VHDL busses)",
-     "<name> <filename>",
+                     "Write out Flattened (no jumpers) netlist",
-     NULL},
+                     "<filename>",NULL},
-    {"flatten",
-,
-     WriteFlattenHandler,
-     NULL,
+    {"extern",    3, WriteExternHandler,NULL,
-     "Write out Flattened (no jumpers) netlist",
-     "<filename>",
+                     "Write sockets with external connection flags set ",
-     NULL},
+                     "<filename>",NULL},
-    {"extern",
-,
-     WriteExternHandler,
-     NULL,
+    {"quartus",    3, WriteQuartusPinfitHandler,NULL,
-     "Write sockets with external connection flags set ",
-     "<filename>",
+                     "Write Quartus pinfit file",
-     NULL},
+                     "<name> <filename>",NULL},
-    {"quartus",
+    {"sockets",    3, WriteSocketHandler,NULL,
-,
+                     "Write socket list to file ",
+                     "<filename>",NULL},
-     WriteQuartusPinfitHandler,
+    {"template",    3, WriteTemplateHandler,NULL,
-     NULL,
+                     "Write socket templates",
-     "Write Quartus pinfit file",
+                     "<filename>",NULL},
-     "<name> <filename>",
+    {"ucf",        3, WriteUCFHandler,NULL,
-     NULL},
-    {"sockets", 3, WriteSocketHandler, NULL, "Write socket list to file ", "<filename>", NULL},
+                     "Write Xilinx User configuration pin assignments",
-    {"template", 3, WriteTemplateHandler, NULL, "Write socket templates", "<filename>", NULL},
+                     "<ident> <filename>",NULL},
-    {"ucf",
-,
-     WriteUCFHandler,
-     NULL,
+    {"vhdl",      3, WriteVHDLHandler,NULL,
-     "Write Xilinx User configuration pin assignments",
-     "<ident> <filename>",
+                     "Write out partition as VHDL",
-     NULL},
+                     "<new_entityname> <filename> [<template VHDL>]",NULL},
-    {"vhdl",
-,
-     WriteVHDLHandler,
-     NULL,
+    {"vlog",      3, WriteVLOGHandler,NULL,
-     "Write out partition as VHDL",
-     "<new_entityname> <filename> [<template VHDL>]",
+                     "Write out partition as Verilog",
-     NULL},
+                     "<new_entityname> <filename> [<template Verilog>]",NULL},
-    {"vlog",
-,
-     WriteVLOGHandler,
-     NULL,
+    {"par_acf",      3, WriteParACFHandler,NULL,
-     "Write out partition as Verilog",
-     "<new_entityname> <filename> [<template Verilog>]",
+                     "Write out partition entity as Extended ACF",
-     NULL},
+                     "<new_entityname> <filename>",NULL},
-    {"par_acf",
-,
+    { NULL,0,        NULL,NULL,NULL,NULL,NULL } ,
+    };
      WriteParACFHandler,
-     NULL,
      "Write out partition entity as Extended ACF",
-     "<new_entityname> <filename>",
+/*********************** List components Command  ***************************/
-     NULL},
+/* this lists all of the sockets to standard output */
-    {NULL, 0, NULL, NULL, NULL, NULL, NULL},
+/*
 @title
-};
+list SOCkets
 @text
-/*********************** List components Command  ***************************/
+List all of the known components in acfp form to standard output
-/* this lists all of the sockets to standard output */
+@end
-/*
+*/
-@title
+int ListSktHandler(ET_TCLARGS)
 list SOCkets
-@text
+  list_components(stdout);
-List all of the known components in acfp form to standard output
+  return(TCL_OK);
 @end
-*/
+/*********************** List components Command  ***************************/
-int ListSktHandler (ET_TCLARGS)
+/* this lists all of the sockets to standard output */
 /*
-        list_components (stdout);
+@title
 @text
-/*********************** List components Command  ***************************/
+List all of the pin renames in ACFP form to standard output
-/* this lists all of the sockets to standard output */
+@end
-/*
+*/
 @title
-list RENames
+int ListRenamesHandler(ET_TCLARGS)
 @text
-List all of the pin renames in ACFP form to standard output
+  print_pin_renames(stdout);
-@end
+  return(TCL_OK);
 */
 /*********************** List joins Command  ***************************/
-int ListRenamesHandler (ET_TCLARGS)
+/* this lists all of the joins to standard output */
 /*
-        print_pin_renames (stdout);
+@title
 @text
-/*********************** List joins Command  ***************************/
+List all of the netlist joins (jumpers and aliases) in ACFP form to standard output
-/* this lists all of the joins to standard output */
+@end
-/*
+*/
 @title
-list JOIn
+int ListJoinHandler(ET_TCLARGS)
 @text
-List all of the netlist joins (jumpers and aliases) in ACFP form to standard output
+  list_joined(stdout);
-@end
+  return(TCL_OK);
 */
 /*********************** List partition Command  ***************************/
-int ListJoinHandler (ET_TCLARGS)
+/* this lists all of the joins to standard output */
 /*
-        list_joined (stdout);
+@title
-/*********************** List partition Command  ***************************/
+List out to standard output all of the entities currently selected to to combine
-/* this lists all of the joins to standard output */
+in the top level entitiy when the partition is created
-/*
+@end
-@title
+*/
 list PARtition
-@text
+int ListPartHandler(ET_TCLARGS)
 List out to standard output all of the entities currently selected to to combine
-in the top level entitiy when the partition is created
+  list_partition(stdout);
-@end
+  return(TCL_OK);
 */
-int ListPartHandler (ET_TCLARGS)
+/*********************** List xref Command  ***************************/
 /* this lists all of the links from one socket to another
-        list_partition (stdout);
+   to standard output */
-calculated via interpretation of the array range given in the
+wire or an array of discrete wires given as separate signals
-component entity declaration  e.g. std_ulogic_vector ( 6
+in any case.
-downto 0 ) will be seen as 7 wires when doing a partition, and
+@end
-when the list xref command is given.
+*/
 @break
-After partition  and synthesis all signals become one physical
+int ListXrefHandler(ET_TCLARGS)
 wire or an array of discrete wires given as separate signals
-in any case.
+  char * SocketName;
-@end
+  SocketName = NULL; /* no names given, pass null pointer down */
-*/
+  if (argc >0)
+    SocketName = argv[0];
-int ListXrefHandler (ET_TCLARGS)
+  count_paths(SocketName);
-{
+  return(TCL_OK);
         char *SocketName;
-        SocketName = NULL; /* no names given, pass null pointer down */
+/*********************** List Templates Command  ***************************/
-        if (argc > 0)
+/* this lists all of the available socket templates */
-                SocketName = argv[0];
+/*
-        count_paths (SocketName);
+@title
 @text
-/*********************** List Templates Command  ***************************/
+List out all of the CHIP pin templates (or VHDL components) that are available (the
-/* this lists all of the available socket templates */
+device types)
-/*
+@end
-@title
+*/
-list TEMplates
+int ListTemplHandler(ET_TCLARGS)
 @text
-List out all of the CHIP pin templates (or VHDL components) that are available (the
+  template_list();
-device types)
+  return(TCL_OK);
 @end
-*/
+/*********************** List Generic Command  ***************************/
-int ListTemplHandler (ET_TCLARGS)
+/* this lists all of the global generic values */
 /*
-        template_list ();
+@title
-        return (TCL_OK);
+list GENerics
 @text
-/*********************** List Generic Command  ***************************/
+List out all of the generics (variables)
-/* this lists all of the global generic values */
+@end
-/*
+*/
-@title
+int ListGenericHandler(ET_TCLARGS)
-list GENerics
+{
-@text
+  Log(LOG_GENERAL,"-- partition generics\n");
-List out all of the generics (variables)
+  list_generic_values(stdout,&partition_generics,0);
-@end
+  Log(LOG_GENERAL,"-- global generics\n");
-*/
+  list_generic_values(stdout,&global_generics,0);
-int ListGenericHandler (ET_TCLARGS)
+  return(TCL_OK);
+}
-        Log (LOG_GENERAL, "-- partition generics\n");
+/*********************** List Unrouted Command  ***************************/
-        list_generic_values (stdout, &partition_generics, 0);
+/* this lists all of the unrouted nets */
-        Log (LOG_GENERAL, "-- global generics\n");
+/*
-        list_generic_values (stdout, &global_generics, 0);
+@title
-        return (TCL_OK);
+list UNRouted
 @text
-/*********************** List Unrouted Command  ***************************/
+List out all of the currently unrouted nets. Use after ROUTE command to highlight those nets still not
-/* this lists all of the unrouted nets */
+routed.
-/*
+@end
-@title
+*/
-list UNRouted
+int ListUnroutedHandler(ET_TCLARGS)
 @text
-List out all of the currently unrouted nets. Use after ROUTE command to highlight those nets
+  if(unrouted_list) {
-still not routed.
-@end
+    fprintf(stdout,"-- Unrouted nets follow --\n");
-*/
+    list_nets(stdout,unrouted_list,0);
-int ListUnroutedHandler (ET_TCLARGS)
+    }
-{
+  else
-        if (unrouted_list)
+    fprintf(stdout,"-- Currently no unrouted nets --\n");
-        {
-                fprintf (stdout, "-- Unrouted nets follow --\n");
+  return(TCL_OK);
                 list_nets (stdout, unrouted_list, 0);
-        else
+/*********************** List Net Command  ***************************/
-                fprintf (stdout, "-- Currently no unrouted nets --\n");
+/* this lists all of the nodes on the named net */
 /*
-        return (TCL_OK);
+@title
 list NET <netname>
 @text
-/*********************** List Net Command  ***************************/
+Locates the named net, informs of which netlist it is found on, and then gives the node list of the net (devices visited).
-/* this lists all of the nodes on the named net */
-/*
+@end
-@title
+*/
 list NET <netname>
-@text
+int ListNetHandler(ET_TCLARGS) {
+  net_t * Net;
+  if(argc > 0) {
-Locates the named net, informs of which netlist it is found on, and then gives the node list of
-the net (devices visited).
+    Net = find_net(&named_list,
-@end
+                        Name,
-*/
+                        argv[0],
+                        Search);
-int ListNetHandler (ET_TCLARGS)
+    if(Net)
-{
+      Log(LOG_GENERAL,"-- Net on named list\n");
+    else {
-        net_t *Net;
+        Net = find_net(&routed_list,
-        if (argc > 0)
+                        Name,
-        {
+                        argv[0],
-                Net = find_net (&named_list, Name, argv[0], Search);
+                        Search);
+      if(Net)
-                if (Net)
+        Log(LOG_GENERAL,"-- Net on routed list\n");
+      else {
+        Net = find_net(&unrouted_list,
-                        Log (LOG_GENERAL, "-- Net on named list\n");
+                        Name,
-                else
+                        argv[0],
-                {
+                        Search);
-                        Net = find_net (&routed_list, Name, argv[0], Search);
+        if(Net)
-                        if (Net)
+          Log(LOG_GENERAL,"-- Net on unrouted list\n");
-                                Log (LOG_GENERAL, "-- Net on routed list\n");
-                        else
+        }
+      }
-                        {
+   if(Net)
-                                Net = find_net (&unrouted_list, Name, argv[0], Search);
+     list_net_structure(stdout, Net,Net,0,0);
-                                if (Net)
+   };
-                                        Log (LOG_GENERAL, "-- Net on unrouted list\n");
+  return(TCL_OK);
+  }
-                        }
-                if (Net)
+/*********************** List Command  ***************************/
                         list_net_structure (stdout, Net, Net, 0, 0);
-        };
+  CommandMenu ListMenu= {
-        return (TCL_OK);
+    {"sockets",    3, ListSktHandler,NULL,
+                     "List all known sockets",
+                     "",NULL},
-}
+    {"joined",     3, ListJoinHandler,NULL,
+                     "List all joined nets",
+                     "",NULL},
+    {"xref",       3, ListXrefHandler,NULL,
+                     "List cross reference",
+                     "<socket_name>",NULL},
-/*********************** List Command  ***************************/
+    {"partition",  3, ListPartHandler,NULL,
+                     "List current partition",
+                     "",NULL},
-CommandMenu const ListMenu = {
+    {"templates",  3, ListTemplHandler,NULL,
+                     "List IC templates",
+                     "",NULL},
-    {"sockets", 3, ListSktHandler, NULL, "List all known sockets", "", NULL},
+    {"generics",  3, ListGenericHandler,NULL,
+                     "List Global Generics",
+                     "",NULL},
-    {"joined", 3, ListJoinHandler, NULL, "List all joined nets", "", NULL},
+    {"renames",   3, ListRenamesHandler,NULL,
+                     "List Pin Renames",
+                     "",NULL},
-    {"xref", 3, ListXrefHandler, NULL, "List cross reference", "<socket_name>", NULL},
+    {"unrouted",   3, ListUnroutedHandler,NULL,
+                     "List Unrouted nets ",
+                     "",NULL},
+    {"net",   3, ListNetHandler,NULL,
+                     "List nodes on net",
+                     "<netname>",NULL},
+    { NULL,0,        NULL,NULL,NULL,NULL,NULL } ,
+    };
     {"partition", 3, ListPartHandler, NULL, "List current partition", "", NULL},
-    {"templates", 3, ListTemplHandler, NULL, "List IC templates", "", NULL},
-    {"generics", 3, ListGenericHandler, NULL, "List Global Generics", "", NULL},
     {"renames", 3, ListRenamesHandler, NULL, "List Pin Renames", "", NULL},
-    {"unrouted", 3, ListUnroutedHandler, NULL, "List Unrouted nets ", "", NULL},
+/*********************** Connection handler  ***************************/
-    {"net", 3, ListNetHandler, NULL, "List nodes on net", "<netname>", NULL},
+/* connects the two sockets pin for pin */
 /*
-    {NULL, 0, NULL, NULL, NULL, NULL, NULL},
+@title
-PCBs. If it is known that a connection cable (or X-PCB) is to
+@break
-be used which has a different connection pattern and/or
+Reading this PCB in (using the socket/net name suffixing
-connector type at each end of the cable, then it would be
+feature of VERTICAL) and then issuing connection commands for
-possible to manually create a netlist for the cable as though
+each socket pair (one for each end of the new cable) will
-it were a PCB , with two sockets on it with appropriately
+result in the desired set of jumpers being created.
-connected via routed nets.
+e.g.
 @break
-Reading this PCB in (using the socket/net name suffixing
+A script to be executed by VERTICAL
-feature of VERTICAL) and then issuing connection commands for
+@listing
-each socket pair (one for each end of the new cable) will
+# Crossover script
-result in the desired set of jumpers being created.
+read conn_net _a
- CONNECTION "c3" "" CREATED_NET;
+END;
 X1(2); X2(3);
- END_CONN;
+@end
- CONNECTION "c4" "" CREATED_NET;
+*/
 X1(1); X2(4);
- END_CONN;
+int ConnectionHandler(ET_TCLARGS)
 END;
+  if (argc < 2)
-@end
+     return(TCL_ERROR);
-*/
+  create_all_jumpers(argv[0],argv[1]);
+  return(TCL_OK);
 int ConnectionHandler (ET_TCLARGS)

Subversion Repositories Vertical

(root)/branches/metal/vertlib/cmdexec1.c – Rev 2 → 11