/* This file is generated by topld.pl */
/* Please don't edit it. */

Name     M1703C ;
PartNo   cpld ;
Date     9/25/2023 ;
Revision 01 ;
Designer  ;
Company   ;
Assembly None ;
Location E1 ;
Device   f1508isptqfp100;

$DEFINE OPTIMIZE

$UNDEF  OPTIMIZE

/* Input Pins */
pin = md03ok;
pin = md040ok;
pin = md05ok;
pin = md06ok;
pin = md07ok;
pin = md08ok;

/* Output Pins */
pin = c0_l;
pin = c1_l;
pin = d00;
pin = d01;
pin = d02;
pin = d03;
pin = d04;
pin = d05;
pin = d06;
pin = d07;
pin = d08;
pin = d09;
pin = d10;
pin = d11;
pin = data0_l;
pin = data10_l;
pin = data11_l;
pin = data1_l;
pin = data2_l;
pin = data3_l;
pin = data4_l;
pin = data5_l;
pin = data6_l;
pin = data7_l;
pin = data8_l;
pin = data9_l;
pin = initialize;
pin = int_rqst_l;
pin = internal_io_l;
pin = io_pause_l;
pin = md03_l;
pin = md03h;
pin = md03l;
pin = md04_l;
pin = md04h;
pin = md04l;
pin = md05_l;
pin = md05h;
pin = md05l;
pin = md06_l;
pin = md06h;
pin = md06l;
pin = md07_l;
pin = md07h;
pin = md07l;
pin = md08_l;
pin = md08h;
pin = md08l;
pin = md09_l;
pin = md10_l;
pin = md11_l;
pin = rd_done_l;
pin = rd_rqst;
pin = skip_l;

/* Internal nodes */
$IFNDEF OPTIMIZE
node device_flag;
node device_flag_l;
node int_enable;
node int_enable_l;
node iot0l;
node iot1l;
node iot2l;
node iot3l;
node iot4l;
node iotl;
node n_t_13x;
node n_t_26x;
$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 */

/* c10: c_us */

/* c11: c_us */

/* c12: c_us */

/* c13: c_us */

/* c14: c_us */

/* c100: cpol_use */

/* c101: cpol_use */

/* c102: cpol_use */

/* e1: n8881n */
/* data3_l = !(d03 & !iot4l); */
/* data2_l = !(d02 & !iot4l); */
/* data1_l = !(d01 & !iot4l); */
/* data0_l = !(d00 & !iot4l); */

/* e2: ds8640n */
md03h = !md03_l;
!skip_l = !iot3l;

/* e3: ds8640n */
md07h = !md07_l;
md06h = !md06_l;
md04h = !md04_l;
md05h = !md05_l;

/* e4: sn7404 */
md08l = !md08h;
md06l = !md06h;
md07l = !md07h;
md05l = !md05h;
md04l = !md04h;
md03l = !md03h;

/* e5b: n8881n */
/* data7_l = !(d07 & !iot4l); */
/* data6_l = !(d06 & !iot4l); */
/* data4_l = !(d04 & !iot4l); */
/* data5_l = !(d05 & !iot4l); */

/* e6: sn7430 */
iotl = !(md08ok & md03ok & md040ok & md05ok & !io_pause_l & md07ok & md06ok);

/* e7: n8881n */
/* internal_io_l = internal_io_l; */
/* c1_l = c1_l; */
/* c0_l = c1_l; */

/* e8: sn7410 */
rd_done_l = !(iot4l & device_flag_l);
n_t_13x = !(!initialize & iot0l & iot2l);
n_t_26x = !(iot2l & !initialize & iot4l);

/* e9: n8881n */
/* skip_l = skip_l; */
/* int_rqst_l = !(device_flag & int_enable); */

/* e10: sn7442 */
!iot0l = !iotl & md09_l & md10_l & md11_l;
!iot1l = !iotl & md09_l & md10_l & !md11_l;
!iot2l = !iotl & md09_l & !md10_l & md11_l;
!iot3l = !iotl & md09_l & !md10_l & !md11_l;
!iot4l = !iotl & !md09_l & md10_l & md11_l;

/* e11: sn7400 */
device_flag_l = !(!n_t_26x & device_flag);
int_enable_l = !(!n_t_13x & int_enable);
int_enable = !(int_enable_l & iot1l);
device_flag = !(device_flag_l & rd_rqst);

/* e12: sn7404 */
!internal_io_l = !iotl;
!c1_l = !iot4l;

/* e13b: n8881n */
/* data11_l = !(d11 & !iot4l); */
/* data10_l = !(d10 & !iot4l); */
/* data9_l = !(d09 & !iot4l); */
/* data8_l = !(d08 & !iot4l); */

/* e14: ds8640n */
md08h = !md08_l;

/* r1: r_us_ */

/* Open collector 'wire-or's */
property atmel {open_collector= c0_l};
!c0_l = !c1_l;
c0_l.oe = !c1_l;
property atmel {open_collector= c1_l};
c1_l.oe = !c1_l;
property atmel {open_collector= data0_l};
!data0_l = (d00 & !iot4l);
data0_l.oe = (d00 & !iot4l);
property atmel {open_collector= data10_l};
!data10_l = (d10 & !iot4l);
data10_l.oe = (d10 & !iot4l);
property atmel {open_collector= data11_l};
!data11_l = (d11 & !iot4l);
data11_l.oe = (d11 & !iot4l);
property atmel {open_collector= data1_l};
!data1_l = (d01 & !iot4l);
data1_l.oe = (d01 & !iot4l);
property atmel {open_collector= data2_l};
!data2_l = (d02 & !iot4l);
data2_l.oe = (d02 & !iot4l);
property atmel {open_collector= data3_l};
!data3_l = (d03 & !iot4l);
data3_l.oe = (d03 & !iot4l);
property atmel {open_collector= data4_l};
!data4_l = (d04 & !iot4l);
data4_l.oe = (d04 & !iot4l);
property atmel {open_collector= data5_l};
!data5_l = (d05 & !iot4l);
data5_l.oe = (d05 & !iot4l);
property atmel {open_collector= data6_l};
!data6_l = (d06 & !iot4l);
data6_l.oe = (d06 & !iot4l);
property atmel {open_collector= data7_l};
!data7_l = (d07 & !iot4l);
data7_l.oe = (d07 & !iot4l);
property atmel {open_collector= data8_l};
!data8_l = (d08 & !iot4l);
data8_l.oe = (d08 & !iot4l);
property atmel {open_collector= data9_l};
!data9_l = (d09 & !iot4l);
data9_l.oe = (d09 & !iot4l);
property atmel {open_collector= int_rqst_l};
!int_rqst_l = (device_flag & int_enable);
int_rqst_l.oe = (device_flag & int_enable);
property atmel {open_collector= internal_io_l};
internal_io_l.oe = !internal_io_l;
property atmel {open_collector= skip_l};
skip_l.oe = !skip_l;
