# This library is composed of standard mcnc.genlib library
# appended with D-flipflops (from Tom Marchok, CMU)

 GATE inv1x   928.00 O = ! a;
  PIN a INV 0.0514 999.0 0.4200 4.7100 0.4200 3.6000

 GATE inv2x   928.00 O = ! a;
  PIN a INV 0.1009 999.0 0.3000 1.9800 0.2900 1.8200

 GATE inv4x  1392.00 O = ! a;
  PIN a INV 0.1897 999.0 0.2300 1.0800 0.2700 0.8500

 GATE nand2  1392.00 O = ! (a * b);
  PIN a INV 0.0777 999.0 0.6400 4.0900 0.4000 2.5700
  PIN b INV 0.0716 999.0 0.4600 4.1000 0.3700 2.5700

 GATE nand3  1856.00 O = ! (a * b * c);
  PIN a INV 0.1000 999.0 0.8900 3.6000 0.5100 2.4900
  PIN b INV 0.0828 999.0 0.7100 4.1100 0.4200 2.5000
  PIN c INV 0.0777 999.0 0.5600 4.3900 0.3500 2.4900

 GATE nand4  2320.00 O = ! (a * b * c * d);
  PIN a INV 0.1030 999.0 1.2700 3.6200 0.6700 2.3900
  PIN b INV 0.0980 999.0 1.0900 3.6100 0.6100 2.3900
  PIN c INV 0.0980 999.0 0.8200 3.6200 0.5500 2.4000
  PIN d INV 0.1050 999.0 0.5800 3.6200 0.3800 2.3900

 GATE nor2  1392.00 O = ! (a + b);
  PIN a INV 0.0736 999.0 0.3300 3.6400 0.4500 3.6400
  PIN b INV 0.0968 999.0 0.5000 3.6400 0.7000 3.6600

 GATE nor3  1856.00 O = ! (a + b + c);
  PIN a INV 0.0856 999.0 0.8400 5.0400 1.3000 3.4500
  PIN b INV 0.0806 999.0 0.7800 5.0300 1.1400 3.4300
  PIN c INV 0.0826 999.0 0.5200 5.0300 0.8400 3.4400

 GATE nor4  2320.00 O = ! (a + b + c + d);
  PIN a INV 0.0887 999.0 0.4100 5.9100 1.1600 3.2000
  PIN b INV 0.0867 999.0 0.8500 5.9100 1.5300 3.1800
  PIN c INV 0.0867 999.0 1.1100 5.9200 1.7500 3.1900
  PIN d INV 0.0887 999.0 1.2700 5.9100 1.9400 3.2000

GATE zero	0	O=CONST0;
GATE one	0	O=CONST1;

# D-type latches and flip-flops are necessary for sequential
# technology mapping.   
# WARNING: area and delay parameters are arbitrary.
LATCH dff 4640.00 Q = D;
PIN D NONINV 0.1009 999.0 0.3000 1.9800 0.2900 1.8200
SEQ Q ANY RISING_EDGE
CONTROL CLOCK 0.1009 999.0 0.3000 1.9800 0.2900 1.8200
CONSTRAINT D 0.1 0.1