Initial commit of OpenSPARC T2 design and verification files.
[OpenSPARC-T2-DV] / verif / env / common / pli / vera / loadpli / vmc_veri_funext.h
CommitLineData
86530b38
AT
1/* #include "vera_ifc.h" */
2
3/* VMC external declarations */
4
5
6extern int vmc_size();
7extern int vmc_init();
8extern int vmc_init_misctf (int data, int reason, int paramvc);
9extern int vmc_init_check();
10extern int vmc_setup_start();
11extern int vmc_setup_misctf();
12extern int vmc_system_clock();
13extern int vmc_start_program();
14extern int vmc_add_variable();
15extern int vmc_add_variable_array();
16extern int vmc_add_variable_array_elmt();
17extern int vmc_add_interface_signal();
18extern int vmc_signal_change_misctf(int data, int reason, int paramvc);
19extern int vmc_add_verilog_task();
20extern int vmc_done_task_misctf(int data, int reason, int paramvc);
21extern int vmc_add_vera_task();
22extern int vmc_vera_task_call();
23extern int vmc_vera_load();
24extern int vmc_vera_mload();
25extern int vmc_vera_pload();
26extern int vmc_vera_debugger();
27extern int vmc_vera_add_parameter();
28extern int vmc_get_export_index();