blob: 16b0250e9f34135e8cac28ef3917dbe14a3a64fb [file] [log] [blame]
// type: INV
`timescale 1ns/10ps
`celldefine
module INVX1 (Y, A);
output Y;
input A;
// Function
not (Y, A);
// Timing
specify
(A => Y) = 0;
endspecify
endmodule
`endcelldefine