| #include <vpi_user.h> |
| #include <veriuser.h> |
| |
| char *veriuser_version_str = "Test PLI v0.1 "; |
| |
| static int pli_test() |
| { |
| int a; |
| a = tf_getp(1); |
| printf ("PLI Parameter received 0x%x\n",a); |
| return 0; |
| } |
| |
| static int return_32() |
| { |
| return (32); |
| } |
| |
| |
| static s_tfcell veriusertfs[] = { |
| {userfunction, 0, 0, return_32, pli_test, 0, "$pli_test", 1}, |
| /* all entry must be entered before this line */ |
| {0, 0, 0, 0, 0, 0, 0, 0} /* this must be the last entry */ |
| }; |
| |
| static void veriusertfs_register(void) { |
| veriusertfs_register_table(veriusertfs); |
| } |
| |
| void (*vlog_startup_routines[])() = { &veriusertfs_register, 0 }; |
