wash.trf

洗衣机的程序 洗衣机的程序

// Trace file generated by Simulator  


// Simulation result

                             
                  C  JCZFXQTO
                  P  SSZZIXSK
                             
                  B  BBBBBBBB

        0.000 ns: 0->xxxxxxxx
        0.000 ns: 0->10001000
      100.000 ns: 1->10001000
      200.000 ns: 0->10001000
      400.000 ns: 1->10001000
      500.000 ns: 0->10001000
      700.000 ns: 1->10001000
      800.000 ns: 0->10001000
     1000.000 ns: 1->10001000
     1100.000 ns: 0->10001000
     1300.000 ns: 1->10001000
     1300.000 ns: 1->00001000
     1400.000 ns: 0->00001000
     1600.000 ns: 1->00001000
     1700.000 ns: 0->00001000
     1900.000 ns: 1->00001000
     2000.000 ns: 0->00001000
     2200.000 ns: 1->00001000
     2300.000 ns: 0->00001000
     2500.000 ns: 1->00001000
     2600.000 ns: 0->00001000
     2800.000 ns: 1->00001000
     2900.000 ns: 0->00001000
     3100.000 ns: 1->00001000
     3200.000 ns: 0->00001000
     3400.000 ns: 1->00001000
     3500.000 ns: 0->00001000
     3700.000 ns: 1->00001000
     3800.000 ns: 0->00001000
     4000.000 ns: 1->00001000
     4100.000 ns: 0->00001000
     4300.000 ns: 1->00001000
     4300.000 ns: 1->00101000
     4400.000 ns: 0->00101000
     4600.000 ns: 1->00101000
     4700.000 ns: 0->00101000
     4900.000 ns: 1->00101000
     4900.000 ns: 1->00001000
     5000.000 ns: 0->00001000
     5200.000 ns: 1->00001000
     5200.000 ns: 1->00011000
     5300.000 ns: 0->00011000
     5500.000 ns: 1->00011000
     5600.000 ns: 0->00011000
     5800.000 ns: 1->00011000
     5800.000 ns: 1->00001000
     5900.000 ns: 0->00001000
     6100.000 ns: 1->00001000
     6100.000 ns: 1->00101000
     6200.000 ns: 0->00101000
     6400.000 ns: 1->00101000
     6500.000 ns: 0->00101000
     6700.000 ns: 1->00101000
     6700.000 ns: 1->00001000
     6800.000 ns: 0->00001000
     7000.000 ns: 1->00001000
     7000.000 ns: 1->00011000
     7100.000 ns: 0->00011000
     7300.000 ns: 1->00011000
     7400.000 ns: 0->00011000
     7600.000 ns: 1->00011000
     7600.000 ns: 1->00001000
     7700.000 ns: 0->00001000
     7900.000 ns: 1->00001000
     7900.000 ns: 1->00101000
     8000.000 ns: 0->00101000
     8200.000 ns: 1->00101000
     8300.000 ns: 0->00101000
     8500.000 ns: 1->00101000
     8500.000 ns: 1->00001000
     8600.000 ns: 0->00001000
     8800.000 ns: 1->00001000
     8800.000 ns: 1->00011000
     8900.000 ns: 0->00011000
     9100.000 ns: 1->00011000
     9200.000 ns: 0->00011000
     9400.000 ns: 1->00011000
     9400.000 ns: 1->00001000
     9500.000 ns: 0->00001000
     9700.000 ns: 1->00001000
     9700.000 ns: 1->00101000
     9800.000 ns: 0->00101000
    10000.000 ns: 1->00101000
    10100.000 ns: 0->00101000
    10300.000 ns: 1->00101000
    10300.000 ns: 1->00001000
    10400.000 ns: 0->00001000
    10600.000 ns: 1->00001000
    10600.000 ns: 1->00011000
    10700.000 ns: 0->00011000
    10900.000 ns: 1->00011000
    11000.000 ns: 0->00011000
    11200.000 ns: 1->00011000
    11200.000 ns: 1->00001000
    11300.000 ns: 0->00001000
    11500.000 ns: 1->00001000
    11500.000 ns: 1->01001000
    11600.000 ns: 0->01001000
    11800.000 ns: 1->01001000
    11900.000 ns: 0->01001000
    12100.000 ns: 1->01001000
    12200.000 ns: 0->01001000
    12400.000 ns: 1->01001000
    12500.000 ns: 0->01001000
    12700.000 ns: 1->01001000
    12800.000 ns: 0->01001000
    13000.000 ns: 1->01001000
    13000.000 ns: 1->10000100
    13100.000 ns: 0->10000100
    13300.000 ns: 1->10000100
    13400.000 ns: 0->10000100
    13600.000 ns: 1->10000100
    13700.000 ns: 0->10000100
    13900.000 ns: 1->10000100
    14000.000 ns: 0->10000100
    14200.000 ns: 1->10000100
    14300.000 ns: 0->10000100
    14500.000 ns: 1->10000100
    14500.000 ns: 1->00100100
    14600.000 ns: 0->00100100
    14800.000 ns: 1->00100100
    14900.000 ns: 0->00100100
    15100.000 ns: 1->00100100
    15100.000 ns: 1->00000100
    15200.000 ns: 0->00000100
    15400.000 ns: 1->00000100
    15400.000 ns: 1->00010100
    15500.000 ns: 0->00010100
    15700.000 ns: 1->00010100
    15800.000 ns: 0->00010100
    16000.000 ns: 1->00010100
    16000.000 ns: 1->00000100
    16100.000 ns: 0->00000100
    16300.000 ns: 1->00000100
    16300.000 ns: 1->00100100
    16400.000 ns: 0->00100100
    16600.000 ns: 1->00100100
    16700.000 ns: 0->00100100
    16900.000 ns: 1->00100100
    16900.000 ns: 1->00000100
    17000.000 ns: 0->00000100
    17200.000 ns: 1->00000100
    17200.000 ns: 1->00010100
    17300.000 ns: 0->00010100
    17500.000 ns: 1->00010100
    17600.000 ns: 0->00010100
    17800.000 ns: 1->00010100
    17800.000 ns: 1->00000100
    17900.000 ns: 0->00000100
    18100.000 ns: 1->00000100
    18100.000 ns: 1->00100100
    18200.000 ns: 0->00100100
    18400.000 ns: 1->00100100
    18500.000 ns: 0->00100100
    18700.000 ns: 1->00100100
    18700.000 ns: 1->00000100
    18800.000 ns: 0->00000100
    19000.000 ns: 1->00000100
    19000.000 ns: 1->00010100
    19100.000 ns: 0->00010100
    19300.000 ns: 1->00010100
    19400.000 ns: 0->00010100
    19600.000 ns: 1->00010100
    19600.000 ns: 1->00000100
    19700.000 ns: 0->00000100
    19900.000 ns: 1->00000100
    19900.000 ns: 1->00100100
    20000.000 ns: 0->00100100
    20200.000 ns: 1->00100100
    20300.000 ns: 0->00100100
    20500.000 ns: 1->00100100
    20500.000 ns: 1->00000100
    20600.000 ns: 0->00000100
    20800.000 ns: 1->00000100
    20800.000 ns: 1->00010100
    20900.000 ns: 0->00010100
    21100.000 ns: 1->00010100
    21200.000 ns: 0->00010100
    21400.000 ns: 1->00010100
    21400.000 ns: 1->00000100
    21500.000 ns: 0->00000100
    21700.000 ns: 1->00000100
    21700.000 ns: 1->01000100
    21800.000 ns: 0->01000100
    22000.000 ns: 1->01000100
    22100.000 ns: 0->01000100
    22300.000 ns: 1->01000100
    22400.000 ns: 0->01000100
    22600.000 ns: 1->01000100
    22700.000 ns: 0->01000100
    22900.000 ns: 1->01000100
    23000.000 ns: 0->01000100
    23200.000 ns: 1->01000100
    23200.000 ns: 1->10000100
    23300.000 ns: 0->10000100
    23500.000 ns: 1->10000100
    23600.000 ns: 0->10000100
    23800.000 ns: 1->10000100
    23900.000 ns: 0->10000100
    24100.000 ns: 1->10000100
    24200.000 ns: 0->10000100
    24400.000 ns: 1->10000100
    24500.000 ns: 0->10000100
    24700.000 ns: 1->10000100
    24700.000 ns: 1->00100100
    24800.000 ns: 0->00100100
    25000.000 ns: 1->00100100
    25100.000 ns: 0->00100100
    25300.000 ns: 1->00100100
    25300.000 ns: 1->00000100
    25400.000 ns: 0->00000100
    25600.000 ns: 1->00000100
    25600.000 ns: 1->00010100
    25700.000 ns: 0->00010100
    25900.000 ns: 1->00010100
    26000.000 ns: 0->00010100
    26200.000 ns: 1->00010100
    26200.000 ns: 1->00000100
    26300.000 ns: 0->00000100
    26500.000 ns: 1->00000100
    26500.000 ns: 1->00100100
    26600.000 ns: 0->00100100
    26800.000 ns: 1->00100100
    26900.000 ns: 0->00100100
    27100.000 ns: 1->00100100
    27100.000 ns: 1->00000100
    27200.000 ns: 0->00000100
    27400.000 ns: 1->00000100
    27400.000 ns: 1->00010100
    27500.000 ns: 0->00010100
    27700.000 ns: 1->00010100
    27800.000 ns: 0->00010100
    28000.000 ns: 1->00010100
    28000.000 ns: 1->00000100
    28100.000 ns: 0->00000100
    28300.000 ns: 1->00000100
    28300.000 ns: 1->00100100
    28400.000 ns: 0->00100100
    28600.000 ns: 1->00100100
    28700.000 ns: 0->00100100
    28900.000 ns: 1->00100100
    28900.000 ns: 1->00000100
    29000.000 ns: 0->00000100
    29200.000 ns: 1->00000100
    29200.000 ns: 1->00010100
    29300.000 ns: 0->00010100
    29500.000 ns: 1->00010100
    29600.000 ns: 0->00010100
    29800.000 ns: 1->00010100
    29800.000 ns: 1->00000100
    29900.000 ns: 0->00000100
    30100.000 ns: 1->00000100
    30100.000 ns: 1->00100100
    30200.000 ns: 0->00100100
    30400.000 ns: 1->00100100
    30500.000 ns: 0->00100100
    30700.000 ns: 1->00100100
    30700.000 ns: 1->00000100
    30800.000 ns: 0->00000100
    31000.000 ns: 1->00000100
    31000.000 ns: 1->00010100
    31100.000 ns: 0->00010100
    31300.000 ns: 1->00010100
    31400.000 ns: 0->00010100
    31600.000 ns: 1->00010100
    31600.000 ns: 1->00000100
    31700.000 ns: 0->00000100
    31900.000 ns: 1->00000100
    31900.000 ns: 1->01000100
    32000.000 ns: 0->01000100
    32200.000 ns: 1->01000100
    32300.000 ns: 0->01000100
    32500.000 ns: 1->01000100
    32600.000 ns: 0->01000100
    32800.000 ns: 1->01000100
    32900.000 ns: 0->01000100
    33100.000 ns: 1->01000100
    33200.000 ns: 0->01000100
    33400.000 ns: 1->01000100
    33400.000 ns: 1->10000100
    33500.000 ns: 0->10000100
    33700.000 ns: 1->10000100
    33800.000 ns: 0->10000100
    34000.000 ns: 1->10000100
    34100.000 ns: 0->10000100
    34300.000 ns: 1->10000100
    34400.000 ns: 0->10000100
    34600.000 ns: 1->10000100
    34700.000 ns: 0->10000100
    34900.000 ns: 1->10000100
    34900.000 ns: 1->00100100
    35000.000 ns: 0->00100100
    35200.000 ns: 1->00100100
    35300.000 ns: 0->00100100
    35500.000 ns: 1->00100100
    35500.000 ns: 1->00000100
    35600.000 ns: 0->00000100
    35800.000 ns: 1->00000100
    35800.000 ns: 1->00010100
    35900.000 ns: 0->00010100
    36100.000 ns: 1->00010100
    36200.000 ns: 0->00010100
    36400.000 ns: 1->00010100
    36400.000 ns: 1->00000100
    36500.000 ns: 0->00000100
    36700.000 ns: 1->00000100
    36700.000 ns: 1->00100100
    36800.000 ns: 0->00100100
    37000.000 ns: 1->00100100
    37100.000 ns: 0->00100100
    37300.000 ns: 1->00100100
    37300.000 ns: 1->00000100
    37400.000 ns: 0->00000100
    37600.000 ns: 1->00000100
    37600.000 ns: 1->00010100
    37700.000 ns: 0->00010100
    37900.000 ns: 1->00010100
    38000.000 ns: 0->00010100
    38200.000 ns: 1->00010100
    38200.000 ns: 1->00000100
    38300.000 ns: 0->00000100
    38500.000 ns: 1->00000100
    38500.000 ns: 1->00100100
    38600.000 ns: 0->00100100
    38800.000 ns: 1->00100100
    38900.000 ns: 0->00100100
    39100.000 ns: 1->00100100
    39100.000 ns: 1->00000100
    39200.000 ns: 0->00000100
    39400.000 ns: 1->00000100
    39400.000 ns: 1->00010100
    39500.000 ns: 0->00010100
    39700.000 ns: 1->00010100
    39800.000 ns: 0->00010100
    40000.000 ns: 1->00010100
    40000.000 ns: 1->00000100
    40100.000 ns: 0->00000100
    40300.000 ns: 1->00000100
    40300.000 ns: 1->00100100
    40400.000 ns: 0->00100100
    40600.000 ns: 1->00100100
    40700.000 ns: 0->00100100
    40900.000 ns: 1->00100100
    40900.000 ns: 1->00000100
    41000.000 ns: 0->00000100
    41200.000 ns: 1->00000100
    41200.000 ns: 1->00010100
    41300.000 ns: 0->00010100
    41500.000 ns: 1->00010100
    41600.000 ns: 0->00010100
    41800.000 ns: 1->00010100
    41800.000 ns: 1->00000100
    41900.000 ns: 0->00000100
    42100.000 ns: 1->00000100
    42100.000 ns: 1->01000100
    42200.000 ns: 0->01000100
    42400.000 ns: 1->01000100
    42500.000 ns: 0->01000100
    42700.000 ns: 1->01000100
    42800.000 ns: 0->01000100
    43000.000 ns: 1->01000100
    43100.000 ns: 0->01000100
    43300.000 ns: 1->01000100
    43400.000 ns: 0->01000100
    43600.000 ns: 1->01000100
    43600.000 ns: 1->01100010
    43700.000 ns: 0->01100010
    43900.000 ns: 1->01100010
    44000.000 ns: 0->01100010
    44200.000 ns: 1->01100010
    44300.000 ns: 0->01100010
    44500.000 ns: 1->01100010
    44600.000 ns: 0->01100010
    44800.000 ns: 1->01100010
    44900.000 ns: 0->01100010
    45100.000 ns: 1->01100010
    45200.000 ns: 0->01100010
    45400.000 ns: 1->01100010
    45500.000 ns: 0->01100010
    45700.000 ns: 1->01100010
    45800.000 ns: 0->01100010
    46000.000 ns: 1->01100010
    46100.000 ns: 0->01100010
    46300.000 ns: 1->01100010
    46400.000 ns: 0->01100010
    46600.000 ns: 1->01100010
    46600.000 ns: 1->01100001
    46700.000 ns: 0->01100001
    46900.000 ns: 1->01100001
    47000.000 ns: 0->01100001
    47200.000 ns: 1->01100001
    47300.000 ns: 0->01100001
    47500.000 ns: 1->01100001
    47600.000 ns: 0->01100001
    47800.000 ns: 1->01100001
    47900.000 ns: 0->01100001