[OpenSPARC-T2-DV] / verif / env / niu / rxc_sat / vera / include /
drwxr-xr-x   ..
-rwxr-xr-x 3971 dmc_rxc_drv_ports.vri
-rwxr-xr-x 5251 dmc_zcp_drv_ports.vri
-rwxr-xr-x 1790 rxc_defines.vri
-rwxr-xr-x 4299 rxc_dmc_chkr_ports.vri