| // type: NAND2 | |
| `timescale 1ns/10ps | |
| `celldefine | |
| module NAND2X1 (Y, A, B); | |
| output Y; | |
| input A, B; | |
| // Function | |
| wire A__bar, B__bar; | |
| not (B__bar, B); | |
| not (A__bar, A); | |
| or (Y, A__bar, B__bar); | |
| // Timing | |
| specify | |
| (A => Y) = 0; | |
| (B => Y) = 0; | |
| endspecify | |
| endmodule | |
| `endcelldefine | |