[OpenSPARC-T2-DV] / verif / env / cmp /
drwxr-xr-x   ..
-rw-r--r-- 4999 cmp.flist
-rw-r--r-- 2632 cmp.vh
-rw-r--r-- 41774 cmp_top.v
-rw-r--r-- 5959 dump_scope.vh
-rwxr-xr-x 1898 pli_learn_all.tab
drwxr-xr-x - vera
-rw-r--r-- 1900 verif_args.v