`celldefine
 `timescale 1ns/1ps
 module nand3_2_v25 ( X , A1 , A2 , A3 );
    output X;
    input A1, A2, A3;
 
    /////////////////////////////////////
    //          FUNCTIONALITY          //
    /////////////////////////////////////
 
    nand (X, A1, A2, A3);
 
    /////////////////////////////////////
    //             TIMING              //
    /////////////////////////////////////
 
 
  
 
 
  
 
 
    specify
 ///////   PATH DELAY SELECTION FROM SDF  //////////////
       ( A1 => X ) = ( 0.0, 0.0 );
       ( A2 => X ) = ( 0.0, 0.0 );
       ( A3 => X ) = ( 0.0, 0.0 );
 //////////// END OF SDF TIMING DATA SECTION  /////////////////////
 
    endspecify
 endmodule
 `endcelldefine