benchmarks_bosy.json

[
  {
    "name": "amba_decomposed_arbiter",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "amba/amba_decomposed/parametric/amba_decomposed_arbiter.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  },
  {
    "name": "amba_decomposed_encode",
    "params": [
      "n"
    ],
    "generate": {
      "n": 16
    },
    "specification": "amba/amba_decomposed/parametric/amba_decomposed_encode.tlsf",
    "implementations": [
      {
        "params": {
          "n": 4
        }
      },
      {
        "params": {
          "n": 8
        }
      }
    ]
  },
  {
    "name": "amba_decomposed_lock",
    "params": [
      "n"
    ],
    "generate": {
      "n": 16
    },
    "specification": "amba/amba_decomposed/parametric/amba_decomposed_lock.tlsf",
    "implementations": [
      {
        "params": {
          "n": 4
        }
      },
      {
        "params": {
          "n": 8
        }
      }
    ]
  },
  {
    "name": "collector_v2",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "collector/parametric/collector_v2.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  },
  {
    "name": "collector_v3",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "collector/parametric/collector_v3.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  },
  {
    "name": "detector",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "detector/parametric/detector.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  },
  {
    "name": "load_balancer",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "load_balancer/parametric/load_balancer.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  },
  {
    "name": "ltl2dba_alpha",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "ltl2dba/parametric/ltl2dba_alpha.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  },
  {
    "name": "ltl2dba_C2",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "ltl2dba/parametric/ltl2dba_C2.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  },
  {
    "name": "mux",
    "params": [
      "n"
    ],
    "generate": {
      "n": 16
    },
    "specification": "mux/parametric/mux.tlsf",
    "implementations": [
      {
        "params": {
          "n": 4
        }
      },
      {
        "params": {
          "n": 8
        }
      }
    ]
  },
  {
    "name": "narylatch",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "nary_latch/parametric/narylatch.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  },
  {
    "name": "prioritized_arbiter",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "prioritized_arbiter/parametric/prioritized_arbiter.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  },
  {
    "name": "shift",
    "params": [
      "n"
    ],
    "generate": {
      "n": 16
    },
    "specification": "shift/parametric/shift.tlsf",
    "implementations": [
      {
        "params": {
          "n": 4
        }
      },
      {
        "params": {
          "n": 8
        }
      }
    ]
  },
  {
    "name": "simple_arbiter",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "simple_arbiter/parametric/simple_arbiter.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  },
  {
    "name": "simple_arbiter_enc",
    "params": [
      "n"
    ],
    "generate": {
      "n": 8
    },
    "specification": "simple_arbiter_log/parametric/simple_arbiter_enc.tlsf",
    "implementations": [
      {
        "params": {
          "n": 2
        }
      },
      {
        "params": {
          "n": 4
        }
      }
    ]
  }
]