117 lines
5.8 KiB
Text
117 lines
5.8 KiB
Text
.inputs bit1 bit0
|
|
.outputs parity1 parity0
|
|
.internal ez_instance__state
|
|
.dummy ez_instance__assign_0 delay_4 assign_4 delay_5 delay_6 assign_0 assign_1 assign_2 assign_3 delay_0 delay_1 delay_2 delay_3 if_3 if_2 ez_instance__assign_5 ez_instance__assign_4 ez_instance__assign_3 ez_instance__assign_2 ez_instance__assign_1 if_1 if_0 ez_instance__delay_6 ez_instance__delay_5 ez_instance__delay_4 ez_instance__delay_3 ez_instance__if_4 ez_instance__if_3 ez_instance__if_5 ez_instance__delay_2 ez_instance__delay_1 ez_instance__delay_0 ez_instance__T6 ez_instance__T5 ez_instance__wait_2 ez_instance__wait_1 ez_instance__wait_0 ez_instance__if_0 ez_instance__if_2 ez_instance__if_1 T0 T1 T2 T3 T4 ez_instance__T4 ez_instance__T3 ez_instance__T2 ez_instance__T1 ez_instance__T0 wait_1 wait_0
|
|
#|.places ez_instance__P9 ez_instance__P8 ez_instance__P23 ez_instance__P7 ez_instance__P24 ez_instance__P6 ez_instance__P21 ez_instance__P5 ez_instance__P22 ez_instance__P4 ez_instance__P3 ez_instance__P2 ez_instance__P25 P20 ez_instance__P1 ez_instance__P20 P0 P1 P2 ez_instance__P18 P3 ez_instance__P19 P4 P5 P6 P7 P8 ez_instance__P12 P9 ez_instance__P13 ez_instance__P10 ez_instance__P11 ez_instance__P16 ez_instance__P17 P10 ez_instance__P14 ez_instance__P15 P12 ez_instance__P0 P11 P14 P13 P16 P15 P18 P17 P19
|
|
#@.init_state [00000]
|
|
.graph
|
|
ez_instance__P5 ez_instance__assign_0
|
|
ez_instance__assign_0 ez_instance__P6
|
|
P13 delay_4
|
|
delay_4 P14
|
|
P17 assign_4
|
|
assign_4 P18
|
|
P16 delay_5
|
|
delay_5 P17
|
|
P19 delay_6
|
|
delay_6 P20
|
|
P1 assign_0
|
|
assign_0 P2
|
|
P5 assign_1
|
|
assign_1 P6
|
|
P8 assign_2
|
|
assign_2 P9
|
|
P14 assign_3
|
|
assign_3 P15
|
|
P0 delay_0
|
|
delay_0 P1
|
|
P4 delay_1
|
|
delay_1 P5
|
|
P7 delay_2
|
|
delay_2 P8
|
|
P10 delay_3
|
|
delay_3 P11
|
|
P11 if_3
|
|
if_3 P16
|
|
P11 if_2
|
|
if_2 P13
|
|
ez_instance__P24 ez_instance__assign_5
|
|
ez_instance__assign_5 ez_instance__P25
|
|
ez_instance__P21 ez_instance__assign_4
|
|
ez_instance__assign_4 ez_instance__P22
|
|
ez_instance__P13 ez_instance__assign_3
|
|
ez_instance__assign_3 ez_instance__P14
|
|
ez_instance__P11 ez_instance__assign_2
|
|
ez_instance__assign_2 ez_instance__P12
|
|
ez_instance__P8 ez_instance__assign_1
|
|
ez_instance__assign_1 ez_instance__P9
|
|
P2 if_1
|
|
if_1 P7
|
|
P2 if_0
|
|
if_0 P4
|
|
ez_instance__P23 ez_instance__delay_6
|
|
ez_instance__delay_6 ez_instance__P24
|
|
ez_instance__P20 ez_instance__delay_5
|
|
ez_instance__delay_5 ez_instance__P21
|
|
ez_instance__P17 ez_instance__delay_4
|
|
ez_instance__delay_4 ez_instance__P18
|
|
ez_instance__P15 ez_instance__delay_3
|
|
ez_instance__delay_3 ez_instance__P16
|
|
ez_instance__P18 ez_instance__if_4
|
|
ez_instance__if_4 ez_instance__P20
|
|
ez_instance__P3 ez_instance__if_3
|
|
ez_instance__if_3 ez_instance__P13
|
|
ez_instance__P18 ez_instance__if_5
|
|
ez_instance__if_5 ez_instance__P23
|
|
ez_instance__P7 ez_instance__delay_2
|
|
ez_instance__delay_2 ez_instance__P8
|
|
ez_instance__P4 ez_instance__delay_1
|
|
ez_instance__delay_1 ez_instance__P5
|
|
ez_instance__P1 ez_instance__delay_0
|
|
ez_instance__delay_0 ez_instance__P2
|
|
ez_instance__P19 ez_instance__T6
|
|
ez_instance__T6 ez_instance__P0
|
|
ez_instance__P25 ez_instance__T5
|
|
ez_instance__T5 ez_instance__P19
|
|
ez_instance__P16 ez_instance__wait_2
|
|
ez_instance__wait_2 ez_instance__P17
|
|
ez_instance__P10 ez_instance__wait_1
|
|
ez_instance__wait_1 ez_instance__P15
|
|
ez_instance__P0 ez_instance__wait_0
|
|
ez_instance__wait_0 ez_instance__P1
|
|
ez_instance__P2 ez_instance__if_0
|
|
ez_instance__if_0 ez_instance__P4
|
|
ez_instance__P3 ez_instance__if_2
|
|
ez_instance__if_2 ez_instance__P11
|
|
ez_instance__P2 ez_instance__if_1
|
|
ez_instance__if_1 ez_instance__P7
|
|
P6 T0
|
|
T0 P3
|
|
P9 T1
|
|
T1 P3
|
|
P15 T2
|
|
T2 P12
|
|
P18 T3
|
|
T3 P12
|
|
P20 T4
|
|
T4 P0
|
|
ez_instance__P22 ez_instance__T4
|
|
ez_instance__T4 ez_instance__P19
|
|
ez_instance__P14 ez_instance__T3
|
|
ez_instance__T3 ez_instance__P10
|
|
ez_instance__P12 ez_instance__T2
|
|
ez_instance__T2 ez_instance__P10
|
|
ez_instance__P9 ez_instance__T1
|
|
ez_instance__T1 ez_instance__P3
|
|
ez_instance__P6 ez_instance__T0
|
|
ez_instance__T0 ez_instance__P3
|
|
P12 wait_1
|
|
wait_1 P19
|
|
P3 wait_0
|
|
wait_0 P10
|
|
.marking {P0 ez_instance__P0 }
|
|
#@.enablings {<ez_instance__assign_0=[true]><delay_4=[true]><assign_4=[true]><delay_5=[true]><delay_6=[true]><assign_0=[true]><assign_1=[true]><assign_2=[true]><assign_3=[true]><delay_0=[true]><delay_1=[true]><delay_2=[true]><delay_3=[true]><if_3=[~(bit0)]><if_2=[bit0]><ez_instance__assign_5=[true]><ez_instance__assign_4=[true]><ez_instance__assign_3=[true]><ez_instance__assign_2=[true]><ez_instance__assign_1=[true]><if_1=[true]><if_0=[true]><ez_instance__delay_6=[true]><ez_instance__delay_5=[true]><ez_instance__delay_4=[true]><ez_instance__delay_3=[true]><ez_instance__if_4=[parity0]><ez_instance__if_3=[~(parity1)]><ez_instance__if_5=[~(parity0)]><ez_instance__delay_2=[true]><ez_instance__delay_1=[true]><ez_instance__delay_0=[true]><ez_instance__T6=[true]><ez_instance__T5=[true]><ez_instance__wait_2=[(~(bit0=1)&~(bit1=1))]><ez_instance__wait_1=[((parity0&ez_instance__state)|(parity1&~(ez_instance__state=1)))]><ez_instance__wait_0=[(bit0|bit1)]><ez_instance__if_0=[((~(ez_instance__state=1)&bit1)|(ez_instance__state&bit0))]><ez_instance__if_2=[parity1]><ez_instance__if_1=[~(((~(ez_instance__state=1)&bit1)|(ez_instance__state&bit0)))]><T0=[true]><T1=[true]><T2=[true]><T3=[true]><T4=[true]><ez_instance__T4=[true]><ez_instance__T3=[true]><ez_instance__T2=[true]><ez_instance__T1=[true]><ez_instance__T0=[true]><wait_1=[(~(parity0=1)&~(parity1=1))]><wait_0=[(parity0|parity1)]>}
|
|
#@.delay_assignments {<delay_4=[5]><delay_5=[5]><delay_6=[5]><delay_0=[5]><delay_1=[5]><delay_2=[5]><delay_3=[5]><ez_instance__delay_6=[5]><ez_instance__delay_5=[5]><ez_instance__delay_4=[5]><ez_instance__delay_3=[5]><ez_instance__delay_2=[5]><ez_instance__delay_1=[5]><ez_instance__delay_0=[5]>}
|
|
#@.boolean_assignments {<ez_instance__assign_0=[parity1:=1]><assign_4=[bit1:=0]><assign_1=[bit0:=1]><assign_2=[bit1:=1]><assign_3=[bit0:=0]><ez_instance__assign_5=[parity1:=0]><ez_instance__assign_4=[parity0:=0]><ez_instance__assign_3=[ez_instance__state:=1]><ez_instance__assign_2=[ez_instance__state:=0]><ez_instance__assign_1=[parity0:=1]>}
|
|
#@.continuous
|
|
.end
|