diff options
Diffstat (limited to 'tp1/test/nadder.net')
| -rw-r--r-- | tp1/test/nadder.net | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/tp1/test/nadder.net b/tp1/test/nadder.net new file mode 100644 index 0000000..bf87051 --- /dev/null +++ b/tp1/test/nadder.net @@ -0,0 +1,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 + |