dynamatic/integration-test/loop_path/buffer.json at 526ae71256d42e9a13a4e12c91f9e6488eae7e56 · EPFL-LAP/dynamatic · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
[
  {
    "pred": "speculating_branch0",
    "outid": 0,
    "slots": 2,
    "type": "fifo_break_none",
    "comment": "To avoid deadlock"
  },
  {
    "pred": "fork1",
    "outid": 0,
    "slots": 2,
    "type": "fifo_break_none",
    "comment": "To achieve better II"
  },
  {
    "pred": "fork5",
    "outid": 1,
    "slots": 2,
    "type": "fifo_break_none",
    "comment": "To achieve better II"
  },
  {
    "pred": "fork11",
    "outid": 0,
    "slots": 2,
    "type": "fifo_break_none",
    "comment": "Buffer non-spec token to prevent II=2 locking (placed before spec_commit to avoid the effect of non-deterministic naming)"
  },
  {
    "pred": "fork11",
    "outid": 1,
    "slots": 2,
    "type": "fifo_break_none",
    "comment": "Buffer non-spec token to prevent II=2 locking (placed before spec_commit to avoid the effect of non-deterministic naming)"
  }
]