[OpenSPARC-T2-DV] / verif / env / common / pli / global_chkr / loadpli /
drwxr-xr-x   ..
-rw-r--r-- 11576 Makefile.nc
-rwxr-xr-x 200 compile
-rwxr-xr-x 225 compile.0
-rw-r--r-- 440 global_chkr_fundef.c
-rw-r--r-- 192 global_chkr_funext.h
-rw-r--r-- 69276 libglobal_chkr_loadpli.a
-rwxr-xr-x 76748 libglobal_chkrpli.so
drwxr-xr-x - linux
-rw-r--r-- 1496 veriuser.c
-rw-r--r-- 2276 veriuser.o