from ecomp add4c.e add32c.e tadd32c.e -o tadd32c.net from esim < tadd32c.run > tadd32c.out a= 00000000 b= FFFFFFFF cin= 0 sum= FFFFFFFF cout= 0 cntr= 00000 evck=1 b= FFFFFFFF a= 00000000 cin= 0 s2 = FFFFFFFF co2 = 0 a= 00000000 b= FFFFFFFF cin= 1 sum= 00000000 cout= 1 cntr= 00001 evck=1 b= FFFFFFFF a= 00000000 cin= 1 s2 = 00000000 co2 = 1 a= 00000001 b= FFFFFFFF cin= 0 sum= 00000000 cout= 1 cntr= 00010 evck=1 b= FFFFFFFF a= 00000001 cin= 0 s2 = 00000000 co2 = 1 a= 00000001 b= FFFFFFFF cin= 1 sum= 00000001 cout= 1 cntr= 00011 evck=1 b= FFFFFFFF a= 00000001 cin= 1 s2 = 00000001 co2 = 1 a= 00000010 b= FFFFFFFF cin= 0 sum= 0000000F cout= 1 cntr= 00100 evck=1 b= FFFFFFFF a= 00000010 cin= 0 s2 = 0000000F co2 = 1 a= 00000010 b= FFFFFFFF cin= 1 sum= 00000010 cout= 1 cntr= 00101 evck=1 b= FFFFFFFF a= 00000010 cin= 1 s2 = 00000010 co2 = 1 a= 00000011 b= FFFFFFFF cin= 0 sum= 00000010 cout= 1 cntr= 00110 evck=1 b= FFFFFFFF a= 00000011 cin= 0 s2 = 00000010 co2 = 1 a= 00000011 b= FFFFFFFF cin= 1 sum= 00000011 cout= 1 cntr= 00111 evck=1 b= FFFFFFFF a= 00000011 cin= 1 s2 = 00000011 co2 = 1 a= 00000100 b= FFFFFFFF cin= 0 sum= 000000FF cout= 1 cntr= 01000 evck=1 b= FFFFFFFF a= 00000100 cin= 0 s2 = 000000FF co2 = 1 a= 00000100 b= FFFFFFFF cin= 1 sum= 00000100 cout= 1 cntr= 01001 evck=1 b= FFFFFFFF a= 00000100 cin= 1 s2 = 00000100 co2 = 1 a= 00000101 b= FFFFFFFF cin= 0 sum= 00000100 cout= 1 cntr= 01010 evck=1 b= FFFFFFFF a= 00000101 cin= 0 s2 = 00000100 co2 = 1 a= 00000101 b= FFFFFFFF cin= 1 sum= 00000101 cout= 1 cntr= 01011 evck=1 b= FFFFFFFF a= 00000101 cin= 1 s2 = 00000101 co2 = 1 a= 00000110 b= FFFFFFFF cin= 0 sum= 0000010F cout= 1 cntr= 01100 evck=1 b= FFFFFFFF a= 00000110 cin= 0 s2 = 0000010F co2 = 1 a= 00000110 b= FFFFFFFF cin= 1 sum= 00000110 cout= 1 cntr= 01101 evck=1 b= FFFFFFFF a= 00000110 cin= 1 s2 = 00000110 co2 = 1 a= 00000111 b= FFFFFFFF cin= 0 sum= 00000110 cout= 1 cntr= 01110 evck=1 b= FFFFFFFF a= 00000111 cin= 0 s2 = 00000110 co2 = 1 a= 00000111 b= FFFFFFFF cin= 1 sum= 00000111 cout= 1 cntr= 01111 evck=1 b= FFFFFFFF a= 00000111 cin= 1 s2 = 00000111 co2 = 1 a= 10000000 b= FFFFFFFF cin= 0 sum= 0FFFFFFF cout= 1 cntr= 10000 evck=1 b= FFFFFFFF a= 10000000 cin= 0 s2 = 0FFFFFFF co2 = 1 a= 10000000 b= FFFFFFFF cin= 1 sum= 10000000 cout= 1 cntr= 10001 evck=1 b= FFFFFFFF a= 10000000 cin= 1 s2 = 10000000 co2 = 1 a= 10000001 b= FFFFFFFF cin= 0 sum= 10000000 cout= 1 cntr= 10010 evck=1 b= FFFFFFFF a= 10000001 cin= 0 s2 = 10000000 co2 = 1 a= 10000001 b= FFFFFFFF cin= 1 sum= 10000001 cout= 1 cntr= 10011 evck=1 b= FFFFFFFF a= 10000001 cin= 1 s2 = 10000001 co2 = 1 a= 10000010 b= FFFFFFFF cin= 0 sum= 1000000F cout= 1 cntr= 10100 evck=1 b= FFFFFFFF a= 10000010 cin= 0 s2 = 1000000F co2 = 1 a= 10000010 b= FFFFFFFF cin= 1 sum= 10000010 cout= 1 cntr= 10101 evck=1 b= FFFFFFFF a= 10000010 cin= 1 s2 = 10000010 co2 = 1 a= 10000011 b= FFFFFFFF cin= 0 sum= 10000010 cout= 1 cntr= 10110 evck=1 b= FFFFFFFF a= 10000011 cin= 0 s2 = 10000010 co2 = 1 a= 10000011 b= FFFFFFFF cin= 1 sum= 10000011 cout= 1 cntr= 10111 evck=1 b= FFFFFFFF a= 10000011 cin= 1 s2 = 10000011 co2 = 1 a= 10000100 b= FFFFFFFF cin= 0 sum= 100000FF cout= 1 cntr= 11000 evck=1 b= FFFFFFFF a= 10000100 cin= 0 s2 = 100000FF co2 = 1 a= 10000100 b= FFFFFFFF cin= 1 sum= 10000100 cout= 1 cntr= 11001 evck=1 b= FFFFFFFF a= 10000100 cin= 1 s2 = 10000100 co2 = 1 a= 10000101 b= FFFFFFFF cin= 0 sum= 10000100 cout= 1 cntr= 11010 evck=1 b= FFFFFFFF a= 10000101 cin= 0 s2 = 10000100 co2 = 1 a= 10000101 b= FFFFFFFF cin= 1 sum= 10000101 cout= 1 cntr= 11011 evck=1 b= FFFFFFFF a= 10000101 cin= 1 s2 = 10000101 co2 = 1 a= 10000110 b= FFFFFFFF cin= 0 sum= 1000010F cout= 1 cntr= 11100 evck=1 b= FFFFFFFF a= 10000110 cin= 0 s2 = 1000010F co2 = 1 a= 10000110 b= FFFFFFFF cin= 1 sum= 10000110 cout= 1 cntr= 11101 evck=1 b= FFFFFFFF a= 10000110 cin= 1 s2 = 10000110 co2 = 1 a= 10000111 b= FFFFFFFF cin= 0 sum= 10000110 cout= 1 cntr= 11110 evck=1 b= FFFFFFFF a= 10000111 cin= 0 s2 = 10000110 co2 = 1 a= 10000111 b= FFFFFFFF cin= 1 sum= 10000111 cout= 1 cntr= 11111 evck=1 b= FFFFFFFF a= 10000111 cin= 1 s2 = 10000111 co2 = 1 tadd32c.out finished