veriuser.h

你自己漫漫理解吧

#ifdef ANSI
extern int tf_clearalldelays();
extern int tf_iclearalldelays();
#else
extern tf_clearalldelays();
extern tf_iclearalldelays();
#endif

extern int tf_strdelputp();
extern int tf_istrdelputp();
extern int tf_strlongdelputp();
extern int tf_istrlongdelputp();
extern int tf_strrealdelputp();
extern int tf_istrrealdelputp();

extern int tf_copypvc_flag();
extern int tf_icopypvc_flag();
extern int tf_movepvc_flag();
extern int tf_imovepvc_flag();
extern int tf_testpvc_flag();
extern int tf_itestpvc_flag();
extern int tf_getpchange();
extern int tf_igetpchange();

extern int tf_write_save();
extern int tf_read_restart();
#ifdef ANSI
/* Solaris 2.2 compiler complains if "void" is left out */
extern void tf_setworkarea();
extern void tf_isetworkarea();
#else
/*
 * This is the declarations from OVI.
 */
extern tf_setworkarea();
extern tf_isetworkarea();
#endif
extern char *tf_getworkarea();
extern char *tf_igetworkarea();

#ifdef ANSI
extern int tf_setroutine();
extern int tf_isetroutine();
extern int tf_settflist();
extern int tf_isettflist();
#else
extern tf_setroutine();
extern tf_isetroutine();
extern tf_settflist();
extern tf_isettflist();
#endif

extern char *(*tf_getroutine())();
extern char *(*tf_igetroutine())();
extern char *tf_gettflist();
extern char *tf_igettflist();

extern char *tf_mipname();
extern char *tf_imipname();
extern char *tf_spname();
extern char *tf_ispname();

extern int tf_sizep();
extern int tf_isizep();

#ifdef lint /* Placate LINT */
extern void io_mcdprintf(); 
#else
#ifdef ANSI
#ifdef PLI_VA_ARG
extern void io_mcdprintf(int mcd, char *fmt, ...); 
#else /* !PLI_VA_ARG */
/*
 * Solaris 2.2 compiler complains if "void" is left out
 */
extern void io_mcdprintf(); 
#endif /* !PLI_VA_ARG */
#else /* !ANSI */
extern io_mcdprintf(); 
#endif /* !ANSI */
#endif

extern char *mc_scan_plusargs();

extern int tf_getlongp();
extern int tf_igetlongp();
/* As per IEEE1364, returns are void, not int. */
extern void tf_putlongp();
extern void tf_iputlongp();

extern int tf_getlongtime();
extern char *tf_strgettime();

#ifdef ANSI
/*
 * Solaris 2.2 compiler complains if "void" is left out
 */
extern void tf_rosynchronize();
extern void tf_irosynchronize();
#else
/*
 * These are the declarations from OVI.
 */
extern tf_rosynchronize();
extern tf_irosynchronize();
#endif

extern int tf_getnextlongtime();
extern int tf_getnextrealtime();
extern char *tf_longtime_tostr();

extern int tf_compare_long();
#ifdef ANSI
/*
 * Solaris 2.2 compiler complains if "void" is left out
 */
extern void tf_add_long();
extern void tf_subtract_long();
#else
/*
 * These are the declarations from OVI.
 */
extern tf_add_long();
extern tf_subtract_long();
#endif

extern void tf_multiply_long(); 
extern void tf_divide_long(); 

extern void tf_scale_realdelay(); 
extern void tf_scale_longdelay(); 
extern void tf_unscale_realdelay(); 
extern void tf_unscale_longdelay(); 

extern void tf_real_to_long(); 
extern void tf_long_to_real(); 
/***********************************************/




