Subversion Repositories or1k

/* vapi.h - Verification API Interface

   Copyright (C) 2001, Marko Mlinar, markom@opencores.org

This file is part of OpenRISC 1000 Architectural Simulator.

This program is free software; you can redistribute it and/or modify

it under the terms of the GNU General Public License as published by

the Free Software Foundation; either version 2 of the License, or

(at your option) any later version.

This program is distributed in the hope that it will be useful,

but WITHOUT ANY WARRANTY; without even the implied warranty of

MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

GNU General Public License for more details.

You should have received a copy of the GNU General Public License

along with this program; if not, write to the Free Software

Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */

#ifndef _VAPI_H_

#define _VAPI_H_

/* Maximum value for VAPI device id */

#define VAPI_MAX_DEVID 0xFFFF  

/* Inits the VAPI, according to sim-config */

int vapi_init ();

/* Closes the VAPI */

void vapi_done ();

/* Installs a vapi handler for one VAPI id */

void vapi_install_handler (unsigned long id, void (*read_func) (unsigned long, unsigned long, void *), void *dat);

/* Installs a vapi handler for multiple VAPI id */

void vapi_install_multi_handler (unsigned long base_id, unsigned long num_ids, void (*read_func) (unsigned long, unsigned long, void *), void *dat);

/* Checks for incoming packets */

void vapi_check ();

/* Returns number of unconnected handles.  */

int vapi_num_unconnected (int printout);

/* Sends a packet to specified test */

int vapi_send (unsigned long id, unsigned long data);

#define VAPI_DEVICE_ID (0xff)

/* Types of commands that can be written to the VAPI log file */

typedef enum {

        VAPI_COMMAND_REQUEST = 0, /* Data coming from outside world to device */

        VAPI_COMMAND_SEND = 1, /* Device writing data to the outside world */

        VAPI_COMMAND_END = 2 /* End of log for device */

} VAPI_COMMAND;

/* Writes a line directly to the log file (used by JTAG proxy) */

void vapi_write_log_file(VAPI_COMMAND command, unsigned long device_id, unsigned long data);

#endif /* _VAPI_H_ */