API tools faq
paste
Guest User

Untitled

a guest
Aug 4th, 2018
75
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
VeriLog 10.69 KB | None | 0 0
raw download clone embed print report
  1. else if ((checkv0[0] == 0 && checkv0[1] == 1) &&
  2.             (checkv1[0] == 1 && checkv1[1] == 0) &&
  3.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] ==0) &&
  4.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] ==0)
  5.             )||
  6.             //-----------------
  7.             ((checkv0[0] == 0 && checkv0[1] == 1) &&
  8.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 1) &&
  9.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] ==0) &&
  10.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] ==0)
  11.             )||
  12.             ((checkv0[0] == 0 && checkv0[1] == 1) &&
  13.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 1) &&
  14.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  15.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  16.             )||
  17.             //------------------
  18.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 1) &&
  19.             (checkv1[0] == 1 && checkv1[1] == 0) &&
  20.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] ==0) &&
  21.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] ==0)
  22.             )||
  23.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 1) &&
  24.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 1) &&
  25.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  26.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  27.             )||    
  28.             //------------------       
  29.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 1) &&
  30.             (checkv1[0] == 1 && checkv1[1] == 0) &&
  31.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] ==0) &&
  32.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] ==0)
  33.             )||
  34.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 1) &&
  35.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 1 ) &&
  36.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  37.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  38.             )||    
  39.             //------------------------ end1
  40.             ((checkv0[0] == 0 && checkv0[1] == 1) &&
  41.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  42.             (checkv2[0] == 1 && checkv2[2] == 0 ) &&
  43.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] ==0)
  44.             )||
  45.             ((checkv0[0] == 0 && checkv0[1] == 1) &&
  46.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  47.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 1) &&
  48.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  49.             )||  
  50.             //-------------------------
  51.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 1) &&
  52.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  53.             (checkv2[0] == 1 && checkv2[2] == 0 ) &&
  54.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] ==0)
  55.             )||
  56.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 1) &&
  57.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  58.             (checkv2[0] == 0 && checkv2[1] == 1 && checkv2[2] == 0 ) &&
  59.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  60.             )||  
  61.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 1) &&
  62.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  63.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 1 ) &&
  64.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  65.             )||  
  66.             //---------------------------
  67.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 1) &&
  68.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  69.             (checkv2[0] == 1  && checkv2[2] == 0 ) &&
  70.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  71.             )||  
  72.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 1) &&
  73.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  74.             (checkv2[0] == 0 && checkv2[1] == 1 && checkv2[2] == 0) &&
  75.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  76.             )||  
  77.             //--------------------------- end2
  78.             ((checkv0[0] == 0 && checkv0[1] == 1) &&
  79.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  80.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && check2[3] == 0 ) &&
  81.             (checkv3[0] == 1 && checkv3[3] == 0)
  82.             )||  
  83.             ((checkv0[0] == 0 && checkv0[1] == 1) &&
  84.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  85.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  86.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 1 && checkv3[3] == 0)
  87.             )||  
  88.             //----------------------------
  89.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 1) &&
  90.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  91.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && check2[3] == 0 ) &&
  92.             (checkv3[0] == 1 && checkv3[3] == 0)
  93.             )||  
  94.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 1) &&
  95.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  96.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  97.             (checkv3[0] == 0 && checkv3[1] == 1 && checkv3[3] == 0)
  98.             )||  
  99.             //-----------------------------
  100.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 1) &&
  101.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  102.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && check2[3] == 0 ) &&
  103.             (checkv3[0] == 1 && checkv3[3] == 0)
  104.             )||  
  105.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 1) &&
  106.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  107.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  108.             (checkv3[0] == 0 && checkv3[1] == 1 && checkv3[3] == 0)
  109.             )||  
  110.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 1) &&
  111.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 0) &&
  112.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  113.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 1 && checkv3[3] == 0)
  114.             )||  
  115.             //---------------------------end3
  116.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  117.             (checkv1[0] == 1 && checkv1[1] == 0) &&
  118.             (checkv2[0] == 0 && checkv2[1] == 1 && checkv2[2] == 0) &&
  119.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  120.             )||  
  121.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  122.             (checkv1[0] == 1 && checkv1[1] == 0) &&
  123.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 1) &&
  124.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)  
  125.             )||  
  126.             //--------------------------
  127.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  128.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 1) &&
  129.             (checkv2[0] == 1 && checkv2[2] == 0) &&
  130.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  131.             )||  
  132.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  133.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 1 ) &&
  134.             (checkv2[0] == 0 && checkv2[1] == 1 && checkv2[2] == 0 ) &&
  135.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  136.             )||  
  137.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  138.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 1 ) &&
  139.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 1) &&
  140.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  141.             )||  
  142.             //--------------------------
  143.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  144.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 1) &&
  145.             (checkv2[0] == 1 && checkv2[2] == 0 ) &&
  146.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  147.             )||  
  148.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  149.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 1) &&
  150.             (checkv2[0] == 0 && checkv2[1] == 1 && checkv2[2] == 0 ) &&
  151.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 0 && checkv3[3] == 0)
  152.             )||  
  153.             //-----------------------end4
  154.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  155.             (checkv1[0] == 1 && checkv1[1] == 0 ) &&
  156.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  157.             (checkv3[0] == 0 && checkv3[1] == 1 && checkv3[3] == 0)
  158.             )||  
  159.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  160.             (checkv1[0] == 1 && checkv1[1] == 0 ) &&
  161.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0 ) &&
  162.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 1 && checkv3[3] == 0)
  163.             )||
  164.             //--------------------------
  165.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  166.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 1) &&
  167.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  168.             (checkv3[0] == 1 && checkv3[3] == 0)
  169.             )||  
  170.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  171.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 1) &&
  172.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  173.             (checkv3[0] == 0 && checkv3[1] == 1 && checkv3[3] == 0)
  174.             )||  
  175.             //------------------------
  176.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  177.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 1) &&
  178.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  179.             (checkv3[0] == 1 && checkv3[3] == 0)
  180.             )||  
  181.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  182.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 1) &&
  183.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  184.             (checkv3[0] == 0 && checkv3[1] == 1 && checkv3[3] == 0)
  185.             )||  
  186.             ((checkv0[0] == 0 && checkv0[1] == 0 && checkv0[2] == 0 && checkv0[3] == 0) &&
  187.             (checkv1[0] == 0 && checkv1[1] == 0 && checkv1[2] == 0 && checkv1[3] == 1) &&
  188.             (checkv2[0] == 0 && checkv2[1] == 0 && checkv2[2] == 0 && checkv2[3] == 0) &&
  189.             (checkv3[0] == 0 && checkv3[1] == 0 && checkv3[2] == 1 && checkv3[3] == 0)
  190.             )||
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!