[OpenSPARC-T2-DV] / verif / env / fc / vera / niu_chk /
drwxr-xr-x   ..
-rwxr-xr-x 3173 Makefile
drwxr-xr-x - include
-rw-r--r-- 3015 niu_checker.vr