/*
*	$Id: header.lib,v 1.3 1999/01/31 12:02:41 ryu Exp $
*
*	Copyright (C) 1999 Robert K. Yu
*	email: robert@yu.org
*
*	This file is part of Autochar.
*
*	Autochar is free software; you can redistribute it and/or modify
*	it under the terms of the GNU General Public License as published by
*	the Free Software Foundation; either version 2, or (at your option)
*	any later version.
*
*	Autochar is distributed in the hope that it will be useful,
*	but WITHOUT ANY WARRANTY; without even the implied warranty of
*	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
*	GNU General Public License for more details.
*
*	You should have received a copy of the GNU General Public License
*	along with Autochar; see the file COPYING.  If not, write to the
*	Free Software Foundation, Inc., 59 Temple Place - Suite 330,
*	Boston, MA 02111-1307, USA.
*/

library (stdcells) {
    /* variables */
    cap_unit			= 0.01;
    cap_factor			= 10;
    max_fanout_num		= 15;
    delay_model :		table_lookup ;

    time_unit :			"1ns";
    voltage_unit :		"1V";
    current_unit :		"1uA";
    pulling_resistance_unit :	"1kohm";
    capacitive_load_unit	(1, pf);
    default_input_pin_cap :	0.01;	
    default_output_pin_cap :	0.01;	
    default_inout_pin_cap :	0.01;	
    default_fanout_load :	1.0;

    in_place_swap_mode :	match_footprint ;

    date :			"January 1, 1999" ;

    lu_table_template(slew_cload) {
        variable_1 : input_net_transition ;
        variable_2 : total_output_net_capacitance ;
        index_1 ("0.66667, 1.3333, 2.6666, 3.9999, 6.6666");
	index_2 ("0.0025, 0.01, 0.025, 0.05, 0.075, 0.12");
    }

    lu_table_template(slew) {
	variable_1 : constrained_pin_transition;
	index_1 ("0.66667, 1.33333, 2, 2.66667, 5.33333 ");
    }

    lu_table_template(cload) {
	variable_1 : total_output_net_capacitance ;
        index_1 ("0.0025, 0.01, 0.025, 0.05, 0.075, 0.12");
    }

    type ( bus16 ) {
	base_type : array ;
	data_type : bit ;
	bit_width : 16 ;
	bit_from : 15 ;
	bit_to : 0 ;
	downto : true ;
    }

    type ( bus8 ) {
	base_type : array ;
	data_type : bit ;
	bit_width : 8 ;
	bit_from : 7 ;
	bit_to : 0 ;
	downto : true ;
    }

    /* append model data below */
/*
 *	$Id$

 *	DO NOT EDIT.  This file generated automagically.
 *	Created: Wed Jul 28  7:48:25 1999
 *	User: ryu

 */

    cell( "dff_2x" ) {
	area : 0 ;
	
	ff ("IQ") {
	    next_state : "d";
	    clocked_on : "clk";
	}
	statetable ( "  d   clk ", " Q ") {
	    table  : "  -   ~R  : - - :  N, \
			H/L  R  : - - : H/L";
	}
	cell_footprint : "dff" ;
	pin( "q" ) {
	    max_capacitance : cap_factor * cap_unit * 2 ;
	    internal_node : "Q" ;
	    max_fanout : max_fanout_num ;
	    function : "IQ" ;
	    direction : output ;
	    timing () {
		related_pin : "clk" ;
		timing_type : rising_edge ;
		rise_propagation (cload) {
		    /* Actual measurement values:
		    values ("6.0927e+00, 6.4575e+00, 6.9805e+00, 7.5992e+00, 8.0965e+00, 8.8637e+00")
		    */
		    /* Propagation minus rise transition delay: */
		    values ("4.6096e+00, 4.7498e+00, 4.9517e+00, 5.1547e+00, 5.2613e+00, 5.3152e+00")
		}
		rise_transition (cload) {
		    values ("1.4830e+00, 1.7077e+00, 2.0288e+00, 2.4445e+00, 2.8352e+00, 3.5485e+00")
		}
		fall_propagation (cload) {
		    /* Actual measurement values:
		    values ("7.5180e+00, 7.9150e+00, 8.4898e+00, 9.1555e+00, 9.6638e+00, 1.0423e+01")
		    */
		    /* Propagation minus rise transition delay: */
		    values ("5.6127e+00, 5.7735e+00, 6.0580e+00, 6.4192e+00, 6.6633e+00, 6.9392e+00")
		}
		fall_transition (cload) {
		    values ("1.9053e+00, 2.1415e+00, 2.4318e+00, 2.7363e+00, 3.0005e+00, 3.4837e+00")
		}
	    }
	    timing () {
		related_pin : "clk_n" ;
		timing_type : falling_edge ;
		rise_propagation (cload) {
		    /* Actual measurement values:
		    values ("6.0927e+00, 6.4575e+00, 6.9805e+00, 7.5992e+00, 8.0965e+00, 8.8637e+00")
		    */
		    /* Propagation minus rise transition delay: */
		    values ("4.6096e+00, 4.7498e+00, 4.9517e+00, 5.1547e+00, 5.2613e+00, 5.3152e+00")
		}
		rise_transition (cload) {
		    values ("1.4830e+00, 1.7077e+00, 2.0288e+00, 2.4445e+00, 2.8352e+00, 3.5485e+00")
		}
		fall_propagation (cload) {
		    /* Actual measurement values:
		    values ("7.5180e+00, 7.9150e+00, 8.4898e+00, 9.1555e+00, 9.6638e+00, 1.0423e+01")
		    */
		    /* Propagation minus rise transition delay: */
		    values ("5.6127e+00, 5.7735e+00, 6.0580e+00, 6.4192e+00, 6.6633e+00, 6.9392e+00")
		}
		fall_transition (cload) {
		    values ("1.9053e+00, 2.1415e+00, 2.4318e+00, 2.7363e+00, 3.0005e+00, 3.4837e+00")
		}
	    }
	}
	pin( "d" ) {
	    direction : input ;
	    capacitance : 4.9339e-03 ;
	    timing () {
		related_pin : "clk" ;
		timing_type : setup_rising ;
		rise_constraint (slew) {
		    values ("4.4010e+00, 4.3322e+00, 4.7022e+00, 0.0000e+00, 0.0000e+00")
		}
		fall_constraint (slew) {
		    values ("4.1719e+00, 3.9698e+00, 4.0731e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	    timing () {
		related_pin : "clk" ;
		timing_type : hold_rising ;
		rise_constraint (slew) {
		    values ("-2.3886e+00, -2.5531e+00, -3.5398e+00, 0.0000e+00, 0.0000e+00")
		}
		fall_constraint (slew) {
		    values ("-2.0510e+00, -2.3156e+00, -4.0689e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	    timing () {
		related_pin : "clk_n" ;
		timing_type : setup_falling ;
		rise_constraint (slew) {
		    values ("4.4010e+00, 4.3322e+00, 4.7022e+00, 0.0000e+00, 0.0000e+00")
		}
		fall_constraint (slew) {
		    values ("4.1719e+00, 3.9698e+00, 4.0731e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	    timing () {
		related_pin : "clk_n" ;
		timing_type : hold_falling ;
		rise_constraint (slew) {
		    values ("-2.3886e+00, -2.5531e+00, -3.5398e+00, 0.0000e+00, 0.0000e+00")
		}
		fall_constraint (slew) {
		    values ("-2.0510e+00, -2.3156e+00, -4.0689e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	}
	pin( "clk" ) {
	    direction : input ;
	    capacitance : 5.0143e-03 ;
	}
	pin( "clk_n" ) {
	    direction : input ;
	    capacitance : 9.6815e-03 ;
	}
    }
/*
 *	$Id$

 *	DO NOT EDIT.  This file generated automagically.
 *	Created: Wed Jul 28  7:48:35 1999
 *	User: ryu

 */

    cell( "dffce_2x" ) {
	
	ff ("IQ") {
	    next_state : "d";
	    clocked_on : "clk";
	}
	statetable ( "  d   clk ce ", " Q ") {
	    table  : "  -   ~R  H : - - :  N , \
			H/L  R  H : - - : H/L, \
			-   ~R  L : - - :  N, \
			H/L  R  L : - - :  N";
	}
	cell_footprint : "dffce" ;
	area : 0 ;
	pin( "q" ) {
	    max_fanout : max_fanout_num ;
	    function : "IQ" ;
	    max_capacitance : cap_factor * cap_unit * 2 ;
	    internal_node : "Q" ;
	    direction : output ;
	    timing () {
		related_pin : "clk" ;
		timing_type : rising_edge ;
		rise_propagation (cload) {
		    /* Actual measurement values:
		    values ("6.1553e+00, 8.5782e+00, 1.1495e+01")
		    */
		    /* Propagation minus rise transition delay: */
		    values ("4.6418e+00, 5.3108e+00, 4.6742e+00")
		}
		rise_transition (cload) {
		    values ("1.5136e+00, 3.2673e+00, 6.8213e+00")
		}
		fall_propagation (cload) {
		    /* Actual measurement values:
		    values ("7.5863e+00, 1.0145e+01, 1.2849e+01")
		    */
		    /* Propagation minus rise transition delay: */
		    values ("5.6410e+00, 6.8513e+00, 6.9818e+00")
		}
		fall_transition (cload) {
		    values ("1.9453e+00, 3.2938e+00, 5.8677e+00")
		}
	    }
	    timing () {
		related_pin : "clk_n" ;
		timing_type : falling_edge ;
		rise_propagation (cload) {
		    /* Actual measurement values:
		    values ("6.1553e+00, 8.5782e+00, 1.1495e+01")
		    */
		    /* Propagation minus rise transition delay: */
		    values ("4.6418e+00, 5.3108e+00, 4.6742e+00")
		}
		rise_transition (cload) {
		    values ("1.5136e+00, 3.2673e+00, 6.8213e+00")
		}
		fall_propagation (cload) {
		    /* Actual measurement values:
		    values ("7.5863e+00, 1.0145e+01, 1.2849e+01")
		    */
		    /* Propagation minus rise transition delay: */
		    values ("5.6410e+00, 6.8513e+00, 6.9818e+00")
		}
		fall_transition (cload) {
		    values ("1.9453e+00, 3.2938e+00, 5.8677e+00")
		}
	    }
	}
	pin( "d" ) {
	    direction : input ;
	    capacitance : 2.6047e-03 ;
	    timing () {
		related_pin : "clk" ;
		timing_type : setup_rising ;
		rise_constraint (slew) {
		    values ("8.2343e+00, 8.1822e+00, 8.3689e+00, 0.0000e+00, 0.0000e+00")
		}
		fall_constraint (slew) {
		    values ("7.5719e+00, 7.4031e+00, 7.4398e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	    timing () {
		related_pin : "clk" ;
		timing_type : hold_rising ;
		rise_constraint (slew) {
		    values ("-5.5719e+00, -5.6698e+00, -6.7231e+00, 0.0000e+00, 0.0000e+00")
		}
		fall_constraint (slew) {
		    values ("-5.4177e+00, -5.5823e+00, -7.5690e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	    timing () {
		related_pin : "clk_n" ;
		timing_type : setup_falling ;
		rise_constraint (slew) {
		    values ("8.2343e+00, 8.1822e+00, 8.3689e+00, 0.0000e+00, 0.0000e+00")
		}
		fall_constraint (slew) {
		    values ("7.5719e+00, 7.4031e+00, 7.4398e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	    timing () {
		related_pin : "clk_n" ;
		timing_type : hold_falling ;
		rise_constraint (slew) {
		    values ("-5.5719e+00, -5.6698e+00, -6.7231e+00, 0.0000e+00, 0.0000e+00")
		}
		fall_constraint (slew) {
		    values ("-5.4177e+00, -5.5823e+00, -7.5690e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	}
	pin( "ce" ) {
	    direction : input ;
	    capacitance : 2.6892e-02 ;
	    timing () {
		related_pin : "clk" ;
		timing_type : setup_rising ;
		rise_constraint (slew) {
		    values ("8.9225e+00, 8.9535e+00, 9.5219e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	    timing () {
		related_pin : "clk" ;
		timing_type : hold_rising ;
		rise_constraint (slew) {
		    values ("0.0000e+00, 0.0000e+00, 0.0000e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	    timing () {
		related_pin : "clk_n" ;
		timing_type : setup_falling ;
		rise_constraint (slew) {
		    values ("8.9225e+00, 8.9535e+00, 9.5219e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	    timing () {
		related_pin : "clk_n" ;
		timing_type : hold_falling ;
		rise_constraint (slew) {
		    values ("0.0000e+00, 0.0000e+00, 0.0000e+00, 0.0000e+00, 0.0000e+00")
		}
	    }
	}
	pin( "clk" ) {
	    direction : input ;
	    capacitance : 9.2585e-03 ;
	}
	pin( "clk_n" ) {
	    direction : input ;
	    capacitance : 1.0878e-02 ;
	}
    }
/*
 *	$Id$

 *	DO NOT EDIT.  This file generated automagically.
 *	Created: Wed Jul 28  7:08:49 1999
 *	User: ryu

 */

    cell( "nand2_2x" ) {
	area : 0 ;
	cell_footprint : "nand2" ;
	pin( "in0" ) {
	    direction : input ;
	    capacitance : 3.5369e-02 ;
	}
	pin( "in1" ) {
	    direction : input ;
	    capacitance : 4.7230e-02 ;
	}
	pin( "out" ) {
	    function : "(in0 in1)'" ;
	    max_capacitance : cap_factor * cap_unit * 2 ;
	    max_fanout : max_fanout_num ;
	    direction : output ;
	    timing () {
		related_pin : "in0" ;
		timing_type : combinational ;
		rise_propagation (slew_cload) {
		    /* Actual measurement values:
		    values ( \
			"1.1295e+00 1.2814e+00 1.5651e+00 2.0173e+00 2.4527e+00 3.2187e+00", \
			"1.2693e+00 1.4307e+00 1.7335e+00 2.2027e+00 2.6487e+00 3.4253e+00", \
			"1.3948e+00 1.5662e+00 1.8867e+00 2.3792e+00 2.8427e+00 3.6382e+00", \
			"1.5050e+00 1.6852e+00 2.0222e+00 2.5385e+00 3.0202e+00 3.8395e+00", \
			"1.8972e+00 2.1035e+00 2.4870e+00 3.0735e+00 3.6183e+00 4.5312e+00" \
		    )
		    */
		    /* Propagation minus rise transition delay: */
		    values ( \
			"2.4585e-01 2.2387e-01 1.4622e-01 -1.2333e-02 -1.9300e-01 -5.3850e-01", \
			"2.9225e-01 2.8193e-01 2.3295e-01 1.0817e-01 -4.6500e-02 -3.6233e-01", \
			"3.3215e-01 3.2305e-01 2.8700e-01 1.9083e-01 6.3333e-02 -2.1667e-01", \
			"3.6050e-01 3.5810e-01 3.2733e-01 2.4850e-01 1.4100e-01 -1.0300e-01", \
			"4.7173e-01 4.7493e-01 4.6583e-01 4.1900e-01 3.5300e-01 1.8783e-01" \
		    )
		}
		fall_propagation (slew_cload) {
		    /* Actual measurement values:
		    values ( \
			"8.9092e-01 1.0046e+00 1.2098e+00 1.5395e+00 1.8615e+00 2.4330e+00", \
			"9.6775e-01 1.0898e+00 1.3217e+00 1.6765e+00 2.0133e+00 2.5992e+00", \
			"1.0208e+00 1.1566e+00 1.4067e+00 1.7875e+00 2.1445e+00 2.7538e+00", \
			"1.0559e+00 1.2024e+00 1.4721e+00 1.8777e+00 2.2535e+00 2.8887e+00", \
			"1.1314e+00 1.3109e+00 1.6381e+00 2.1233e+00 2.5642e+00 3.2940e+00" \
		    )
		    */
		    /* Propagation minus fall transition delay: */
		    values ( \
			"1.4568e-01 1.2873e-01 7.3833e-02 -3.9817e-02 -1.6017e-01 -3.9450e-01", \
			"1.5117e-01 1.3612e-01 1.0448e-01 2.6617e-02 -7.1167e-02 -2.7200e-01", \
			"1.3570e-01 1.3407e-01 1.1330e-01 5.5500e-02 -2.3500e-02 -1.9217e-01", \
			"1.1537e-01 1.1458e-01 1.0815e-01 6.5167e-02 6.6667e-04 -1.4300e-01", \
			"-4.3283e-02 -2.5850e-02 2.3667e-03 1.2667e-02 -7.8333e-03 -8.1667e-02" \
		    )
		}
		rise_transition (slew_cload) {
		    values ( \
			"8.8365e-01 1.0575e+00 1.4189e+00 2.0297e+00 2.6457e+00 3.7572e+00", \
			"9.7708e-01 1.1487e+00 1.5006e+00 2.0945e+00 2.6952e+00 3.7877e+00", \
			"1.0626e+00 1.2431e+00 1.5997e+00 2.1883e+00 2.7793e+00 3.8548e+00", \
			"1.1445e+00 1.3271e+00 1.6948e+00 2.2900e+00 2.8792e+00 3.9425e+00", \
			"1.4254e+00 1.6286e+00 2.0212e+00 2.6545e+00 3.2653e+00 4.3433e+00" \
		    )
		}
		fall_transition (slew_cload) {
		    values ( \
			"7.4523e-01 8.7585e-01 1.1360e+00 1.5794e+00 2.0217e+00 2.8275e+00", \
			"8.1658e-01 9.5365e-01 1.2172e+00 1.6499e+00 2.0845e+00 2.8712e+00", \
			"8.8507e-01 1.0226e+00 1.2933e+00 1.7320e+00 2.1680e+00 2.9460e+00", \
			"9.4052e-01 1.0878e+00 1.3639e+00 1.8125e+00 2.2528e+00 3.0317e+00", \
			"1.1747e+00 1.3367e+00 1.6357e+00 2.1107e+00 2.5720e+00 3.3757e+00" \
		    )
		}
	    }
	    timing () {
		related_pin : "in1" ;
		timing_type : combinational ;
		rise_propagation (slew_cload) {
		    /* Actual measurement values:
		    values ( \
			"1.4698e+00 1.6057e+00 1.8690e+00 2.2972e+00 2.7180e+00 3.4705e+00", \
			"1.6455e+00 1.7887e+00 2.0642e+00 2.5052e+00 2.9352e+00 3.6945e+00", \
			"1.8063e+00 1.9580e+00 2.2483e+00 2.7080e+00 3.1508e+00 3.9243e+00", \
			"1.9482e+00 2.1068e+00 2.4108e+00 2.8903e+00 3.3478e+00 4.1400e+00", \
			"2.4473e+00 2.6257e+00 2.9677e+00 3.5070e+00 4.0182e+00 4.8903e+00" \
		    )
		    */
		    /* Propagation minus rise transition delay: */
		    values ( \
			"1.9438e-01 1.4692e-01 4.5000e-02 -1.3883e-01 -3.3483e-01 -6.9550e-01", \
			"2.8348e-01 2.4580e-01 1.6567e-01 9.3333e-03 -1.6317e-01 -5.0067e-01", \
			"3.4893e-01 3.1712e-01 2.5133e-01 1.2000e-01 -2.9667e-02 -3.3533e-01", \
			"3.9727e-01 3.7367e-01 3.1567e-01 2.0200e-01 6.9167e-02 -2.0633e-01", \
			"5.9017e-01 5.6700e-01 5.2383e-01 4.3983e-01 3.4300e-01 1.4100e-01" \
		    )
		}
		fall_propagation (slew_cload) {
		    /* Actual measurement values:
		    values ( \
			"9.6895e-01 1.0794e+00 1.2801e+00 1.6065e+00 1.9242e+00 2.4935e+00", \
			"9.9857e-01 1.1156e+00 1.3286e+00 1.6688e+00 1.9977e+00 2.5772e+00", \
			"1.0188e+00 1.1391e+00 1.3628e+00 1.7173e+00 2.0537e+00 2.6492e+00", \
			"1.0286e+00 1.1515e+00 1.3868e+00 1.7527e+00 2.1012e+00 2.7063e+00", \
			"1.0284e+00 1.1728e+00 1.4417e+00 1.8515e+00 2.2343e+00 2.8860e+00" \
		    )
		    */
		    /* Propagation minus fall transition delay: */
		    values ( \
			"2.3932e-01 2.1690e-01 1.5483e-01 3.4983e-02 -9.3167e-02 -3.3100e-01", \
			"2.1017e-01 1.9658e-01 1.4920e-01 5.1567e-02 -5.7333e-02 -2.7467e-01", \
			"1.7477e-01 1.6580e-01 1.2473e-01 4.5333e-02 -5.5667e-02 -2.4733e-01", \
			"1.2685e-01 1.2185e-01 9.3250e-02 2.5000e-02 -6.3667e-02 -2.4200e-01", \
			"-1.0037e-01 -8.3133e-02 -6.9833e-02 -9.4167e-02 -1.4833e-01 -2.8050e-01" \
		    )
		}
		rise_transition (slew_cload) {
		    values ( \
			"1.2754e+00 1.4587e+00 1.8240e+00 2.4360e+00 3.0528e+00 4.1660e+00", \
			"1.3620e+00 1.5429e+00 1.8985e+00 2.4958e+00 3.0983e+00 4.1952e+00", \
			"1.4574e+00 1.6409e+00 1.9970e+00 2.5880e+00 3.1805e+00 4.2597e+00", \
			"1.5509e+00 1.7332e+00 2.0952e+00 2.6883e+00 3.2787e+00 4.3463e+00", \
			"1.8572e+00 2.0587e+00 2.4438e+00 3.0672e+00 3.6752e+00 4.7493e+00" \
		    )
		}
		fall_transition (slew_cload) {
		    values ( \
			"7.2963e-01 8.6250e-01 1.1253e+00 1.5715e+00 2.0173e+00 2.8245e+00", \
			"7.8840e-01 9.1903e-01 1.1794e+00 1.6173e+00 2.0550e+00 2.8518e+00", \
			"8.4400e-01 9.7325e-01 1.2381e+00 1.6720e+00 2.1093e+00 2.8965e+00", \
			"9.0173e-01 1.0296e+00 1.2936e+00 1.7277e+00 2.1648e+00 2.9483e+00", \
			"1.1288e+00 1.2559e+00 1.5115e+00 1.9457e+00 2.3827e+00 3.1665e+00" \
		    )
		}
	    }
	}
    }
/*
 *	$Id$

 *	DO NOT EDIT.  This file generated automagically.
 *	Created: Wed Jul 28  7:08:52 1999
 *	User: ryu

 */

    cell( "nand2_4x" ) {
	area : 0 ;
	cell_footprint : "nand2" ;
	pin( "in0" ) {
	    direction : input ;
	    capacitance : 6.1219e-02 ;
	}
	pin( "in1" ) {
	    direction : input ;
	    capacitance : 8.4924e-02 ;
	}
	pin( "out" ) {
	    function : "(in0 in1)'" ;
	    max_capacitance : cap_factor * cap_unit * 2 ;
	    max_fanout : max_fanout_num ;
	    direction : output ;
	    timing () {
		related_pin : "in0" ;
		timing_type : combinational ;
		rise_propagation (slew_cload) {
		    /* Actual measurement values:
		    values ( \
			"8.7357e-01 9.5948e-01 1.1170e+00 1.3650e+00 1.5987e+00 1.9987e+00", \
			"1.0027e+00 1.0915e+00 1.2605e+00 1.5239e+00 1.7678e+00 2.1857e+00", \
			"1.1072e+00 1.2040e+00 1.3844e+00 1.6631e+00 1.9223e+00 2.3605e+00", \
			"1.2031e+00 1.3035e+00 1.4926e+00 1.7858e+00 2.0583e+00 2.5172e+00", \
			"1.5391e+00 1.6564e+00 1.8763e+00 2.2117e+00 2.5222e+00 3.0430e+00" \
		    )
		    */
		    /* Propagation minus rise transition delay: */
		    values ( \
			"2.5687e-01 2.5588e-01 2.4268e-01 1.9043e-01 1.2723e-01 -1.8000e-02", \
			"3.0113e-01 2.9863e-01 2.8780e-01 2.6362e-01 2.1402e-01 1.0400e-01", \
			"3.2560e-01 3.2783e-01 3.2708e-01 3.0735e-01 2.7048e-01 1.8550e-01", \
			"3.5060e-01 3.5463e-01 3.5393e-01 3.4237e-01 3.1350e-01 2.4100e-01", \
			"4.3547e-01 4.4748e-01 4.5780e-01 4.5967e-01 4.4733e-01 4.0433e-01" \
		    )
		}
		fall_propagation (slew_cload) {
		    /* Actual measurement values:
		    values ( \
			"7.1332e-01 7.7460e-01 8.9712e-01 1.0772e+00 1.2477e+00 1.5428e+00", \
			"7.6780e-01 8.3908e-01 9.7195e-01 1.1746e+00 1.3623e+00 1.6807e+00", \
			"7.9902e-01 8.7787e-01 1.0251e+00 1.2463e+00 1.4503e+00 1.7923e+00", \
			"8.1738e-01 9.0352e-01 1.0615e+00 1.3010e+00 1.5195e+00 1.8830e+00", \
			"8.3983e-01 9.4578e-01 1.1405e+00 1.4331e+00 1.6980e+00 2.1317e+00" \
		    )
		    */
		    /* Propagation minus fall transition delay: */
		    values ( \
			"1.6615e-01 1.5548e-01 1.5040e-01 1.1475e-01 6.2617e-02 -3.8667e-02", \
			"1.4852e-01 1.5612e-01 1.5130e-01 1.3268e-01 1.0200e-01 2.6767e-02", \
			"1.2658e-01 1.3480e-01 1.3753e-01 1.3070e-01 1.0825e-01 5.7500e-02", \
			"9.7517e-02 1.0543e-01 1.1753e-01 1.1628e-01 1.0523e-01 6.7833e-02", \
			"-9.0700e-02 -7.1550e-02 -3.5783e-02 -5.8000e-03 1.4500e-02 1.8333e-02" \
		    )
		}
		rise_transition (slew_cload) {
		    values ( \
			"6.1670e-01 7.0360e-01 8.7435e-01 1.1746e+00 1.4715e+00 2.0167e+00", \
			"7.0158e-01 7.9285e-01 9.7268e-01 1.2603e+00 1.5538e+00 2.0817e+00", \
			"7.8157e-01 8.7618e-01 1.0574e+00 1.3558e+00 1.6519e+00 2.1750e+00", \
			"8.5250e-01 9.4887e-01 1.1386e+00 1.4435e+00 1.7448e+00 2.2762e+00", \
			"1.1037e+00 1.2089e+00 1.4185e+00 1.7520e+00 2.0748e+00 2.6387e+00" \
		    )
		}
		fall_transition (slew_cload) {
		    values ( \
			"5.4717e-01 6.1912e-01 7.4672e-01 9.6242e-01 1.1851e+00 1.5815e+00", \
			"6.1928e-01 6.8297e-01 8.2065e-01 1.0420e+00 1.2603e+00 1.6539e+00", \
			"6.7243e-01 7.4307e-01 8.8760e-01 1.1156e+00 1.3420e+00 1.7348e+00", \
			"7.1987e-01 7.9808e-01 9.4400e-01 1.1847e+00 1.4143e+00 1.8152e+00", \
			"9.3053e-01 1.0173e+00 1.1763e+00 1.4389e+00 1.6835e+00 2.1133e+00" \
		    )
		}
	    }
	    timing () {
		related_pin : "in1" ;
		timing_type : combinational ;
		rise_propagation (slew_cload) {
		    /* Actual measurement values:
		    values ( \
			"1.2533e+00 1.3238e+00 1.4609e+00 1.6825e+00 1.8980e+00 2.2787e+00", \
			"1.4130e+00 1.4889e+00 1.6353e+00 1.8697e+00 2.0948e+00 2.4870e+00", \
			"1.5565e+00 1.6372e+00 1.7933e+00 2.0410e+00 2.2783e+00 2.6870e+00", \
			"1.6867e+00 1.7710e+00 1.9338e+00 2.1935e+00 2.4413e+00 2.8678e+00", \
			"2.1488e+00 2.2422e+00 2.4252e+00 2.7168e+00 2.9962e+00 3.4755e+00" \
		    )
		    */
		    /* Propagation minus rise transition delay: */
		    values ( \
			"2.5137e-01 2.3545e-01 1.9032e-01 1.1135e-01 2.6000e-02 -1.4283e-01", \
			"3.1972e-01 3.1055e-01 2.7665e-01 2.1648e-01 1.4933e-01 5.6667e-03", \
			"3.7525e-01 3.6278e-01 3.4187e-01 2.9050e-01 2.3517e-01 1.1433e-01", \
			"4.2162e-01 4.1577e-01 3.8913e-01 3.4883e-01 2.9783e-01 1.9600e-01", \
			"6.0362e-01 5.9542e-01 5.7317e-01 5.3817e-01 5.0050e-01 4.2600e-01" \
		    )
		}
		fall_propagation (slew_cload) {
		    /* Actual measurement values:
		    values ( \
			"8.0180e-01 8.5803e-01 9.7033e-01 1.1451e+00 1.3116e+00 1.6028e+00", \
			"8.2392e-01 8.8590e-01 1.0041e+00 1.1904e+00 1.3675e+00 1.6722e+00", \
			"8.2603e-01 8.9700e-01 1.0207e+00 1.2153e+00 1.4033e+00 1.7220e+00", \
			"8.3228e-01 8.9838e-01 1.0334e+00 1.2363e+00 1.4283e+00 1.7577e+00", \
			"7.9635e-01 8.8115e-01 1.0360e+00 1.2725e+00 1.4905e+00 1.8583e+00" \
		    )
		    */
		    /* Propagation minus fall transition delay: */
		    values ( \
			"2.6508e-01 2.6460e-01 2.4238e-01 1.9342e-01 1.3610e-01 2.7717e-02", \
			"2.2557e-01 2.2723e-01 2.1198e-01 1.8183e-01 1.3932e-01 5.2967e-02", \
			"1.7427e-01 1.8228e-01 1.7770e-01 1.5035e-01 1.1963e-01 4.8333e-02", \
			"1.2512e-01 1.2678e-01 1.2958e-01 1.1590e-01 8.7750e-02 2.7167e-02", \
			"-1.4357e-01 -1.1880e-01 -9.6167e-02 -7.3250e-02 -6.8267e-02 -9.0333e-02" \
		    )
		}
		rise_transition (slew_cload) {
		    values ( \
			"1.0019e+00 1.0884e+00 1.2706e+00 1.5712e+00 1.8720e+00 2.4215e+00", \
			"1.0932e+00 1.1784e+00 1.3587e+00 1.6532e+00 1.9455e+00 2.4813e+00", \
			"1.1813e+00 1.2744e+00 1.4515e+00 1.7505e+00 2.0432e+00 2.5727e+00", \
			"1.2651e+00 1.3552e+00 1.5447e+00 1.8447e+00 2.1435e+00 2.6718e+00", \
			"1.5452e+00 1.6467e+00 1.8520e+00 2.1787e+00 2.4957e+00 3.0495e+00" \
		    )
		}
		fall_transition (slew_cload) {
		    values ( \
			"5.3672e-01 5.9343e-01 7.2795e-01 9.5170e-01 1.1755e+00 1.5751e+00", \
			"5.9835e-01 6.5867e-01 7.9213e-01 1.0086e+00 1.2282e+00 1.6192e+00", \
			"6.5177e-01 7.1472e-01 8.4302e-01 1.0650e+00 1.2836e+00 1.6737e+00", \
			"7.0717e-01 7.7160e-01 9.0382e-01 1.1204e+00 1.3405e+00 1.7305e+00", \
			"9.3992e-01 9.9995e-01 1.1321e+00 1.3458e+00 1.5588e+00 1.9487e+00" \
		    )
		}
	    }
	}
    }
}