[OpenSPARC-T2-DV] / libs / cl / cl_sc1 /
drwxr-xr-x   ..
-rwxr-xr-x 135295 cl_sc1.behV
-rwxr-xr-x 136271 cl_sc1.v