`celldefine
 `timescale 1ns/1ps
 module nand2i_4_v25 ( X , A , B );
    output X;
    input A, B;
 
    wire int_res_0;
 
    /////////////////////////////////////
    //          FUNCTIONALITY          //
    /////////////////////////////////////
 
    not (int_res_0, A);
    nand (X, int_res_0, B);
 
    /////////////////////////////////////
    //             TIMING              //
    /////////////////////////////////////
 
 
  
 
 
  
 
 
    specify
 ///////   PATH DELAY SELECTION FROM SDF  //////////////
       ( A => X ) = ( 0.0, 0.0 );
       ( B => X ) = ( 0.0, 0.0 );
 //////////// END OF SDF TIMING DATA SECTION  /////////////////////
 
    endspecify
 endmodule
 `endcelldefine