This file is indexed.

/usr/share/tkgate/primitives/mux.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
13
14
15
16
module mux #(.Dsz(1), .Diz(1)) ($${NUMIN:I%, }S, Z);
   input ${IZ_RANGE} $${NUMIN:, :I%};
   input ${S_RANGE} S;
   output ${IZ_RANGE} Z;
   reg 	  ${IZ_RANGE} Z;

   always
     begin
	case (S)
$${NUMIN:\n:	  ${S_BITS}'d%: Z <= #Dsz ${invZ} I%;}
	  default: Z <= #Dsz ${invZ} ${IZ_BITS}'hx;
	endcase // case(S)
	@(S or $${NUMIN: or :I%});
     end
      
endmodule // mux