/* data structure for use with tf_exprinfo routine to get
   expression information
*/
typedef struct t_tfexprinfo
{
    short expr_type; /* expression type information, one of:
        tf_nullparam
        tf_string
        tf_readonly
        tf_readwrite
        tf_rwbitselect
        tf_rwpartselect
        tf_rwmemselect
        tf_readonlyreal
        tf_readwritereal
        */
    short padding;
    struct t_vecval *expr_value_p; /* pointer to expression value */
    double real_value; /* expression value for 'real' expressions */
    char *expr_string; /* pointer to string when parameter is a string */
    int expr_ngroups; /* no of groups in expression value */
    int expr_vec_size; /* no of bits in expression value */
    int expr_sign; /* sign of the expression value:
                       0 for unsigned , non-zero for signed */
    int expr_lhs_select; /* not used at present
        result of either:
            bit-select
            msb of part-select
            element selection
        */
    int expr_rhs_select; /* not used at present
        result of either:
            bit-select (same value as previous component)
            lsb of part-select
            element selection (same value as previous component)
        */
} s_tfexprinfo, *p_tfexprinfo;



/* data structure for use with tf_nodeinfo routine to get
   node information
*/
typedef struct t_tfnodeinfo
{
    short node_type; /* expression type information, one of:
        tf_null_node
        tf_reg_node
        tf_integer_node
        tf_time_node
        tf_netvector_node
        tf_netscalar_node
        tf_memory_node
        tf_real_node
        */
    short padding;
    union
    {
        struct t_vecval *vecval_p; /* reg, integer, time, net vector value */
        struct t_strengthval *strengthval_p; /* net scalar value */
        char *memoryval_p; /* memory value */
        double *real_val_p; /* type 'real' value */
    } node_value;
    char *node_symbol; /* identifying string of node */
    int node_ngroups; /* no of groups in node value */
    int node_vec_size; /* no of bits in node value */
    int node_sign; /* sign of the node value
                       0 for unsigned , non-zero for signed */
    int node_ms_index; /* not used at present
                           most significant index of node value */
    int node_ls_index; /* not used at present
                           least significant index of node value */
    int node_mem_size; /* no of elements in memory structure */
    int node_lhs_element; /* not used at present
                              lhs memory element address */
    int node_rhs_element; /* not used at present
                              rhs memory element address */
    int *node_handle; /*jjp052389 add handle field for access integration */
} s_tfnodeinfo, *p_tfnodeinfo;



/* data structure of vector values */
typedef struct t_vecval
{
    int avalbits; /* bit-coding for each bit of vector: */
    int bvalbits; /* ab: 00=0, 10=1, 11=X, 01=Z */
} s_vecval, *p_vecval;



/* data structure of scalar net strength values */
typedef struct t_strengthval
{
    int strength0; /* 0 strength component */
    int strength1; /* 1 strength component */
} s_strengthval, *p_strengthval;



/*
   data structure of memory values
   byte array organized in format:

        struct
        {
            char avalbits[ngroups];    bit-coding for each element:
            char bvalbits[ngroups];    ab: 00=0, 10=1, 11=X, 01=Z
        } memval[mem_size];

   with element addressed by left-hand-side index in
   declaration as the first word.
   N.B. this data structure cannot be represented in C, thus it
   it is declared as an array of char's.
*/




/* types used by tf_typep() and expr_type in tf_exprinfo structure */
#define tf_nullparam 0
#define TF_NULLPARAM 0
#define tf_string 1
#define TF_STRING 1
#define tf_specialparam 2
#define TF_SPECIALPARAM 2
#define tf_readonly 10
#define TF_READONLY 10
#define tf_readwrite 11
#define TF_READWRITE 11
#define tf_rwbitselect 12
#define TF_RWBITSELECT 12
#define tf_rwpartselect 13
#define TF_RWPARTSELECT 13
#define tf_rwmemselect 14
#define TF_RWMEMSELECT 14
#define tf_readonlyreal 15
#define TF_READONLYREAL 15
#define tf_readwritereal 16
#define TF_READWRITEREAL 16

/* types used by node_type in tf_nodeinfo structure */
#define tf_null_node 100
#define TF_NULL_NODE 100
#define tf_reg_node 101
#define TF_REG_NODE 101
#define tf_integer_node 102
#define TF_INTEGER_NODE 102
#define tf_time_node 103
#define TF_TIME_NODE 103
#define tf_netvector_node 104
#define TF_NETVECTOR_NODE 104
#define tf_netscalar_node 105
#define TF_NETSCALAR_NODE 105
#define tf_memory_node 106
#define TF_MEMORY_NODE 106
#define tf_real_node 107
#define TF_REAL_NODE 107

#ifdef __cplusplus
}
#endif /* cplusplus */