opentitan/tool_data.json at master · lowRISC/opentitan · 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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
[
    {
        "name": "AscentLint",
        "vendor": "RealIntent",
        "version": "2022.A.P23.1.2026_01_29",
        "comment": "RTL lint (Real Intent Ascent Lint)."
    },
    {
        "name": "Jasper",
        "vendor": "Cadence",
        "version": "2025.09",
        "comment": "Formal verification."
    },
    {
        "name": "MeridianCDC",
        "vendor": "RealIntent",
        "version": "2022.A.P24.3.2025_12_16",
        "comment": "Clock-domain-crossing (CDC) analysis."
    },
    {
        "name": "MeridianRDC",
        "vendor": "RealIntent",
        "version": "2022.A.P14.4.RDC_.2025_12_16",
        "comment": "Reset-domain-crossing (RDC) analysis."
    },
    {
        "name": "VCS",
        "vendor": "Synopsys",
        "version": "X-2025.06-SP2-1",
        "comment": "RTL simulator."
    },
    {
        "name": "Verdi",
        "vendor": "Synopsys",
        "version": "X-2025.06-SP2-1",
        "comment": "Provides the FSDB dumper (novas) libraries VCS loads to dump waves in FSDB format."
    },
    {
        "name": "Vivado",
        "vendor": "Xilinx",
        "version": "2021.1",
        "comment": "Used to build FPGA bitstreams."
    },
    {
        "name": "Xcelium",
        "vendor": "Cadence",
        "version": "24.03-s007",
        "comment": "Provides xrun for simulations and is used to run our full UVM verification environment."
    },
    {
        "name": "vManager",
        "vendor": "Cadence",
        "version": "24.03-s002",
        "comment": "Provides imc, which DVSim uses to merge and report Xcelium coverage."
    }
]