{ "source_revision": "15291962a5d69e2706ff4fbbde0af00711741b4d", "provenance": "Authored RTL and repair; captured calls to the unmodified harness EDA tools. No model-generated or autonomously repaired artifacts.", "runs": { "original": { "compiled": true, "result": "FAIL", "cycles": 144, "checks": 783, "failures": 9, "passed": 774, "rtl_sha256": "28d7af4a710f8041ac6244386a61aa58d135e7b486e09d7cedab0958f4c8cb19", "trace": [ { "cycle": 0, "scenario": "reset", "reset": 1, "write": 0, "read": 0, "data": 0, "before": 0, "expected_ready": 1, "observed_ready": null, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 0 }, { "cycle": 1, "scenario": "empty_read", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 0 }, { "cycle": 2, "scenario": "fill", "reset": 0, "write": 1, "read": 0, "data": 17, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 0 }, { "cycle": 3, "scenario": "fill", "reset": 0, "write": 1, "read": 0, "data": 34, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 0 }, { "cycle": 4, "scenario": "fill", "reset": 0, "write": 1, "read": 0, "data": 51, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 0 }, { "cycle": 5, "scenario": "fill", "reset": 0, "write": 1, "read": 0, "data": 68, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 4, "observed_used": 4, "expected_output": -1, "observed_output": 0 }, { "cycle": 6, "scenario": "full_backpressure", "reset": 0, "write": 1, "read": 0, "data": 153, "before": 4, "expected_ready": 0, "observed_ready": 0, "expected_used": 4, "observed_used": 4, "expected_output": -1, "observed_output": 0 }, { "cycle": 7, "scenario": "full_exchange", "reset": 0, "write": 1, "read": 1, "data": 165, "before": 4, "expected_ready": 1, "observed_ready": 0, "expected_used": 4, "observed_used": 3, "expected_output": 17, "observed_output": 17 }, { "cycle": 8, "scenario": "drain", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 4, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 2, "expected_output": 34, "observed_output": 34 }, { "cycle": 9, "scenario": "drain", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 1, "expected_output": 51, "observed_output": 51 }, { "cycle": 10, "scenario": "drain", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 0, "expected_output": 68, "observed_output": 68 }, { "cycle": 11, "scenario": "drain", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 165, "observed_output": 68 }, { "cycle": 12, "scenario": "empty_read", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 68 }, { "cycle": 13, "scenario": "reset_priority", "reset": 1, "write": 1, "read": 1, "data": 255, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 0 }, { "cycle": 14, "scenario": "empty_exchange", "reset": 0, "write": 1, "read": 1, "data": 90, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 0 }, { "cycle": 15, "scenario": "drain", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 90, "observed_output": 90 }, { "cycle": 16, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 89, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 90 }, { "cycle": 17, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 179, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 90 }, { "cycle": 18, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 103, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 90 }, { "cycle": 19, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 206, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 89, "observed_output": 89 }, { "cycle": 20, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 156, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 89 }, { "cycle": 21, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 56, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 89 }, { "cycle": 22, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 112, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 206, "observed_output": 206 }, { "cycle": 23, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 225, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 206 }, { "cycle": 24, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 194, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 56, "observed_output": 56 }, { "cycle": 25, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 132, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 112, "observed_output": 112 }, { "cycle": 26, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 9, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 225, "observed_output": 225 }, { "cycle": 27, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 18, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 225 }, { "cycle": 28, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 37, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 132, "observed_output": 132 }, { "cycle": 29, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 75, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 9, "observed_output": 9 }, { "cycle": 30, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 151, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 9 }, { "cycle": 31, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 46, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 37, "observed_output": 37 }, { "cycle": 32, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 93, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 37 }, { "cycle": 33, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 187, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 151, "observed_output": 151 }, { "cycle": 34, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 118, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 151 }, { "cycle": 35, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 237, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 93, "observed_output": 93 }, { "cycle": 36, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 218, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 187, "observed_output": 187 }, { "cycle": 37, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 181, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 187 }, { "cycle": 38, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 106, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 187 }, { "cycle": 39, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 213, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 187 }, { "cycle": 40, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 171, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 181, "observed_output": 181 }, { "cycle": 41, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 86, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 106, "observed_output": 106 }, { "cycle": 42, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 172, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 106 }, { "cycle": 43, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 88, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 171, "observed_output": 171 }, { "cycle": 44, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 177, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 86, "observed_output": 86 }, { "cycle": 45, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 99, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 172, "observed_output": 172 }, { "cycle": 46, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 198, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 172 }, { "cycle": 47, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 141, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 172 }, { "cycle": 48, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 27, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 99, "observed_output": 99 }, { "cycle": 49, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 55, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 198, "observed_output": 198 }, { "cycle": 50, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 110, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 141, "observed_output": 141 }, { "cycle": 51, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 220, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 141 }, { "cycle": 52, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 185, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 55, "observed_output": 55 }, { "cycle": 53, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 115, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 55 }, { "cycle": 54, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 231, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 55 }, { "cycle": 55, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 206, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 185, "observed_output": 185 }, { "cycle": 56, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 157, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 185 }, { "cycle": 57, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 58, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 231, "observed_output": 231 }, { "cycle": 58, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 116, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 206, "observed_output": 206 }, { "cycle": 59, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 233, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 206 }, { "cycle": 60, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 210, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 206 }, { "cycle": 61, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 165, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 116, "observed_output": 116 }, { "cycle": 62, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 75, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 116 }, { "cycle": 63, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 150, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 210, "observed_output": 210 }, { "cycle": 64, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 44, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 165, "observed_output": 165 }, { "cycle": 65, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 89, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 165 }, { "cycle": 66, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 178, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 165 }, { "cycle": 67, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 101, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 165 }, { "cycle": 68, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 203, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": 89, "observed_output": 89 }, { "cycle": 69, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 150, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 178, "observed_output": 178 }, { "cycle": 70, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 44, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 101, "observed_output": 101 }, { "cycle": 71, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 88, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 203, "observed_output": 203 }, { "cycle": 72, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 177, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 203 }, { "cycle": 73, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 99, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 203 }, { "cycle": 74, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 199, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 88, "observed_output": 88 }, { "cycle": 75, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 143, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 88 }, { "cycle": 76, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 30, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 88 }, { "cycle": 77, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 60, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 88 }, { "cycle": 78, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 121, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 88 }, { "cycle": 79, "scenario": "mixed_traffic", "reset": 1, "write": 1, "read": 1, "data": 242, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 0 }, { "cycle": 80, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 228, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 0 }, { "cycle": 81, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 200, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 228, "observed_output": 228 }, { "cycle": 82, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 144, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 200, "observed_output": 200 }, { "cycle": 83, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 33, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 144, "observed_output": 144 }, { "cycle": 84, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 67, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 33, "observed_output": 33 }, { "cycle": 85, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 135, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 67, "observed_output": 67 }, { "cycle": 86, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 15, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 67 }, { "cycle": 87, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 31, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 67 }, { "cycle": 88, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 63, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 67 }, { "cycle": 89, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 127, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 67 }, { "cycle": 90, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 255, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 67 }, { "cycle": 91, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 255, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 63, "observed_output": 63 }, { "cycle": 92, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 254, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 63 }, { "cycle": 93, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 252, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 255, "observed_output": 255 }, { "cycle": 94, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 248, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 255, "observed_output": 255 }, { "cycle": 95, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 241, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 254, "observed_output": 254 }, { "cycle": 96, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 226, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 254 }, { "cycle": 97, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 197, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 248, "observed_output": 248 }, { "cycle": 98, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 139, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 241, "observed_output": 241 }, { "cycle": 99, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 23, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 241 }, { "cycle": 100, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 46, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 241 }, { "cycle": 101, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 93, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 241 }, { "cycle": 102, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 187, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 241 }, { "cycle": 103, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 118, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 241 }, { "cycle": 104, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 236, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 93, "observed_output": 93 }, { "cycle": 105, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 216, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 93 }, { "cycle": 106, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 176, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 118, "observed_output": 118 }, { "cycle": 107, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 96, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 118 }, { "cycle": 108, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 193, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 118 }, { "cycle": 109, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 130, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": 176, "observed_output": 176 }, { "cycle": 110, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 5, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 96, "observed_output": 96 }, { "cycle": 111, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 10, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 193, "observed_output": 193 }, { "cycle": 112, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 20, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 130, "observed_output": 130 }, { "cycle": 113, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 41, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 130 }, { "cycle": 114, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 83, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 130 }, { "cycle": 115, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 167, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 130 }, { "cycle": 116, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 79, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 130 }, { "cycle": 117, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 158, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 130 }, { "cycle": 118, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 60, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 167, "observed_output": 167 }, { "cycle": 119, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 120, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 79, "observed_output": 79 }, { "cycle": 120, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 240, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 158, "observed_output": 158 }, { "cycle": 121, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 224, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 158 }, { "cycle": 122, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 193, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 120, "observed_output": 120 }, { "cycle": 123, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 131, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 120 }, { "cycle": 124, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 7, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 224, "observed_output": 224 }, { "cycle": 125, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 14, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 224 }, { "cycle": 126, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 29, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 131, "observed_output": 131 }, { "cycle": 127, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 58, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 131 }, { "cycle": 128, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 117, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 131 }, { "cycle": 129, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 234, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 29, "observed_output": 29 }, { "cycle": 130, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 213, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 29 }, { "cycle": 131, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 170, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 29 }, { "cycle": 132, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 84, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 234, "observed_output": 234 }, { "cycle": 133, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 169, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 234 }, { "cycle": 134, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 82, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 234 }, { "cycle": 135, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 164, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 234 }, { "cycle": 136, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 73, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 169, "observed_output": 169 }, { "cycle": 137, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 146, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 82, "observed_output": 82 }, { "cycle": 138, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 36, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 164, "observed_output": 164 }, { "cycle": 139, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 72, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 164 }, { "cycle": 140, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 145, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 164 }, { "cycle": 141, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 35, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 164 }, { "cycle": 142, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 71, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 164 }, { "cycle": 143, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 142, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 145, "observed_output": 145 } ], "mismatches": [ { "cycle": 7, "field": "write_ready", "expected": 1, "observed": 0 }, { "cycle": 7, "field": "occupancy", "expected": 4, "observed": 3 }, { "cycle": 7, "field": "full_flag", "expected": 1, "observed": 0 }, { "cycle": 8, "field": "occupancy", "expected": 3, "observed": 2 }, { "cycle": 9, "field": "occupancy", "expected": 2, "observed": 1 }, { "cycle": 10, "field": "occupancy", "expected": 1, "observed": 0 }, { "cycle": 10, "field": "empty_flag", "expected": 0, "observed": 1 }, { "cycle": 11, "field": "read_valid", "expected": 1, "observed": 0 }, { "cycle": 11, "field": "read_order", "expected": 165, "observed": 68 } ] }, "revised": { "compiled": true, "result": "PASS", "cycles": 144, "checks": 783, "failures": 0, "passed": 783, "rtl_sha256": "3c82250779c7159e4fcf4f0cbd93c4ce4c378d32430714f3fbd970dd784a50f4", "trace": [ { "cycle": 0, "scenario": "reset", "reset": 1, "write": 0, "read": 0, "data": 0, "before": 0, "expected_ready": 1, "observed_ready": null, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 0 }, { "cycle": 1, "scenario": "empty_read", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 0 }, { "cycle": 2, "scenario": "fill", "reset": 0, "write": 1, "read": 0, "data": 17, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 0 }, { "cycle": 3, "scenario": "fill", "reset": 0, "write": 1, "read": 0, "data": 34, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 0 }, { "cycle": 4, "scenario": "fill", "reset": 0, "write": 1, "read": 0, "data": 51, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 0 }, { "cycle": 5, "scenario": "fill", "reset": 0, "write": 1, "read": 0, "data": 68, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 4, "observed_used": 4, "expected_output": -1, "observed_output": 0 }, { "cycle": 6, "scenario": "full_backpressure", "reset": 0, "write": 1, "read": 0, "data": 153, "before": 4, "expected_ready": 0, "observed_ready": 0, "expected_used": 4, "observed_used": 4, "expected_output": -1, "observed_output": 0 }, { "cycle": 7, "scenario": "full_exchange", "reset": 0, "write": 1, "read": 1, "data": 165, "before": 4, "expected_ready": 1, "observed_ready": 1, "expected_used": 4, "observed_used": 4, "expected_output": 17, "observed_output": 17 }, { "cycle": 8, "scenario": "drain", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 4, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": 34, "observed_output": 34 }, { "cycle": 9, "scenario": "drain", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 51, "observed_output": 51 }, { "cycle": 10, "scenario": "drain", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 68, "observed_output": 68 }, { "cycle": 11, "scenario": "drain", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 165, "observed_output": 165 }, { "cycle": 12, "scenario": "empty_read", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 165 }, { "cycle": 13, "scenario": "reset_priority", "reset": 1, "write": 1, "read": 1, "data": 255, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 0 }, { "cycle": 14, "scenario": "empty_exchange", "reset": 0, "write": 1, "read": 1, "data": 90, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 0 }, { "cycle": 15, "scenario": "drain", "reset": 0, "write": 0, "read": 1, "data": 0, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 90, "observed_output": 90 }, { "cycle": 16, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 89, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 90 }, { "cycle": 17, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 179, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 90 }, { "cycle": 18, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 103, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 90 }, { "cycle": 19, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 206, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 89, "observed_output": 89 }, { "cycle": 20, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 156, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 89 }, { "cycle": 21, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 56, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 89 }, { "cycle": 22, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 112, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 206, "observed_output": 206 }, { "cycle": 23, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 225, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 206 }, { "cycle": 24, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 194, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 56, "observed_output": 56 }, { "cycle": 25, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 132, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 112, "observed_output": 112 }, { "cycle": 26, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 9, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 225, "observed_output": 225 }, { "cycle": 27, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 18, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 225 }, { "cycle": 28, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 37, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 132, "observed_output": 132 }, { "cycle": 29, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 75, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 9, "observed_output": 9 }, { "cycle": 30, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 151, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 9 }, { "cycle": 31, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 46, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 37, "observed_output": 37 }, { "cycle": 32, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 93, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 37 }, { "cycle": 33, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 187, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 151, "observed_output": 151 }, { "cycle": 34, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 118, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 151 }, { "cycle": 35, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 237, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 93, "observed_output": 93 }, { "cycle": 36, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 218, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 187, "observed_output": 187 }, { "cycle": 37, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 181, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 187 }, { "cycle": 38, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 106, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 187 }, { "cycle": 39, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 213, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 187 }, { "cycle": 40, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 171, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 181, "observed_output": 181 }, { "cycle": 41, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 86, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 106, "observed_output": 106 }, { "cycle": 42, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 172, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 106 }, { "cycle": 43, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 88, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 171, "observed_output": 171 }, { "cycle": 44, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 177, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 86, "observed_output": 86 }, { "cycle": 45, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 99, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 172, "observed_output": 172 }, { "cycle": 46, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 198, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 172 }, { "cycle": 47, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 141, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 172 }, { "cycle": 48, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 27, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 99, "observed_output": 99 }, { "cycle": 49, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 55, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 198, "observed_output": 198 }, { "cycle": 50, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 110, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 141, "observed_output": 141 }, { "cycle": 51, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 220, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 141 }, { "cycle": 52, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 185, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 55, "observed_output": 55 }, { "cycle": 53, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 115, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 55 }, { "cycle": 54, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 231, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 55 }, { "cycle": 55, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 206, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 185, "observed_output": 185 }, { "cycle": 56, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 157, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 185 }, { "cycle": 57, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 58, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 231, "observed_output": 231 }, { "cycle": 58, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 116, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 206, "observed_output": 206 }, { "cycle": 59, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 233, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 206 }, { "cycle": 60, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 210, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 206 }, { "cycle": 61, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 165, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 116, "observed_output": 116 }, { "cycle": 62, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 75, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 116 }, { "cycle": 63, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 150, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 210, "observed_output": 210 }, { "cycle": 64, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 44, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 165, "observed_output": 165 }, { "cycle": 65, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 89, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 165 }, { "cycle": 66, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 178, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 165 }, { "cycle": 67, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 101, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 165 }, { "cycle": 68, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 203, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": 89, "observed_output": 89 }, { "cycle": 69, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 150, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 178, "observed_output": 178 }, { "cycle": 70, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 44, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 101, "observed_output": 101 }, { "cycle": 71, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 88, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 203, "observed_output": 203 }, { "cycle": 72, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 177, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 203 }, { "cycle": 73, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 99, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 203 }, { "cycle": 74, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 199, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 88, "observed_output": 88 }, { "cycle": 75, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 143, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 88 }, { "cycle": 76, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 30, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 88 }, { "cycle": 77, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 60, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 88 }, { "cycle": 78, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 121, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 88 }, { "cycle": 79, "scenario": "mixed_traffic", "reset": 1, "write": 1, "read": 1, "data": 242, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 0 }, { "cycle": 80, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 228, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 0 }, { "cycle": 81, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 200, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 228, "observed_output": 228 }, { "cycle": 82, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 144, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 200, "observed_output": 200 }, { "cycle": 83, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 33, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 144, "observed_output": 144 }, { "cycle": 84, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 67, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 33, "observed_output": 33 }, { "cycle": 85, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 135, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 67, "observed_output": 67 }, { "cycle": 86, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 15, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 67 }, { "cycle": 87, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 31, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 67 }, { "cycle": 88, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 63, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 67 }, { "cycle": 89, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 127, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 67 }, { "cycle": 90, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 255, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 67 }, { "cycle": 91, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 255, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 63, "observed_output": 63 }, { "cycle": 92, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 254, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 63 }, { "cycle": 93, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 252, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 255, "observed_output": 255 }, { "cycle": 94, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 248, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 255, "observed_output": 255 }, { "cycle": 95, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 241, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 254, "observed_output": 254 }, { "cycle": 96, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 226, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 254 }, { "cycle": 97, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 197, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 248, "observed_output": 248 }, { "cycle": 98, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 139, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 241, "observed_output": 241 }, { "cycle": 99, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 23, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 241 }, { "cycle": 100, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 46, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 241 }, { "cycle": 101, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 93, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 241 }, { "cycle": 102, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 187, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 241 }, { "cycle": 103, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 118, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 241 }, { "cycle": 104, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 236, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 93, "observed_output": 93 }, { "cycle": 105, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 216, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 93 }, { "cycle": 106, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 176, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 118, "observed_output": 118 }, { "cycle": 107, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 96, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 118 }, { "cycle": 108, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 193, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 118 }, { "cycle": 109, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 130, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": 176, "observed_output": 176 }, { "cycle": 110, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 5, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 96, "observed_output": 96 }, { "cycle": 111, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 10, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 193, "observed_output": 193 }, { "cycle": 112, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 20, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 130, "observed_output": 130 }, { "cycle": 113, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 41, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 130 }, { "cycle": 114, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 83, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 130 }, { "cycle": 115, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 167, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 130 }, { "cycle": 116, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 79, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 130 }, { "cycle": 117, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 158, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 130 }, { "cycle": 118, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 60, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 167, "observed_output": 167 }, { "cycle": 119, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 120, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 79, "observed_output": 79 }, { "cycle": 120, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 240, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 158, "observed_output": 158 }, { "cycle": 121, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 224, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 158 }, { "cycle": 122, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 193, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 120, "observed_output": 120 }, { "cycle": 123, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 131, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 120 }, { "cycle": 124, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 7, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 224, "observed_output": 224 }, { "cycle": 125, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 14, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 224 }, { "cycle": 126, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 29, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 131, "observed_output": 131 }, { "cycle": 127, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 58, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 131 }, { "cycle": 128, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 117, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 131 }, { "cycle": 129, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 1, "data": 234, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 29, "observed_output": 29 }, { "cycle": 130, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 213, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 29 }, { "cycle": 131, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 170, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 29 }, { "cycle": 132, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 84, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 234, "observed_output": 234 }, { "cycle": 133, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 169, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 234 }, { "cycle": 134, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 82, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 234 }, { "cycle": 135, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 164, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 3, "observed_used": 3, "expected_output": -1, "observed_output": 234 }, { "cycle": 136, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 73, "before": 3, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": 169, "observed_output": 169 }, { "cycle": 137, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 146, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 82, "observed_output": 82 }, { "cycle": 138, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 36, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": 164, "observed_output": 164 }, { "cycle": 139, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 72, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 0, "observed_used": 0, "expected_output": -1, "observed_output": 164 }, { "cycle": 140, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 145, "before": 0, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": -1, "observed_output": 164 }, { "cycle": 141, "scenario": "mixed_traffic", "reset": 0, "write": 1, "read": 0, "data": 35, "before": 1, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 164 }, { "cycle": 142, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 0, "data": 71, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 2, "observed_used": 2, "expected_output": -1, "observed_output": 164 }, { "cycle": 143, "scenario": "mixed_traffic", "reset": 0, "write": 0, "read": 1, "data": 142, "before": 2, "expected_ready": 1, "observed_ready": 1, "expected_used": 1, "observed_used": 1, "expected_output": 145, "observed_output": 145 } ], "mismatches": [] } }, "testbench_sha256": "11a8eda2fb1f1e6f85cc7d2ed777a42a32dc1b2c8901680dfb294e87ec8bc820", "synthesis": { "cell_count": 172, "wire_count": 127, "metrics": { "wires": 127, "wire_bits": 184, "memories": 0, "memory_bits": 0, "processes": 0, "cells": 172, "cell_types": { "12": 2, "11": 3, "10": 4, "_ANDNOT_": 20, "_AND_": 1, "_AOI3_": 5, "_AOI4_": 2, "_DFF_P_": 47, "_MUX_": 66, "_NAND_": 4, "_NOR_": 2, "_NOT_": 7, "_OAI3_": 3, "_ORNOT_": 4, "_OR_": 4, "_XNOR_": 1, "_XOR_": 6 } } } }