/* $Id: dpi_vpi.c,v 1.1 2005/04/06 06:36:49 drich Exp drich $ */
/* dave_rich@mentor.com  */

#include "vpi_user.h"
#include "dpi_vpi.h"

vpiHandle VPI_handle_by_name(const char *name) {
  vpiHandle handle;
  if(handle = vpi_handle_by_name(name,0))
    return handle;
  else {
      vpi_printf("VPI_handle_by_name: Can't find name %s\n", name);
      return 0;
  }
}

int32_t VPI_get_value(vpiHandle handle) {
  s_vpi_value value_p;
  if (handle) {
    value_p.format = vpiIntVal;
    vpi_get_value(handle,&value_p);
    return value_p.value.integer;
  }
  else
    vpi_printf("VPI_get_value: error null handle\n");
}

void VPI_put_value(vpiHandle handle, int value) {
  s_vpi_value value_p;
  if (handle) {
    value_p.format = vpiIntVal;
    value_p.value.integer = value;
    vpi_put_value(handle,&value_p,0,vpiNoDelay);
  }
  else
    vpi_printf("VPI_put_value: error null handle\n");
}