/* This file is generated by topld.pl!! */
/* Please don't edit it. */

Name     M708X ;
PartNo   cpld ;
Date     XX/XX/XXXX ;
Revision 01 ;
Designer  ;
Company   ;
Assembly None ;
Location E1 ;
Device   f1508isptqfp100;

$DEFINE OPTIMIZE

$UNDEF  OPTIMIZE

/* Input Pins */
pin = n3v1;

/* Output Pins */
pin = clock;
pin = clock_enable;
pin = clock_iot;
pin = clr_flag_l;
pin = flag;
pin = flag_buffer;
pin = initialize;
pin = io_irq_l;
pin = io_skip_l;
pin = iop1_l;
pin = iop2_l;
pin = iop4;
pin = iop4_l;
pin = irq_enb;
pin = load_counter;
pin = mb10;
pin = mb11;
pin = mb3_l;
pin = mb4_l;
pin = mb5;
pin = mb6_l;
pin = mb7;
pin = mb8;
pin = mb9;
pin = mb9_l;
pin = overflow;
node n_t_36x;

/* Internal nodes */
$IFNDEF OPTIMIZE
node iop1;
node iop2;
node n_t_14x;
node n_t_26x;
node n_t_29x;
node n_t_31x;
node n_t_32x;
node n_t_34x;
node n_t_35x;
node n_t_37x;
node n_t_38x;
node n_t_40x;
node n_t_41x;
$ENDIF

/* Code nodes */

/* Equations */

/* c1: c_us */

/* c2: c_us */

/* c3: c_us */

/* c4: c_us */

/* c5: c_us */

/* c6: c_us */

/* c7: c_us */

/* c8: c_us */

/* c9: c_us */

/* e1: sn7401 */
/* io_irq_l = !(flag & irq_enb); */
/* io_skip_l = !(flag_buffer & n_t_32x); */
/* clr_flag_l = !(n_t_32x & flag_buffer); */
/* clr_flag_l = !n_t_14x; */

/* e2: sn7474 */
flag_buffer.ar = !n_t_29x;
flag_buffer.d = flag;
flag_buffer.ck = n_t_32x;
flag_buffer.ap = 'b'0;
flag.ar = !clr_flag_l;
flag.d = n_t_41x;
flag.ck = clock;
flag.ap = 'b'0;

/* e3: sn7474 */
n_t_36x.ar = 'b'0;
n_t_36x.d = 'b'0;
n_t_36x.ck = n_t_14x;
n_t_36x.ap = !n_t_37x;
clock_enable = !n_t_36x;
irq_enb.ar = 'b'0;
irq_enb.d = 'b'0;
irq_enb.ck = n_t_14x;
irq_enb.ap = !n_t_38x;

/* e4: sn7400 */
n_t_38x = !(mb11 & load_counter);
n_t_41x = !n_t_40x;
n_t_40x = !(n_t_36x & overflow);

/* e5: sn7400 */
iop1 = !(iop1_l & n3v1);
iop4 = !(iop4_l & n3v1);

/* e6: sn7430 */
n_t_26x = !(mb3_l & mb4_l & mb5 & mb6_l & mb7 & mb8 & n3v1 & n3v1);

/* e7: sn7400 */
n_t_29x = !(clock_iot & iop2);
iop2 = !(n3v1 & iop2_l);
clock_iot = !n_t_26x;
n_t_34x = !(mb9_l & mb11);

/* e8: sn7420 */
n_t_31x = !(clock_iot & iop1 & mb10 & mb9_l);
n_t_35x = !(n_t_34x & clock_iot & iop2);

/* e9: sn7400 */
n_t_32x = !n_t_31x;
n_t_37x = !(load_counter & mb9);
n_t_14x = !(n_t_35x & initialize);
load_counter = !n_t_35x;

/* Open collector 'wire-or's */
property atmel {open_collector= clr_flag_l};
!clr_flag_l = (n_t_32x & flag_buffer)
              # (n_t_14x);
clr_flag_l.oe = (n_t_32x & flag_buffer)
              # (n_t_14x);
property atmel {open_collector= io_irq_l};
!io_irq_l = (flag & irq_enb);
io_irq_l.oe = (flag & irq_enb);
property atmel {open_collector= io_skip_l};
!io_skip_l = (flag_buffer & n_t_32x);
io_skip_l.oe = (flag_buffer & n_t_32x);