This file is indexed.

/usr/share/tkgate/primitives/nmos_trans.v is in tkgate-data 2.0~b10-4.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
module nmos_trans #(.Diz(1), .Dgz(1)) (Z, S, G);
   input ${SGZ_RANGE} S, G;
   output ${SGZ_RANGE} Z;

//   specify
//      (G *> Z) = Dgz;
//      (S *> Z) = Diz;
//   endspecify

   nmos #Dgz mos${SGZ_RANGE} (Z, ${invZ}S, G);

endmodule // nmos_trans