{
  "evidence": "功能执行",
  "operations": [
    {
      "kind": "read",
      "address": 0
    },
    {
      "kind": "write",
      "address": 0
    },
    {
      "kind": "write",
      "address": 16
    },
    {
      "kind": "read",
      "address": 32
    },
    {
      "kind": "read",
      "address": 0
    }
  ],
  "events": [
    {
      "step": 1,
      "kind": "read",
      "address": 0,
      "block": 0,
      "index": 0,
      "tag": 0,
      "hit": false,
      "miss_kind": "cold",
      "evicted_block": null,
      "dirty_eviction": false,
      "fill_bytes": 16,
      "writeback_bytes": 0,
      "lower_write_bytes": 0,
      "latency": 11
    },
    {
      "step": 2,
      "kind": "write",
      "address": 0,
      "block": 0,
      "index": 0,
      "tag": 0,
      "hit": true,
      "miss_kind": "hit",
      "evicted_block": null,
      "dirty_eviction": false,
      "fill_bytes": 0,
      "writeback_bytes": 0,
      "lower_write_bytes": 0,
      "latency": 1
    },
    {
      "step": 3,
      "kind": "write",
      "address": 16,
      "block": 1,
      "index": 0,
      "tag": 1,
      "hit": false,
      "miss_kind": "cold",
      "evicted_block": null,
      "dirty_eviction": false,
      "fill_bytes": 16,
      "writeback_bytes": 0,
      "lower_write_bytes": 0,
      "latency": 11
    },
    {
      "step": 4,
      "kind": "read",
      "address": 32,
      "block": 2,
      "index": 0,
      "tag": 2,
      "hit": false,
      "miss_kind": "cold",
      "evicted_block": 0,
      "dirty_eviction": true,
      "fill_bytes": 16,
      "writeback_bytes": 16,
      "lower_write_bytes": 0,
      "latency": 21
    },
    {
      "step": 5,
      "kind": "read",
      "address": 0,
      "block": 0,
      "index": 0,
      "tag": 0,
      "hit": false,
      "miss_kind": "capacity",
      "evicted_block": 1,
      "dirty_eviction": true,
      "fill_bytes": 16,
      "writeback_bytes": 16,
      "lower_write_bytes": 0,
      "latency": 21
    }
  ],
  "stats": {
    "demand": 5,
    "hits": 1,
    "misses": 4,
    "cold": 3,
    "capacity": 1,
    "conflict": 0,
    "fills": 4,
    "writebacks": 2,
    "fill_bytes": 64,
    "writeback_bytes": 32,
    "lower_write_bytes": 0,
    "prefetches": 0,
    "useful_prefetches": 0,
    "useless_prefetches": 0
  },
  "hierarchy_amat_cycles": 13.0,
  "pipeline_memory_latency_interface": {
    "callable": "latency_function(classified_cache)",
    "sample_latency_cycles": 21
  },
  "write_back_no_write_allocate_counterexample": {
    "event": {
      "step": 1,
      "kind": "write",
      "address": 0,
      "block": 0,
      "index": 0,
      "tag": 0,
      "hit": false,
      "miss_kind": "cold",
      "evicted_block": null,
      "dirty_eviction": false,
      "fill_bytes": 0,
      "writeback_bytes": 0,
      "lower_write_bytes": 4,
      "latency": 21
    },
    "stats": {
      "demand": 1,
      "hits": 0,
      "misses": 1,
      "cold": 1,
      "capacity": 0,
      "conflict": 0,
      "fills": 0,
      "writebacks": 0,
      "fill_bytes": 0,
      "writeback_bytes": 0,
      "lower_write_bytes": 4,
      "prefetches": 0,
      "useful_prefetches": 0,
      "useless_prefetches": 0
    }
  }
}