veriuser_ng.c 1.82 KB
/* Last Edit: Mon May  6 16:18:45 1991 by porky */

/* Filename: veriuser.c */
/*****************************************************************************
*   This is the `veriuser.c' file.  For more information about the contents
*   of this file, please see `veriuser.doc'.
*****************************************************************************/

#include "veriuser.h"
static char *sccs_string_veriuser_c = "@(#)veriuser.c    22.1 10/2/90";


char *veriuser_version_str = "";

int (*endofcompile_routines[])() = 
{
    0 /*** final entry must be 0 ***/
};


bool err_intercept(level,facility,code)
int level; char *facility; char *code;
{ return(true); }

extern int gb_put();
extern int gb_get();
extern int gb_init();
extern int gb_rmid();
extern int gb_sync();
extern int gb_read();
extern int gb_plus();
extern int gb_read_size();
extern int dimem();
extern int drmem();
extern int dwmem();

s_tfcell veriusertfs[] =
{
    /*** Template for an entry:
    { usertask|userfunction, data, checktf(), sizetf(), calltf(), misctf(),
      "$tfname", forwref?, Vtool?, ErrMsg? },
    Example:
    { usertask, 0, my_check, 0, my_func, my_misctf, "$my_task" },
    ***/

    /*** add user entries here ***/
    {userfunction, 0, 0,gb_read_size,gb_read,0,"$gb_read",0,"Verilog",""},
    {usertask, 0, 0,0,gb_plus,0,"$gb_plus",0,"Verilog",""},
    {usertask, 0, 0,0,dimem,0,"$dimem",0,"Verilog",""},
    {usertask, 0, 0,0,dwmem,0,"$dwmem",0,"Verilog",""},
    {usertask, 0, 0,0,drmem,0,"$drmem",0,"Verilog",""},
    {usertask, 0, 0,0,gb_put,0,"$gb_put",0,"Verilog",""},
    {usertask, 0, 0,0,gb_get,0,"$gb_get",0,"Verilog",""},
    {usertask, 0, 0,0,gb_sync,0,"$gb_sync",0,"Verilog",""},
    {usertask, 0, 0,0,gb_init,0,"$gb_init",0,"Verilog",""},
    {usertask, 0, 0,0,gb_rmid,0,"$gb_rmid",0,"Verilog",""},

    {0} /*** final entry must be 0 ***/
};