HEADER( LIBRARY("UT_LP_AMI06") DATE("24 June 2004") VENDOR("Cadence") Environment("Nominal") TECHNOLOGY("cmos") TLF_VERSION("4.4") VERSION("00") GENERATED_BY("Syn2tlf5.1-s099") ) // User properties section DEFINE_ATTRIBUTE(in_place_swap_mode (LIBRARY) (STRING)) DEFINE_ATTRIBUTE(cell_footprint (CELL) (STRING)) DEFINE_ATTRIBUTE(internal_node (PIN) (STRING)) DEFINE_ATTRIBUTE(state_variable_map (PIN) (STRING)) in_place_swap_mode("match_footprint") // model section PROCESS_MULT_Model(k_process_pin_capMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) PROCESS_MULT_Model(k_process_setup_riseMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) PROCESS_MULT_Model(k_process_setup_fallMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) PROCESS_MULT_Model(k_process_hold_riseMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) PROCESS_MULT_Model(k_process_hold_fallMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) PROCESS_MULT_Model(k_process_intrinsic_riseMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) PROCESS_MULT_Model(k_process_intrinsic_fallMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) VOLTAGE_MULT_Model(k_volt_pin_capMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) VOLTAGE_MULT_Model(k_volt_setup_riseMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) VOLTAGE_MULT_Model(k_volt_setup_fallMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) VOLTAGE_MULT_Model(k_volt_hold_riseMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) VOLTAGE_MULT_Model(k_volt_hold_fallMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) VOLTAGE_MULT_Model(k_volt_intrinsic_riseMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) VOLTAGE_MULT_Model(k_volt_intrinsic_fallMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) TEMPERATURE_MULT_Model(k_temp_pin_capMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) TEMPERATURE_MULT_Model(k_temp_setup_riseMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) TEMPERATURE_MULT_Model(k_temp_setup_fallMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) TEMPERATURE_MULT_Model(k_temp_hold_riseMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) TEMPERATURE_MULT_Model(k_temp_hold_fallMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) TEMPERATURE_MULT_Model(k_temp_intrinsic_riseMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) TEMPERATURE_MULT_Model(k_temp_intrinsic_fallMod (Linear (-~ :~ :1.000000:0.000000 ) ) ) // properties section PROPERTIES( UNIT( AREA_UNIT(1squ) CAP_UNIT(0.028800 pF) CONDUCTANCE_UNIT(1mS) CURRENT_UNIT(1mA) INDUCTANCE_UNIT(1pH) RES_UNIT(34.722221 kohm) TIME_UNIT(1ns) TEMPERATURE_UNIT(1C) VOLT_UNIT(1V) POWER_UNIT(1nW) PULL_RESISTANCE_UNIT(1kohm) ) Proc_Var(1.000000) Voltage(5.000000) Temperature(25.000000) Proc_Mult(1.000000) Volt_Mult(1.000000) Temp_Mult(1.000000) For_Pin(OUTPUT FANOUT_LIMIT(20.000000) Capacitance(0.000000 RISE(0.000000) FALL(0.000000)) ) For_Pin(BIDIR FANOUT_LIMIT(20.000000) INPUT_FANLOAD(1.000000) Capacitance(1.000000 RISE(1.000000) FALL(1.000000)) ) For_Pin(INPUT INPUT_FANLOAD(1.000000) Capacitance(1.000000 RISE(1.000000) FALL(1.000000)) ) Proc_Mult_Capacitance(k_process_pin_capMod) Volt_Mult_Capacitance(k_volt_pin_capMod) Temp_Mult_Capacitance(k_temp_pin_capMod) Proc_Mult_Setup(RISE(k_process_setup_riseMod) FALL(k_process_setup_fallMod)) Volt_Mult_Setup(RISE(k_volt_setup_riseMod) FALL(k_volt_setup_fallMod)) Temp_Mult_Setup(RISE(k_temp_setup_riseMod) FALL(k_temp_setup_fallMod)) Proc_Mult_Hold(RISE(k_process_hold_riseMod) FALL(k_process_hold_fallMod)) Volt_Mult_Hold(RISE(k_volt_hold_riseMod) FALL(k_volt_hold_fallMod)) Temp_Mult_Hold(RISE(k_temp_hold_riseMod) FALL(k_temp_hold_fallMod)) Proc_Mult_Propagation(RISE(k_process_intrinsic_riseMod) FALL(k_process_intrinsic_fallMod)) Volt_Mult_Propagation(RISE(k_volt_intrinsic_riseMod) FALL(k_volt_intrinsic_fallMod)) Temp_Mult_Propagation(RISE(k_temp_intrinsic_riseMod) FALL(k_temp_intrinsic_fallMod)) Input_Threshold_Pct(RISE(30.000000) FALL(70.000000)) Output_Threshold_Pct(RISE(70.000000) FALL(30.000000)) Slew_Lower_Threshold_Pct(RISE(10.000000) FALL(10.000000)) Slew_Upper_Threshold_Pct(RISE(90.000000) FALL(90.000000)) Slew_Measure_Lower_Threshold_Pct(RISE(10.000000) FALL(10.000000)) Slew_Measure_Upper_Threshold_Pct(RISE(90.000000) FALL(90.000000)) // WireLoad Models ) CELL(INV cell_footprint("inv") // model section TIMING_Model(ioDelayRiseModel0 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.135000 0.135000) (0.556000 0.556000) ) ) ) TIMING_Model(ioDelayFallModel0 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.142000 0.142000) (0.570000 0.570000) ) ) ) TIMING_Model(SlopeRiseModel0 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.421000) ) ) ) TIMING_Model(SlopeFallModel0 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.428000) ) ) ) // properties section Area(86.400002) PIN(A PINTYPE(INPUT ) // properties section Capacitance(0.250000 RISE(0.250000) FALL(0.250000)) ) PIN(Out PINTYPE(OUTPUT ) FUNCTION( ~A) ) // pinrels Path( A => Out 10 01 QUALIFIER(COMBINATIONAL) DELAY(ioDelayRiseModel0) SLEW(SlopeRiseModel0) ) Path( A => Out 01 10 QUALIFIER(COMBINATIONAL) DELAY(ioDelayFallModel0) SLEW(SlopeFallModel0) ) ) CELL(NAND2 cell_footprint("nand2") // model section TIMING_Model(ioDelayRiseModel0 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.153000 0.153000) (0.593000 0.593000) ) ) ) TIMING_Model(ioDelayFallModel0 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.183000 0.183000) (0.922000 0.922000) ) ) ) TIMING_Model(SlopeRiseModel0 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.440000) ) ) ) TIMING_Model(SlopeFallModel0 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.739000) ) ) ) TIMING_Model(ioDelayRiseModel1 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.131000 0.131000) (0.548000 0.548000) ) ) ) TIMING_Model(ioDelayFallModel1 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.182000 0.182000) (0.928000 0.928000) ) ) ) TIMING_Model(SlopeRiseModel1 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.417000) ) ) ) TIMING_Model(SlopeFallModel1 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.746000) ) ) ) // properties section Area(129.600006) PIN(A PINTYPE(INPUT ) // properties section Capacitance(0.234000 RISE(0.234000) FALL(0.234000)) ) PIN(B PINTYPE(INPUT ) // properties section Capacitance(0.234000 RISE(0.234000) FALL(0.234000)) ) PIN(Out PINTYPE(OUTPUT ) FUNCTION( ~(A & B)) ) // pinrels Path( A => Out 10 01 QUALIFIER(COMBINATIONAL) DELAY(ioDelayRiseModel0) SLEW(SlopeRiseModel0) ) Path( A => Out 01 10 QUALIFIER(COMBINATIONAL) DELAY(ioDelayFallModel0) SLEW(SlopeFallModel0) ) Path( B => Out 10 01 QUALIFIER(COMBINATIONAL) DELAY(ioDelayRiseModel1) SLEW(SlopeRiseModel1) ) Path( B => Out 01 10 QUALIFIER(COMBINATIONAL) DELAY(ioDelayFallModel1) SLEW(SlopeFallModel1) ) ) CELL(NOR2 cell_footprint("nor2") // model section TIMING_Model(ioDelayRiseModel0 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.194000 0.194000) (0.966000 0.966000) ) ) ) TIMING_Model(ioDelayFallModel0 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.172000 0.172000) (0.638000 0.638000) ) ) ) TIMING_Model(SlopeRiseModel0 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.772000) ) ) ) TIMING_Model(SlopeFallModel0 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.466000) ) ) ) TIMING_Model(ioDelayRiseModel1 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.171000 0.171000) (0.941000 0.941000) ) ) ) TIMING_Model(ioDelayFallModel1 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.138000 0.138000) (0.555000 0.555000) ) ) ) TIMING_Model(SlopeRiseModel1 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.770000) ) ) ) TIMING_Model(SlopeFallModel1 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.417000) ) ) ) // properties section Area(129.600006) PIN(A PINTYPE(INPUT ) // properties section Capacitance(0.250000 RISE(0.250000) FALL(0.250000)) ) PIN(B PINTYPE(INPUT ) // properties section Capacitance(0.250000 RISE(0.250000) FALL(0.250000)) ) PIN(Out PINTYPE(OUTPUT ) FUNCTION( ~(A | B)) ) // pinrels Path( A => Out 10 01 QUALIFIER(COMBINATIONAL) DELAY(ioDelayRiseModel0) SLEW(SlopeRiseModel0) ) Path( A => Out 01 10 QUALIFIER(COMBINATIONAL) DELAY(ioDelayFallModel0) SLEW(SlopeFallModel0) ) Path( B => Out 10 01 QUALIFIER(COMBINATIONAL) DELAY(ioDelayRiseModel1) SLEW(SlopeRiseModel1) ) Path( B => Out 01 10 QUALIFIER(COMBINATIONAL) DELAY(ioDelayFallModel1) SLEW(SlopeFallModel1) ) ) CELL(DFFPC_S cell_footprint("dffpc_s") // model section TIMING_Model(ioDelayRiseModel0 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.194000 0.194000) (0.966000 0.966000) ) ) ) TIMING_Model(ioDelayFallModel0 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.172000 0.172000) (0.638000 0.638000) ) ) ) TIMING_Model(SlopeRiseModel0 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.772000) ) ) ) TIMING_Model(SlopeFallModel0 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.466000) ) ) ) TIMING_Model(ioDelayRiseModel1 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.194000 0.194000) (0.966000 0.966000) ) ) ) TIMING_Model(ioDelayFallModel1 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.172000 0.172000) (0.638000 0.638000) ) ) ) TIMING_Model(SlopeRiseModel1 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.772000) ) ) ) TIMING_Model(SlopeFallModel1 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.466000) ) ) ) TIMING_Model(ioDelayRiseModel2 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.194000 0.194000) (0.966000 0.966000) ) ) ) TIMING_Model(ioDelayFallModel2 (Spline (LOAD_AXIS 0.000000 1.000000) (INPUT_SLEW_AXIS 0.000000 1.000000) data ( (0.172000 0.172000) (0.638000 0.638000) ) ) ) TIMING_Model(SlopeRiseModel2 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.772000) ) ) ) TIMING_Model(SlopeFallModel2 (Spline (LOAD_AXIS 0.000000 1.000000) data ( (0.000000 0.466000) ) ) ) // properties section Area(1166.400024) PIN(CLK PINTYPE(INPUT ) CLOCK_PIN // properties section Capacitance(0.250000 RISE(0.250000) FALL(0.250000)) ) PIN(DATA PINTYPE(INPUT ) // properties section Capacitance(0.250000 RISE(0.250000) FALL(0.250000)) ) PIN(PrB PINTYPE(INPUT ) // properties section Capacitance(0.500000 RISE(0.500000) FALL(0.500000)) ) PIN(CLB PINTYPE(INPUT ) // properties section Capacitance(0.590000 RISE(0.590000) FALL(0.590000)) ) PIN(Q PINTYPE(OUTPUT ) state_variable_map("IQ") ) PIN(QB PINTYPE(OUTPUT ) internal_node("QB") state_variable_map("IQN") ) REGISTER( CLOCK(CLK) INPUT(DATA) OUTPUT(Q) INVERTED_OUTPUT(QB) SET(~PrB) CLEAR(~CLB) CLEAR_PRESET_VAR1(1) CLEAR_PRESET_VAR2(1) ) // pinrels Path( CLK => Q 01 01 QUALIFIER(TRIGGER) DELAY(ioDelayRiseModel0) SLEW(SlopeRiseModel0) ) Path( CLK => Q 01 10 QUALIFIER(TRIGGER) DELAY(ioDelayFallModel0) SLEW(SlopeFallModel0) ) Path( CLB => Q 01 01 QUALIFIER(CLEAR) DELAY(ioDelayRiseModel1) SLEW(SlopeRiseModel1) ) Path( CLB => Q 10 10 QUALIFIER(CLEAR) DELAY(ioDelayFallModel1) SLEW(SlopeFallModel1) ) Path( PrB => Q 10 01 QUALIFIER(SET) DELAY(ioDelayRiseModel2) SLEW(SlopeRiseModel2) ) Path( PrB => Q 01 10 QUALIFIER(SET) DELAY(ioDelayFallModel2) SLEW(SlopeFallModel2) ) )