[OpenSPARC-T2-DV] / verif / env / ilu_peu / vera /
drwxr-xr-x   ..
-rw-r--r-- 26474 Makefile
drwxr-xr-x - N2Test
drwxr-xr-x - N2ctx
drwxr-xr-x - N2env
drwxr-xr-x - N2fc
drwxr-xr-x - N2str
drwxr-xr-x - context
drwxr-xr-x - csr
drwxr-xr-x - csrtool
-rw-r--r-- 2071 ilupeuGlobals.vr
-rw-r--r-- 4954 ilupeuPodClass.vr
drwxr-xr-x - include
drwxr-xr-x - strategy