[OpenSPARC-T2-DV] / verif / model / infineon / loadpli /
drwxr-xr-x   ..
-rw-r--r-- 11554 Makefile.nc
-rwxr-xr-x 200 compile
-rwxr-xr-x 229 compile.0
-rw-r--r-- 124280 libmemory_loadpli.a
-rwxr-xr-x 160316 libmemorypli.so
drwxr-xr-x - linux
-rw-r--r-- 894 memory_fundef.c
-rw-r--r-- 466 memory_funext.h
-rw-r--r-- 1461 veriuser.c
-rw-r--r-- 2172 veriuser.o