[OpenSPARC-T2-DV] / verif / env / niu / txc_sat /
drwxr-xr-x   ..
drwxr-xr-x - vera