summaryrefslogblamecommitdiff
path: root/sched/test/nadder.net
blob: bf87051d9eaf8a87b3c61483e090b72c8152092d (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
















                                                                     
INPUT a, b
OUTPUT o, c
VAR
  _l_10_50, _l_11_49, _l_16_22, _l_17_21, _l_7_52, _l_9_51, a, b, c, 
  c_n1_27, o, s_n_26
IN
o = s_n_26
c = OR _l_9_51 _l_11_49
s_n_26 = XOR _l_7_52 c_n1_27
_l_7_52 = XOR _l_16_22 _l_17_21
_l_9_51 = AND _l_16_22 _l_17_21
_l_10_50 = XOR _l_16_22 _l_17_21
_l_11_49 = AND _l_10_50 c_n1_27
c_n1_27 = 0
_l_16_22 = SELECT 0 a
_l_17_21 = SELECT 0 b