Subversion Repositories Vertical

 * $Header: C:/cvsroot/Vert03/vertlib/database.h,v 1.2 2004/06/22 21:44:14 mjames Exp $

 * $Header: C:/cvsroot/Vert03/vertlib/database.h,v 1.2 2004/06/22 21:44:14 mjames Exp $

 *

 *  

 #pragma once

#define VERTICAL_PATH ".;c:/cygwin/usr/local/vert_files"

#define VERTICAL_PATH     ".;c:/cygwin/usr/local/vert_files"

#define VERTICAL_PATH ".;$(HOME)/.caddata/vert_files"

#define VERTICAL_PATH     ".;$(HOME)/.caddata/vert_files"

#if !defined __declspec

#if ! defined __declspec

#define __declspec(x)

#define __declspec(x) 

typedef enum

typedef enum { NONE,INPUT,OUTPUT,BUFFER,BIDIR,CONFIG,POWER } pindir_t;

{

#define ISNULLSTR(x) ((x == NULL) || (x && (x[0] == 0)))

#define ISNULLSTR(x) ((x == NULL) || (x && (x[0]==0)))

        How_Routed

typedef enum { Ident,Type,Name,Value,How_Routed } property_t;

{

  {

        Free,           /* name given may be reassigned */

  Free,        /* name given may be reassigned */

        By_Name,        /* Routed by Name */

  By_Name,     /* Routed by Name */

        By_Net,         /* Routed by already existing net */

  By_Net,      /* Routed by already existing net */

        By_Fixed_Net,   /* Routed through fixed existing net */

  By_Fixed_Net,/* Routed through fixed existing net */

        By_Exact_Net,   /* Routed using identical already existing net */

  By_Exact_Net,/* Routed using identical already existing net */

        By_Creating,    /* Routed by creating a new net */

  By_Creating, /* Routed by creating a new net */

        By_Jumpering,   /* Routed by connecting an existing net */

  By_Jumpering,/* Routed by connecting an existing net */

        By_FixPins,     /* can only go here as pins are fixed */

  By_FixPins,  /* can only go here as pins are fixed */

        Not_Routable,   /* not allowed to participate in any routing */

  Not_Routable, /* not allowed to participate in any routing */

        Not_Routable_H, /* pullup/VCC */

  Not_Routable_H, /* pullup/VCC */

        Not_Routable_L  /* pulldown/GND */

  Not_Routable_L  /* pulldown/GND */

} HowRouted_t;

  } HowRouted_t;

#define IS_NOT_ROUTABLE(x) ((x) >= Not_Routable)

#define IS_NOT_ROUTABLE(x) ((x)>=Not_Routable)

#define IS_ROUTABLE(x) ((x) < Not_Routable)

#define IS_ROUTABLE(x)     ((x)<Not_Routable)

typedef struct vhdl

typedef struct vhdl {

{

        char *basetype;

  expression_t * expr; /* the expression that is used to */

        expression_t *decl_expr; /* the range given in its declaration */

  expression_t * default_expr; /* default value assigned in declaration */

        struct node *sktnext; /* linked to a socket */

  struct node * sktnext; /* linked to a socket */

        char *identifier;     /* e.g 102, A22 */

  char * identifier;      /* e.g 102, A22 */

        char *name;           /* internal signal name (actually same as netname )  */

  char * name;            /* internal signal name (actually same as netname )  */

        vhdl_t *vhdltype;       /* the subset of the net that the node is connected to */

  vhdl_t * vhdltype;      /* the subset of the net that the node is connected to */

        vhdl_t *orig_vhdltype;  /* how this node was originally declared */

  vhdl_t * orig_vhdltype; /* how this node was originally declared */  

        expression_t *lhs_expr; /* if the net is sliced on socket pin assignment LHS */

  expression_t * lhs_expr;/* if the net is sliced on socket pin assignment LHS */

        pindir_t pindir;        /* final pin type input? output? bidir? unknown? */

  pindir_t   pindir;      /* final pin type input? output? bidir? unknown? */

        int pin_group;          /* can say 'any pin in group(n) only  is interchangeable' */

  int        pin_group;   /* can say 'any pin in group(n) only  is interchangeable' */

        struct net *net;        /* refer to net this node is on (if known) */

  struct net * net;       /* refer to net this node is on (if known) */

        struct net *routed_net; /* which routed net connects to this node */

  struct net * routed_net; /* which routed net connects to this node */

        int refcount;          /* how many nets refer to this node */

  int    refcount;        /* how many nets refer to this node */

        struct socket *socket; /* refer to socket this node is part of */

  struct socket * socket; /* refer to socket this node is part of */

        struct equivalent_node_set *equivalent_nodes; /* member of set of equivalent nodes */

  struct equivalent_node_set * equivalent_nodes; /* member of set of equivalent nodes */

        /* sorting data structure */

/* sorting data structure */

        char *id_numeric_chars; /* the numeric part of the identifier */

  char * id_numeric_chars; /* the numeric part of the identifier */

        int id_numeric_cnt; /* the number of numeric chars in this part of the identifier */

  int    id_numeric_cnt;   /* the number of numeric chars in this part of the identifier */

        char *id_alpha_chars; /* the alphabetic part of the identifier */

  char * id_alpha_chars;   /* the alphabetic part of the identifier */

        int id_alpha_cnt;     /* the number of alpha chars in this part of the ident */

  int    id_alpha_cnt;     /* the number of alpha chars in this part of the ident */

        int pin_row;

  int    pin_row;

        int pin_col;

  int    pin_col;

        int pin_index;    /*  the ordinal pin number : which would be used in a bundle */

  int    pin_index;        /*  the ordinal pin number : which would be used in a bundle */

        int bundle_index; /* if >=0 then this pin is in a bundle */

  int    bundle_index; /* if >=0 then this pin is in a bundle */

        unsigned int fixed_pin : 1;     /* if fixed_pin = 1 then this pin can only be used

  unsigned int fixed_pin:1;/* if fixed_pin = 1 then this pin can only be used

                                           to connect to the net in a particular

                              to connect to the net in a particular

                                           direction */

                              direction */

        unsigned int in_use : 1;        /* if '1' the node is used by a pin

  unsigned int in_use:1;   /* if '1' the node is used by a pin

                                           if '0' the node has had a dummy name assigned*/

                              if '0' the node has had a dummy name assigned*/

        unsigned int template_flag : 1; /* used in template processing */

  unsigned int template_flag:1;   /* used in template processing */

        unsigned int net_assigned : 1;  /* if '1' the node (name) has a net assigned

  unsigned int net_assigned:1; /* if '1' the node (name) has a net assigned

                                           to it by routing */

                                  to it by routing */

        unsigned int fix_location : 1;  /* if set then nets referring to this pin

  unsigned int fix_location:1; /* if set then nets referring to this pin

                                           have to be connected to it and nowhere else */

                                  have to be connected to it and nowhere else */

        unsigned int reservation : 1;   /* mark this as a reserved pin when it is given rsvXXXX

  unsigned int reservation:1;  /* mark this as a reserved pin when it is given rsvXXXX ident */

        struct noderef *next;

  struct noderef * next;

        pindir_t pindir; /* proposed pin type input ? output ? bidir ? unknown ? */

  pindir_t   pindir;      /* proposed pin type input ? output ? bidir ? unknown ? */

        node_t *node;

  node_t * node;

        struct net *join_parent; /* Which net this node reference is joined to (used in

  struct net * join_parent; /* Which net this node reference is joined to (used in

                                    alias/jumpering */

                               alias/jumpering */

        struct net *net;

  struct net  * net;

        /* the net that owns this node reference */

                          /* the net that owns this node reference */

        unsigned int r_flag : 1; /* a routing flag to indicate this node has been

  unsigned int r_flag:1;  /* a routing flag to indicate this node has been

                                    found already at this phase of routing  */

                             found already at this phase of routing  */

        /*  char * datatype; */  /* pointer to the data type of this node */

/*  char * datatype; */       /* pointer to the data type of this node */

        vhdl_t *vhdltype;       /* what this now has been aliased to in VHDL */

  vhdl_t *  vhdltype;                  /* what this now has been aliased to in VHDL */

        vhdl_t *orig_vhdltype;  /* what this now has been aliased to in VHDL */

  vhdl_t *  orig_vhdltype;                  /* what this now has been aliased to in VHDL */

        expression_t *lhs_expr; /* the expression will be copied over when routing . Bus slice

  expression_t * lhs_expr;  /* the expression will be copied over when routing . Bus slice on LHS of pin assignment */

        char *orig_name; /* if this pointer is not null then the name of this reference will be

  char *   orig_name;       /* if this pointer is not null then the name of this reference will be used

                          used in place of the net name when listing the nets  */

                             in place of the net name when listing the nets  */

        struct noderef *base_noderef; /* used in jumpering to define original node reference

  struct noderef * base_noderef; /* used in jumpering to define original node reference that will be renamed:

                                         this pointer is to itself */

                                    in the original node reference this pointer is to itself */

typedef enum

typedef enum {

        NotJoined = 0,

  NotJoined=0,

        Aliased,  /* names are aliased onto same physical piece of wire */

  Aliased,  /* names are aliased onto same physical piece of wire */

        Jumpered, /* separate wires can be joined together */

  Jumpered, /* separate wires can be joined together */

        struct net *next;

  struct net * next;

        struct net *prev;                  /* demand that previous net be referred to */

  struct net * prev;      /* demand that previous net be referred to */

        struct net **list_ref;             /* the membership of which list:

  struct net ** list_ref; /* the membership of which list:

                                              routed_list unrouted_list named_list*/

                             routed_list unrouted_list named_list*/

        char *identifier;                  /* e.g N1, N2 */

  char * identifier;      /* e.g N1, N2 */

        char *name;                        /* signal names */

  char * name;            /* signal names */

        HowRouted_t how_routed;            /* in fact this indicates how it was routed */

  HowRouted_t how_routed; /* in fact this indicates how it was routed */

        int nodecount;                     /* how many nodes does this net have ? */

  int      nodecount;     /* how many nodes does this net have ? */

        noderef_t *nodes;                  /* and all the other nodes on this net */

  noderef_t * nodes;      /* and all the other nodes on this net */

        struct net *join_parent;           /* Which net this net is joined to (used in

  struct net * join_parent; /* Which net this net is joined to (used in

                                              alias/jumpering */

                               alias/jumpering */

        struct net *subnets;               /* if this net has subnets , refer to them */

  struct net * subnets;     /* if this net has subnets , refer to them */

        struct net *joined_nets;           /* other nets at this level of join */

  struct net * joined_nets; /* other nets at this level of join */

        struct net *unrouted_fix_net;      /* is there an unrouted net fixed to this one ? */

  struct net * unrouted_fix_net; /* is there an unrouted net fixed to this one ? */

        struct net *vhdl_connect_net;      /* pointer to a net connected by VHDL connection */

  struct net * vhdl_connect_net; /* pointer to a net connected by VHDL connection */

        JoinMode_t how_joined;             /* if subnets, is this an alias join or a

  JoinMode_t how_joined;  /* if subnets, is this an alias join or a

                                              jumpered join */

                             jumpered join */

        struct net *unrouted_reference;    /* points at the net that is the unrouted

  struct net * unrouted_reference; /* points at the net that is the unrouted

                                              original , if this is a routed net. */

                                      original , if this is a routed net. */

        node_t *external_node;             /* if not null and there is a jumper then print

  node_t * external_node    ; /* if not null and there is a jumper then print

                                              the external node name rather than the net name*/

                                 the external node name rather than the net name*/

        unsigned int nodes_reserved : 1;   /* This net has been processed by the

  unsigned int nodes_reserved : 1; /* This net has been processed by the ensure_reservation function in routing.c */

        unsigned int has_external : 1;     /* one of the net nodes (at least)

  unsigned int has_external : 1 ; /* one of the net nodes (at least)

                                              is an external connection */

                                     is an external connection */

        unsigned int has_fix_location : 1; /* one of the net nodes (at least)

  unsigned int has_fix_location : 1 ; /* one of the net nodes (at least)

                                              is a FIX_LOCATION pin */

                                         is a FIX_LOCATION pin */

                                           /* expanded information for partitioning */

/* expanded information for partitioning */

        unsigned int leaves_partition : 1; /* '1' : crosses boundary of partition*/

  unsigned int leaves_partition : 1; /* '1' : crosses boundary of partition*/

        unsigned int inside_partition : 1; /* '1' : in use as internal signal

  unsigned int inside_partition : 1; /* '1' : in use as internal signal

                                              in partition */

                                        in partition */

        unsigned int needs_buff_sig : 1;   /* if '1' then the external connection needs a local

  unsigned int needs_buff_sig: 1;  /* if '1' then the external connection needs a local signal */

        unsigned int force_port : 1;   /* if '1' then the net will be forced to be a port on

  unsigned int force_port: 1;  /* if '1' then the net will be forced to be a port on partition  */

        unsigned int type_defined : 1; /* the signal type has been defined so does not need to

  unsigned int type_defined: 1;  /* the signal type has been defined so does not need to be

                                          be patched up by guesswork in the partition

                                    patched up by guesswork in the partition calculation Oct 2000*/

        /* bundle structures : cause signal renaming when sockets

 /* bundle structures : cause signal renaming when sockets

           are converted to a wire bundle leaving the

    are converted to a wire bundle leaving the

           partition */

    partition */

        unsigned int bundle_member; /* set if the net is a bundle member */

  unsigned int  bundle_member;  /* set if the net is a bundle member */

        int bundle_index;           /* the ordinal number of the pin of the bundle */

  int          bundle_index;       /* the ordinal number of the pin of the bundle */

        pindir_t ext_dir;          /* basic boundary crossing direction*/

  pindir_t ext_dir;                  /* basic boundary crossing direction*/

        /*  char *   datatype;  */ /* the string description of the data type */

/*  char *   datatype;  */                 /* the string description of the data type */

        vhdl_t *vhdltype;          /* what this looks like in VHDL */

  vhdl_t * vhdltype;                  /* what this looks like in VHDL */

        struct netref *next;

  struct netref * next;

        net_t *net;

  net_t * net;

        struct unrouted_ref *next;

  struct unrouted_ref * next;

        net_t **listref;  /* the root pointer of which list this unrouted reference has been

  net_t ** listref;       /* the root pointer of which list this unrouted reference has been added to */

        char *identifier; /* used to point to the pin identifier before creating unrouted net

  char * identifier;  /* used to point to the pin identifier before creating unrouted net */

        char *name;       /* this is the name by which this pin shall be known */

  char * name;        /* this is the name by which this pin shall be known */

        char *orig_name; /* if this pointer is not null then the name of this reference will be

  char * orig_name;       /* if this pointer is not null then the name of this reference will be used

                            used in place of the net name when creating the nets !! */

                             in place of the net name when creating the nets !! */

        pindir_t pindir; /* proposed pin type input ? output ? bidir ? unknown ? */

  pindir_t   pindir;      /* proposed pin type input ? output ? bidir ? unknown ? */

        int pin_group;

  int        pin_group;

        vhdl_t *vhdltype;       /* what this looks like in VHDL */

  vhdl_t *  vhdltype;                  /* what this looks like in VHDL */

        vhdl_t *orig_vhdltype;  /* place holder for the signal type as originally declared */

  vhdl_t *  orig_vhdltype;  /* place holder for the signal type as originally declared */

        expression_t *lhs_expr; /* expression is sliced on the LHS */

  expression_t * lhs_expr; /* expression is sliced on the LHS */

typedef struct equivalent_node

typedef struct equivalent_node {

        struct equivalent_node *next;

  struct equivalent_node * next;

        node_t *node;

  node_t * node;

} equivalent_node_t;

  } equivalent_node_t;

typedef struct equivalent_node_set

typedef struct equivalent_node_set {

        struct equivalent_node_set *next;

  struct equivalent_node_set * next;

        equivalent_node_t *nodes;

  equivalent_node_t * nodes;

} equivalent_node_set_t;

  } equivalent_node_set_t;

        struct socket *next;

  struct socket * next;

        struct socket *template_socket; /* the VHDL component for this entity if present */

  struct socket * template_socket; /* the VHDL component for this entity if present */

        char *identifier;               /* e.g U1, U2 */

  char * identifier; /* e.g U1, U2 */

        char *type;

  char * type;

        char *name;

  char * name;

        char *value;

  char * value;

        node_t *nodes; /* the nodes attached to this chip */

  node_t * nodes; /* the nodes attached to this chip */

        node_t *lastnode;

  node_t * lastnode;

        unrouted_ref_t *unrouted_refs; /* when an unrouted node is read in the node is added

  unrouted_ref_t * unrouted_refs; /* when an unrouted node is read in the node is added here */

        generic_info_t *generics;      /* look in generic.c for more info */

  generic_info_t * generics; /* look in generic.c for more info */

        generic_info_t *unrouted_generics;          /* before elaboration */

  generic_info_t * unrouted_generics;/* before elaboration */

        equivalent_node_set_t *equivalent_node_set; /* these pins carry equivalent signals

  equivalent_node_set_t *  equivalent_node_set; /* these pins carry equivalent signals

                                         FPGA context : represent inner through signals

                                     FPGA context : represent inner through signals

                                         component context : represent external jumpers

                                     component context : represent external jumpers

                                         around pins of component. */

                                     around pins of component. */

        int max_pin_col; /* determine pin identifier limits for later (see sorting.c, */

  int max_pin_col;     /* determine pin identifier limits for later (see sorting.c, */

        int min_pin_col; /* sorting device pin IDs for more info.)                    */

  int min_pin_col;     /* sorting device pin IDs for more info.)                    */

        int max_pin_row;

  int max_pin_row;

        int min_pin_row;

  int min_pin_row;

        unsigned int is_FPGA : 1; /*  alters interpretation of equivalent nodes */

  unsigned int is_FPGA:1;     /*  alters interpretation of equivalent nodes */

        unsigned int selected : 1;    /* a '1' here is used in the VHDL printout */

  unsigned int selected:1;   /* a '1' here is used in the VHDL printout */

        unsigned int is_external : 1; /* a '1' here changes the rules about external ports*/

  unsigned int is_external:1; /* a '1' here changes the rules about external ports*/

                                      /* If it is external then all nets attached give their

                              /* If it is external then all nets attached give their

                                         names to the pins of the socket rather than calling

                                 names to the pins of the socket rather than calling

                                         them 'rsvXXXXXz' */

                                 them 'rsvXXXXXz' */

        unsigned int is_template : 1; /*   this chip is a template if it is '1' */

  unsigned int is_template:1; /*   this chip is a template if it is '1' */

        unsigned int socket_type_seen : 1;  /* used in verilog printout to force

  unsigned int socket_type_seen:1;   /* used in verilog printout to force

                                             * printout of only one instance

                                    * printout of only one instance

                                             * of a particular type */

                                    * of a particular type */

        struct socket *parent_template_ref; /*   this chip is an alias template if this pointer

  struct socket * parent_template_ref; /*   this chip is an alias template if this pointer is non-null  */

        int route_flags;      /* any device can have its fasttrack flags set independently */

  int    route_flags;         /* any device can have its fasttrack flags set independently */

        int named_in_use_cnt; /* counters used by the statistics module */

  int    named_in_use_cnt;    /* counters used by the statistics module */

        int named_cnt;

  int    named_cnt;

        int routed_cnt;

  int    routed_cnt;

        int unrouted_cnt;

  int    unrouted_cnt;

        int lowest_bundle; /* base for bundle indices */

  int    lowest_bundle; /* base for bundle indices */

        int highest_bundle; /* non-zero will create an external net declaration using a bus

  int highest_bundle ; /* non-zero will create an external net declaration using a bus with highest_bundle -1 pins on it in the top

                               partition */

                          level of a partition */

        int bundle_width;   /* number of valid pins in the bundle */

  int bundle_width   ; /* number of valid pins in the bundle */

extern int strcmp2 (char *s, char *t);

extern int strcmp2(char * s, char * t);

#define allocstr(s) ((s) == NULL ? NULL : strdup (s))

#define allocstr(s) ((s)==NULL ? NULL : strdup(s))

extern void define_pin (

extern vhdl_t * get_vhdl_buswidth( noderef_t * ref );

    net_t **listref,

extern void define_pin(net_t ** listref,

    socket_t *chip,

                       socket_t * chip,

    char *name,

                       char * name,

    int pin_type,

                       int pin_type,

    int pin_group,

                       int pin_group,

    char *identifier,

                       char * identifier,

    vhdl_t *vhdl,

                       vhdl_t * vhdl,

    expression_t *lhs_expr);

                       expression_t * lhs_expr);

extern void ensure_socket_ident (socket_t *chip);

extern void ensure_socket_ident(socket_t * chip);

extern void set_board_suffix (char *s);

extern void set_board_suffix(char * s);

extern void set_socket (socket_t *socket, property_t prop, char *str);

extern void set_socket(socket_t * socket,

extern socket_t *find_socket (property_t prop, char *str, int srchonly, socket_t **head_ref);

extern socket_t * find_socket(property_t prop,

extern net_t *find_net (net_t **listref, property_t prop, char *str, int srchonly);

extern void set_net(net_t * net,property_t prop,char * str);

extern void set_node (node_t *node, property_t prop, char *str);

extern void set_node(node_t * node,

extern node_t *find_node (socket_t *socket, property_t prop, char *str, int srchonly);

extern node_t * find_node(socket_t * socket,

    char *orig_name, /* added to allow name aliasing (this will be the OLD name ) */

extern void connect_node_net(char * orig_name, /* added to allow name aliasing (this will be the OLD name ) */

    node_t *cnode,

                             node_t * cnode,

    net_t *cnet,

                             net_t * cnet,

    pindir_t pindir,

                             pindir_t pindir,

    vhdl_t *vhdl,

                             vhdl_t * vhdl,

    vhdl_t *orig_vhdl,

                             vhdl_t * orig_vhdl,

    expression_t *lhs_expr);

                             expression_t * lhs_expr);

extern void del_net_names (char *template);

extern void del_net_names(char * template);

extern void disconnect_node (socket_t *chip, node_t *node);

extern void disconnect_node(socket_t * chip, node_t * node);

extern char nullstr[];

extern net_t    * named_tail;

extern char *decode_which_list (net_t **list_head);

extern char * decode_which_list(net_t ** list_head);

extern vhdl_t *default_vhdl_datatype;

extern vhdl_t * default_vhdl_datatype;

extern vhdl_t *default_vhdl_bustype;

extern vhdl_t * default_vhdl_bustype;