benchmarks.json

[
  {
    "name": "detector",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "detector/detector.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        },
        "file": "detector/detector_2.vl"
      },
      {
        "params": {
          "n": 4
        },
        "file": "detector/detector_4.vl"
      }
    ]
  },
  {
    "name": "mux",
    "params": [
      "n"
    ],
    "generate": {
      "n": 16
    },
    "specification": "mux/mux.tlsf",
    "implementations": [
      {
        "params": {
          "n": 4
        },
        "file": "mux/mux_4.vl"
      },
      {
        "params": {
          "n": 8
        },
        "file": "mux/mux_8.vl"
      }
    ]
  },
  {
    "name": "full_arbiter",
    "params": [
      "n"
    ],
    "generate": {
      "n": 4
    },
    "specification": "full_arbiter/full_arbiter.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        },
        "file": "full_arbiter/full_arbiter_2.vl"
      },
      {
        "params": {
          "n": 3
        },
        "file": "full_arbiter/full_arbiter_4.vl"
      }
    ]
  },
  {
    "name": "simple_arbiter",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "simple_arbiter/simple_arbiter.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        },
        "file": "simple_arbiter/simple_arbiter_2.vl"
      },
      {
        "params": {
          "n": 4
        },
        "file": "simple_arbiter/simple_arbiter_4.vl"
      }
    ]
  },
  {
    "name": "shift",
    "params": [
      "n"
    ],
    "generate": {
      "n": 16
    },
    "specification": "shift/shift.tlsf",
    "implementations": [
      {
        "params": {
          "n": 4
        },
        "file": "shift/shift_4.vl"
      },
      {
        "params": {
          "n": 8
        },
        "file": "shift/shift_8.vl"
      }
    ]
  }
]