Commit | Line | Data |
---|---|---|
86530b38 AT |
1 | /* #include "vera_ifc.h" */ |
2 | ||
3 | /* VMC external declarations */ | |
4 | ||
5 | ||
6 | extern int vmc_size(); | |
7 | extern int vmc_init(); | |
8 | extern int vmc_init_misctf (int data, int reason, int paramvc); | |
9 | extern int vmc_init_check(); | |
10 | extern int vmc_setup_start(); | |
11 | extern int vmc_setup_misctf(); | |
12 | extern int vmc_system_clock(); | |
13 | extern int vmc_start_program(); | |
14 | extern int vmc_add_variable(); | |
15 | extern int vmc_add_variable_array(); | |
16 | extern int vmc_add_variable_array_elmt(); | |
17 | extern int vmc_add_interface_signal(); | |
18 | extern int vmc_signal_change_misctf(int data, int reason, int paramvc); | |
19 | extern int vmc_add_verilog_task(); | |
20 | extern int vmc_done_task_misctf(int data, int reason, int paramvc); | |
21 | extern int vmc_add_vera_task(); | |
22 | extern int vmc_vera_task_call(); | |
23 | extern int vmc_vera_load(); | |
24 | extern int vmc_vera_mload(); | |
25 | extern int vmc_vera_pload(); | |
26 | extern int vmc_vera_debugger(); | |
27 | extern int vmc_vera_add_parameter(); | |
28 | extern int vmc_get_export_index(); |