71 lines
5.8 KiB
Plaintext
71 lines
5.8 KiB
Plaintext
|
scenario: 1, clk = 0, in = 0, reset = 1, out_bytes = 0, done = 0
|
||
|
|
scenario: 1, clk = 1, in = 0, reset = 1, out_bytes = 0, done = 0
|
||
|
|
scenario: 1, clk = 1, in = 0, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 1, clk = 1, in = 44, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 1, clk = 1, in = 129, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 1, clk = 1, in = 9, reset = 0, out_bytes = 2916617, done = 1
|
||
|
|
[check]scenario: 1, clk = 1, in = 9, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 2, clk = 1, in = 107, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 2, clk = 1, in = 107, reset = 0, out_bytes = 592235, done = 1
|
||
|
|
scenario: 2, clk = 1, in = 13, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 2, clk = 1, in = 141, reset = 0, out_bytes = 0, done = 0
|
||
|
|
[check]scenario: 2, clk = 1, in = 141, reset = 0, out_bytes = 888205, done = 1
|
||
|
|
scenario: 3, clk = 1, in = 109, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 3, clk = 1, in = 109, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 3, clk = 1, in = 18, reset = 0, out_bytes = 9268498, done = 1
|
||
|
|
scenario: 3, clk = 1, in = 1, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 3, clk = 1, in = 237, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 3, clk = 1, in = 118, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 3, clk = 1, in = 61, reset = 0, out_bytes = 15562301, done = 1
|
||
|
|
[check]scenario: 3, clk = 1, in = 61, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 4, clk = 1, in = 237, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 4, clk = 1, in = 237, reset = 0, out_bytes = 4013549, done = 1
|
||
|
|
scenario: 4, clk = 1, in = 140, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 4, clk = 1, in = 249, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 4, clk = 1, in = 0, reset = 0, out_bytes = 9238784, done = 1
|
||
|
|
scenario: 4, clk = 1, in = 0, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 4, clk = 1, in = 206, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 4, clk = 1, in = 197, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 4, clk = 1, in = 170, reset = 0, out_bytes = 13551018, done = 1
|
||
|
|
[check]scenario: 4, clk = 1, in = 170, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 5, clk = 1, in = 44, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 5, clk = 1, in = 44, reset = 0, out_bytes = 11184684, done = 1
|
||
|
|
scenario: 5, clk = 1, in = 129, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 5, clk = 1, in = 9, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 5, clk = 1, in = 9, reset = 1, out_bytes = 0, done = 0
|
||
|
|
scenario: 5, clk = 1, in = 9, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 5, clk = 1, in = 107, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 5, clk = 1, in = 13, reset = 0, out_bytes = 617229, done = 1
|
||
|
|
scenario: 5, clk = 1, in = 141, reset = 0, out_bytes = 0, done = 0
|
||
|
|
[check]scenario: 5, clk = 1, in = 141, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 6, clk = 1, in = 107, reset = 0, out_bytes = 9276813, done = 1
|
||
|
|
scenario: 6, clk = 1, in = 107, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 6, clk = 1, in = 13, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 6, clk = 1, in = 141, reset = 0, out_bytes = 7015821, done = 1
|
||
|
|
scenario: 6, clk = 1, in = 0, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 6, clk = 1, in = 0, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 6, clk = 1, in = 237, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 6, clk = 1, in = 118, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 6, clk = 1, in = 61, reset = 0, out_bytes = 15562301, done = 1
|
||
|
|
[check]scenario: 6, clk = 1, in = 61, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 7, clk = 1, in = 237, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 7, clk = 1, in = 237, reset = 0, out_bytes = 4013549, done = 1
|
||
|
|
scenario: 7, clk = 1, in = 140, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 7, clk = 1, in = 249, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 7, clk = 1, in = 0, reset = 0, out_bytes = 9238784, done = 1
|
||
|
|
scenario: 7, clk = 1, in = 0, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 7, clk = 1, in = 206, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 7, clk = 1, in = 197, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 7, clk = 1, in = 170, reset = 0, out_bytes = 13551018, done = 1
|
||
|
|
[check]scenario: 7, clk = 1, in = 170, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 8, clk = 1, in = 44, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 8, clk = 1, in = 44, reset = 0, out_bytes = 11184684, done = 1
|
||
|
|
scenario: 8, clk = 1, in = 129, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 8, clk = 1, in = 9, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 8, clk = 1, in = 9, reset = 1, out_bytes = 0, done = 0
|
||
|
|
scenario: 8, clk = 1, in = 9, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 8, clk = 1, in = 107, reset = 0, out_bytes = 0, done = 0
|
||
|
|
scenario: 8, clk = 1, in = 13, reset = 0, out_bytes = 617229, done = 1
|
||
|
|
scenario: 8, clk = 1, in = 141, reset = 0, out_bytes = 0, done = 0
|
||
|
|
[check]scenario: 8, clk = 1, in = 141, reset = 0, out_bytes = 0, done = 0
|