[OpenSPARC-T2-DV] / verif / env / common / pli / vera / loadpli /
drwxr-xr-x   ..
-rw-r--r-- 11806 Makefile.nc
-rwxr-xr-x 150 compile
-rwxr-xr-x 5848544 libverapli.so
drwxr-xr-x - linux
-rw-r--r-- 1451 veriuser.c
-rw-r--r-- 4104 veriuser.o
-rw-r--r-- 51 vmc.c
-rw-r--r-- 516 vmc.o
-rw-r--r-- 1306 vmc_veri_fundef.c
-rw-r--r-- 905 vmc_veri_funext.h