{ "schema_version": "1.0", "experiment_id": "SRAM_BIST_MARCH_CMINUS_001", "title": "March C- SRAM BIST with stuck-at fault injection", "algorithm": { "name": "March C-", "notation": "{⇕(w0); ⇑(r0,w1); ⇑(r1,w0); ⇓(r0,w1); ⇓(r1,w0); ⇕(r0)}", "elements": [ { "id": 0, "notation": "⇕(w0)", "direction": "any", "operations": [ "w0" ] }, { "id": 1, "notation": "⇑(r0,w1)", "direction": "up", "operations": [ "r0", "w1" ] }, { "id": 2, "notation": "⇑(r1,w0)", "direction": "up", "operations": [ "r1", "w0" ] }, { "id": 3, "notation": "⇓(r0,w1)", "direction": "down", "operations": [ "r0", "w1" ] }, { "id": 4, "notation": "⇓(r1,w0)", "direction": "down", "operations": [ "r1", "w0" ] }, { "id": 5, "notation": "⇕(r0)", "direction": "any", "operations": [ "r0" ] } ], "complexity": "10N operations" }, "memory": { "depth_words": 8, "data_width_bits": 8, "address_width_bits": 3, "fault_address": 3, "fault_bit": 2 }, "tools": { "iverilog": "12.0", "verilator": "5.020", "simulation": "Icarus execution + synthesizable RTL-only Verilator lint" }, "verification": { "scenario_count": 3, "all_scenarios_completed": true, "accesses_per_scenario": 80, "total_trace_events": 240, "fault_free_passed": true, "sa0_detected": true, "sa1_detected": true, "verilator_rtl_lint": "pass" }, "scenarios": [ { "id": "none", "fault": "No injected fault", "trace": [ { "cycle": 1, "element": 0, "direction": "up", "address": 0, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 2, "element": 0, "direction": "up", "address": 1, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 3, "element": 0, "direction": "up", "address": 2, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 4, "element": 0, "direction": "up", "address": 3, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 5, "element": 0, "direction": "up", "address": 4, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 6, "element": 0, "direction": "up", "address": 5, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 7, "element": 0, "direction": "up", "address": 6, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 8, "element": 0, "direction": "up", "address": 7, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 9, "element": 1, "direction": "up", "address": 0, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 10, "element": 1, "direction": "up", "address": 0, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 11, "element": 1, "direction": "up", "address": 1, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 12, "element": 1, "direction": "up", "address": 1, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 13, "element": 1, "direction": "up", "address": 2, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 14, "element": 1, "direction": "up", "address": 2, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 15, "element": 1, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 16, "element": 1, "direction": "up", "address": 3, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 17, "element": 1, "direction": "up", "address": 4, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 18, "element": 1, "direction": "up", "address": 4, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 19, "element": 1, "direction": "up", "address": 5, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 20, "element": 1, "direction": "up", "address": 5, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 21, "element": 1, "direction": "up", "address": 6, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 22, "element": 1, "direction": "up", "address": 6, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 23, "element": 1, "direction": "up", "address": 7, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 24, "element": 1, "direction": "up", "address": 7, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 25, "element": 2, "direction": "up", "address": 0, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 26, "element": 2, "direction": "up", "address": 0, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 27, "element": 2, "direction": "up", "address": 1, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 28, "element": 2, "direction": "up", "address": 1, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 29, "element": 2, "direction": "up", "address": 2, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 30, "element": 2, "direction": "up", "address": 2, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 31, "element": 2, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 32, "element": 2, "direction": "up", "address": 3, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 33, "element": 2, "direction": "up", "address": 4, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 34, "element": 2, "direction": "up", "address": 4, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 35, "element": 2, "direction": "up", "address": 5, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 36, "element": 2, "direction": "up", "address": 5, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 37, "element": 2, "direction": "up", "address": 6, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 38, "element": 2, "direction": "up", "address": 6, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 39, "element": 2, "direction": "up", "address": 7, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 40, "element": 2, "direction": "up", "address": 7, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 41, "element": 3, "direction": "down", "address": 7, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 42, "element": 3, "direction": "down", "address": 7, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 43, "element": 3, "direction": "down", "address": 6, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 44, "element": 3, "direction": "down", "address": 6, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 45, "element": 3, "direction": "down", "address": 5, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 46, "element": 3, "direction": "down", "address": 5, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 47, "element": 3, "direction": "down", "address": 4, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 48, "element": 3, "direction": "down", "address": 4, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 49, "element": 3, "direction": "down", "address": 3, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 50, "element": 3, "direction": "down", "address": 3, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 51, "element": 3, "direction": "down", "address": 2, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 52, "element": 3, "direction": "down", "address": 2, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 53, "element": 3, "direction": "down", "address": 1, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 54, "element": 3, "direction": "down", "address": 1, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 55, "element": 3, "direction": "down", "address": 0, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 56, "element": 3, "direction": "down", "address": 0, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 57, "element": 4, "direction": "down", "address": 7, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 58, "element": 4, "direction": "down", "address": 7, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 59, "element": 4, "direction": "down", "address": 6, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 60, "element": 4, "direction": "down", "address": 6, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 61, "element": 4, "direction": "down", "address": 5, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 62, "element": 4, "direction": "down", "address": 5, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 63, "element": 4, "direction": "down", "address": 4, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 64, "element": 4, "direction": "down", "address": 4, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 65, "element": 4, "direction": "down", "address": 3, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 66, "element": 4, "direction": "down", "address": 3, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 67, "element": 4, "direction": "down", "address": 2, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 68, "element": 4, "direction": "down", "address": 2, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 69, "element": 4, "direction": "down", "address": 1, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 70, "element": 4, "direction": "down", "address": 1, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 71, "element": 4, "direction": "down", "address": 0, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 72, "element": 4, "direction": "down", "address": 0, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 73, "element": 5, "direction": "up", "address": 0, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 74, "element": 5, "direction": "up", "address": 1, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 75, "element": 5, "direction": "up", "address": 2, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 76, "element": 5, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 77, "element": 5, "direction": "up", "address": 4, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 78, "element": 5, "direction": "up", "address": 5, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 79, "element": 5, "direction": "up", "address": 6, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 80, "element": 5, "direction": "up", "address": 7, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false } ], "accesses": 80, "trace_mismatches": 0, "fail": false, "rtl_mismatch_count": 0, "detected": false, "first_detection": null }, { "id": "sa0", "fault": "stuck-at-0 at address 3, bit 2", "trace": [ { "cycle": 1, "element": 0, "direction": "up", "address": 0, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 2, "element": 0, "direction": "up", "address": 1, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 3, "element": 0, "direction": "up", "address": 2, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 4, "element": 0, "direction": "up", "address": 3, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 5, "element": 0, "direction": "up", "address": 4, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 6, "element": 0, "direction": "up", "address": 5, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 7, "element": 0, "direction": "up", "address": 6, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 8, "element": 0, "direction": "up", "address": 7, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 9, "element": 1, "direction": "up", "address": 0, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 10, "element": 1, "direction": "up", "address": 0, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 11, "element": 1, "direction": "up", "address": 1, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 12, "element": 1, "direction": "up", "address": 1, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 13, "element": 1, "direction": "up", "address": 2, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 14, "element": 1, "direction": "up", "address": 2, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 15, "element": 1, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 16, "element": 1, "direction": "up", "address": 3, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 17, "element": 1, "direction": "up", "address": 4, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 18, "element": 1, "direction": "up", "address": 4, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 19, "element": 1, "direction": "up", "address": 5, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 20, "element": 1, "direction": "up", "address": 5, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 21, "element": 1, "direction": "up", "address": 6, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 22, "element": 1, "direction": "up", "address": 6, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 23, "element": 1, "direction": "up", "address": 7, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 24, "element": 1, "direction": "up", "address": 7, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 25, "element": 2, "direction": "up", "address": 0, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 26, "element": 2, "direction": "up", "address": 0, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 27, "element": 2, "direction": "up", "address": 1, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 28, "element": 2, "direction": "up", "address": 1, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 29, "element": 2, "direction": "up", "address": 2, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 30, "element": 2, "direction": "up", "address": 2, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 31, "element": 2, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 1, "observed_hex": "FB", "expected_hex": "FF", "mismatch": true }, { "cycle": 32, "element": 2, "direction": "up", "address": 3, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 33, "element": 2, "direction": "up", "address": 4, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 34, "element": 2, "direction": "up", "address": 4, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 35, "element": 2, "direction": "up", "address": 5, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 36, "element": 2, "direction": "up", "address": 5, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 37, "element": 2, "direction": "up", "address": 6, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 38, "element": 2, "direction": "up", "address": 6, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 39, "element": 2, "direction": "up", "address": 7, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 40, "element": 2, "direction": "up", "address": 7, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 41, "element": 3, "direction": "down", "address": 7, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 42, "element": 3, "direction": "down", "address": 7, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 43, "element": 3, "direction": "down", "address": 6, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 44, "element": 3, "direction": "down", "address": 6, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 45, "element": 3, "direction": "down", "address": 5, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 46, "element": 3, "direction": "down", "address": 5, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 47, "element": 3, "direction": "down", "address": 4, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 48, "element": 3, "direction": "down", "address": 4, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 49, "element": 3, "direction": "down", "address": 3, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 50, "element": 3, "direction": "down", "address": 3, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 51, "element": 3, "direction": "down", "address": 2, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 52, "element": 3, "direction": "down", "address": 2, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 53, "element": 3, "direction": "down", "address": 1, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 54, "element": 3, "direction": "down", "address": 1, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 55, "element": 3, "direction": "down", "address": 0, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 56, "element": 3, "direction": "down", "address": 0, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 57, "element": 4, "direction": "down", "address": 7, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 58, "element": 4, "direction": "down", "address": 7, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 59, "element": 4, "direction": "down", "address": 6, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 60, "element": 4, "direction": "down", "address": 6, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 61, "element": 4, "direction": "down", "address": 5, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 62, "element": 4, "direction": "down", "address": 5, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 63, "element": 4, "direction": "down", "address": 4, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 64, "element": 4, "direction": "down", "address": 4, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 65, "element": 4, "direction": "down", "address": 3, "operation": "READ", "expected_bit": 1, "observed_hex": "FB", "expected_hex": "FF", "mismatch": true }, { "cycle": 66, "element": 4, "direction": "down", "address": 3, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 67, "element": 4, "direction": "down", "address": 2, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 68, "element": 4, "direction": "down", "address": 2, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 69, "element": 4, "direction": "down", "address": 1, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 70, "element": 4, "direction": "down", "address": 1, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 71, "element": 4, "direction": "down", "address": 0, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 72, "element": 4, "direction": "down", "address": 0, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 73, "element": 5, "direction": "up", "address": 0, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 74, "element": 5, "direction": "up", "address": 1, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 75, "element": 5, "direction": "up", "address": 2, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 76, "element": 5, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 77, "element": 5, "direction": "up", "address": 4, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 78, "element": 5, "direction": "up", "address": 5, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 79, "element": 5, "direction": "up", "address": 6, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 80, "element": 5, "direction": "up", "address": 7, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false } ], "accesses": 80, "trace_mismatches": 2, "fail": true, "rtl_mismatch_count": 2, "detected": true, "first_detection": { "cycle": 31, "element": 2, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 1, "observed_hex": "FB", "expected_hex": "FF", "mismatch": true } }, { "id": "sa1", "fault": "stuck-at-1 at address 3, bit 2", "trace": [ { "cycle": 1, "element": 0, "direction": "up", "address": 0, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 2, "element": 0, "direction": "up", "address": 1, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 3, "element": 0, "direction": "up", "address": 2, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 4, "element": 0, "direction": "up", "address": 3, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 5, "element": 0, "direction": "up", "address": 4, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 6, "element": 0, "direction": "up", "address": 5, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 7, "element": 0, "direction": "up", "address": 6, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 8, "element": 0, "direction": "up", "address": 7, "operation": "WRITE", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 9, "element": 1, "direction": "up", "address": 0, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 10, "element": 1, "direction": "up", "address": 0, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 11, "element": 1, "direction": "up", "address": 1, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 12, "element": 1, "direction": "up", "address": 1, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 13, "element": 1, "direction": "up", "address": 2, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 14, "element": 1, "direction": "up", "address": 2, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 15, "element": 1, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 0, "observed_hex": "04", "expected_hex": "00", "mismatch": true }, { "cycle": 16, "element": 1, "direction": "up", "address": 3, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 17, "element": 1, "direction": "up", "address": 4, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 18, "element": 1, "direction": "up", "address": 4, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 19, "element": 1, "direction": "up", "address": 5, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 20, "element": 1, "direction": "up", "address": 5, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 21, "element": 1, "direction": "up", "address": 6, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 22, "element": 1, "direction": "up", "address": 6, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 23, "element": 1, "direction": "up", "address": 7, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 24, "element": 1, "direction": "up", "address": 7, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 25, "element": 2, "direction": "up", "address": 0, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 26, "element": 2, "direction": "up", "address": 0, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 27, "element": 2, "direction": "up", "address": 1, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 28, "element": 2, "direction": "up", "address": 1, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 29, "element": 2, "direction": "up", "address": 2, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 30, "element": 2, "direction": "up", "address": 2, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 31, "element": 2, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 32, "element": 2, "direction": "up", "address": 3, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 33, "element": 2, "direction": "up", "address": 4, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 34, "element": 2, "direction": "up", "address": 4, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 35, "element": 2, "direction": "up", "address": 5, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 36, "element": 2, "direction": "up", "address": 5, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 37, "element": 2, "direction": "up", "address": 6, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 38, "element": 2, "direction": "up", "address": 6, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 39, "element": 2, "direction": "up", "address": 7, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 40, "element": 2, "direction": "up", "address": 7, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 41, "element": 3, "direction": "down", "address": 7, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 42, "element": 3, "direction": "down", "address": 7, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 43, "element": 3, "direction": "down", "address": 6, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 44, "element": 3, "direction": "down", "address": 6, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 45, "element": 3, "direction": "down", "address": 5, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 46, "element": 3, "direction": "down", "address": 5, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 47, "element": 3, "direction": "down", "address": 4, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 48, "element": 3, "direction": "down", "address": 4, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 49, "element": 3, "direction": "down", "address": 3, "operation": "READ", "expected_bit": 0, "observed_hex": "04", "expected_hex": "00", "mismatch": true }, { "cycle": 50, "element": 3, "direction": "down", "address": 3, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 51, "element": 3, "direction": "down", "address": 2, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 52, "element": 3, "direction": "down", "address": 2, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 53, "element": 3, "direction": "down", "address": 1, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 54, "element": 3, "direction": "down", "address": 1, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 55, "element": 3, "direction": "down", "address": 0, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 56, "element": 3, "direction": "down", "address": 0, "operation": "WRITE", "expected_bit": 0, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 57, "element": 4, "direction": "down", "address": 7, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 58, "element": 4, "direction": "down", "address": 7, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 59, "element": 4, "direction": "down", "address": 6, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 60, "element": 4, "direction": "down", "address": 6, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 61, "element": 4, "direction": "down", "address": 5, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 62, "element": 4, "direction": "down", "address": 5, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 63, "element": 4, "direction": "down", "address": 4, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 64, "element": 4, "direction": "down", "address": 4, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 65, "element": 4, "direction": "down", "address": 3, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 66, "element": 4, "direction": "down", "address": 3, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 67, "element": 4, "direction": "down", "address": 2, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 68, "element": 4, "direction": "down", "address": 2, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 69, "element": 4, "direction": "down", "address": 1, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 70, "element": 4, "direction": "down", "address": 1, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 71, "element": 4, "direction": "down", "address": 0, "operation": "READ", "expected_bit": 1, "observed_hex": "FF", "expected_hex": "FF", "mismatch": false }, { "cycle": 72, "element": 4, "direction": "down", "address": 0, "operation": "WRITE", "expected_bit": 1, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 73, "element": 5, "direction": "up", "address": 0, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 74, "element": 5, "direction": "up", "address": 1, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 75, "element": 5, "direction": "up", "address": 2, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 76, "element": 5, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 0, "observed_hex": "04", "expected_hex": "00", "mismatch": true }, { "cycle": 77, "element": 5, "direction": "up", "address": 4, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 78, "element": 5, "direction": "up", "address": 5, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 79, "element": 5, "direction": "up", "address": 6, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false }, { "cycle": 80, "element": 5, "direction": "up", "address": 7, "operation": "READ", "expected_bit": 0, "observed_hex": "00", "expected_hex": "00", "mismatch": false } ], "accesses": 80, "trace_mismatches": 3, "fail": true, "rtl_mismatch_count": 3, "detected": true, "first_detection": { "cycle": 15, "element": 1, "direction": "up", "address": 3, "operation": "READ", "expected_bit": 0, "observed_hex": "04", "expected_hex": "00", "mismatch": true } } ], "provenance": { "sha256": { "march_cminus_bist.sv": "b483d70790a95951fbb342ba54621130de0393532ea5c7106b6ef9255b93bd70", "march_cminus_bist_tb.sv": "d75ffa96d52225c64a4d59bc4bfb55584d6e2b18c4b490467c8603d25855078d", "march_cminus_bist.vcd": "d837b03c0d4ecf3391f244d3f3eb29cd18ead8d7eb083218b196fbf9ed1d06d5", "iverilog.log": "bd35f0bf09391250cd62f9eca64b4207be6f71341f9b9c67dd5b69a8d17ff8c3", "verilator-rtl.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" }, "payload_sha256_before_hash_field": "e67c1fbd4f0aea4f595695acb7e349ecd3e4c4f068b5dd33f3c74f9a7424a62a" }, "limitations": [ "The memory is an 8x8 behavioral model, not a compiled foundry SRAM macro.", "Fault injection covers one single-cell stuck-at-0 and one stuck-at-1 site; coupling, transition, address-decoder, retention, and analog faults are outside this preset.", "The browser replays the verified Icarus trace and does not execute arbitrary HDL.", "March C- coverage claims depend on the fault model and are not equivalent to production test qualification." ] }