{
    "debug_cores": [
        {
            "name": "la0",
            "type": "la",
            "uuid": "cb44f83ddf674d66b2dd550675cad77d",
            "trigin_en": false,
            "trigout_en": false,
            "auto_inserted": true,
            "capture_control": false,
            "data_depth": 1024,
            "input_pipeline": 1,
            "probes": [
                {
                    "name": "sd_data_OUT",
                    "width": 1,
                    "probe_type": 1
                },
                {
                    "name": "sd_cmd_IN",
                    "width": 1,
                    "probe_type": 1
                },
                {
                    "name": "sd_data_OE",
                    "width": 1,
                    "probe_type": 1
                },
                {
                    "name": "sd_data_IN",
                    "width": 1,
                    "probe_type": 1
                },
                {
                    "name": "sd_cmd_OE",
                    "width": 1,
                    "probe_type": 1
                },
                {
                    "name": "sd_cmd_OUT",
                    "width": 1,
                    "probe_type": 1
                },
                {
                    "name": "w_sdcard_cs",
                    "width": 1,
                    "probe_type": 1
                }
            ]
        }
    ],
    "connections": [
        {
            "command": "add_ports",
            "id": 1,
            "args": {
                "netlist": "super6502",
                "ports": [
                    {
                        "name": "jtag_inst1_CAPTURE",
                        "dir": "in",
                        "width": 1
                    },
                    {
                        "name": "jtag_inst1_DRCK",
                        "dir": "in",
                        "width": 1
                    },
                    {
                        "name": "jtag_inst1_RESET",
                        "dir": "in",
                        "width": 1
                    },
                    {
                        "name": "jtag_inst1_RUNTEST",
                        "dir": "in",
                        "width": 1
                    },
                    {
                        "name": "jtag_inst1_SEL",
                        "dir": "in",
                        "width": 1
                    },
                    {
                        "name": "jtag_inst1_SHIFT",
                        "dir": "in",
                        "width": 1
                    },
                    {
                        "name": "jtag_inst1_TCK",
                        "dir": "in",
                        "width": 1
                    },
                    {
                        "name": "jtag_inst1_TDI",
                        "dir": "in",
                        "width": 1
                    },
                    {
                        "name": "jtag_inst1_TMS",
                        "dir": "in",
                        "width": 1
                    },
                    {
                        "name": "jtag_inst1_UPDATE",
                        "dir": "in",
                        "width": 1
                    },
                    {
                        "name": "jtag_inst1_TDO",
                        "dir": "out",
                        "width": 1
                    }
                ]
            }
        },
        {
            "command": "instantiate",
            "netlist": "edb_top",
            "id": 2,
            "instance": "edb_top_inst"
        },
        {
            "command": "connect",
            "id": 3,
            "args": {
                "instance": "edb_top_inst",
                "ports": [
                    {
                        "name": "bscan_CAPTURE",
                        "net": "jtag_inst1_CAPTURE"
                    },
                    {
                        "name": "bscan_DRCK",
                        "net": "jtag_inst1_DRCK"
                    },
                    {
                        "name": "bscan_RESET",
                        "net": "jtag_inst1_RESET"
                    },
                    {
                        "name": "bscan_RUNTEST",
                        "net": "jtag_inst1_RUNTEST"
                    },
                    {
                        "name": "bscan_SEL",
                        "net": "jtag_inst1_SEL"
                    },
                    {
                        "name": "bscan_SHIFT",
                        "net": "jtag_inst1_SHIFT"
                    },
                    {
                        "name": "bscan_TCK",
                        "net": "jtag_inst1_TCK"
                    },
                    {
                        "name": "bscan_TDI",
                        "net": "jtag_inst1_TDI"
                    },
                    {
                        "name": "bscan_TMS",
                        "net": "jtag_inst1_TMS"
                    },
                    {
                        "name": "bscan_UPDATE",
                        "net": "jtag_inst1_UPDATE"
                    },
                    {
                        "name": "bscan_TDO",
                        "net": "jtag_inst1_TDO"
                    },
                    {
                        "name": "la0_clk",
                        "net": "clk_2",
                        "path": []
                    },
                    {
                        "name": "la0_probe0",
                        "net": "sd_data_OUT",
                        "path": []
                    },
                    {
                        "name": "la0_probe1",
                        "net": "sd_cmd_IN",
                        "path": []
                    },
                    {
                        "name": "la0_probe2",
                        "net": "sd_data_OE",
                        "path": []
                    },
                    {
                        "name": "la0_probe3",
                        "net": "sd_data_IN",
                        "path": []
                    },
                    {
                        "name": "la0_probe4",
                        "net": "sd_cmd_OE",
                        "path": []
                    },
                    {
                        "name": "la0_probe5",
                        "net": "sd_cmd_OUT",
                        "path": []
                    },
                    {
                        "name": "la0_probe6",
                        "net": "w_sdcard_cs",
                        "path": []
                    }
                ]
            }
        }
    ],
    "vdbs": [
        {
            "file": "debug_top.post.vdb",
            "instance": "edb_top_inst"
        }
    ],
    "session": {
        "wizard": {
            "data_depth": 1024,
            "capture_control": false,
            "selected_nets": [
                {
                    "name": "sd_data_OUT",
                    "width": 1,
                    "clk_domain": "clk_2",
                    "selected_probe_type": "DATA AND TRIGGER",
                    "child": [],
                    "path": []
                },
                {
                    "name": "sd_cmd_IN",
                    "width": 1,
                    "clk_domain": "clk_2",
                    "selected_probe_type": "DATA AND TRIGGER",
                    "child": [],
                    "path": []
                },
                {
                    "name": "sd_data_OE",
                    "width": 1,
                    "clk_domain": "clk_2",
                    "selected_probe_type": "DATA AND TRIGGER",
                    "child": [],
                    "path": []
                },
                {
                    "name": "sd_data_IN",
                    "width": 1,
                    "clk_domain": "clk_2",
                    "selected_probe_type": "DATA AND TRIGGER",
                    "child": [],
                    "path": []
                },
                {
                    "name": "sd_cmd_OE",
                    "width": 1,
                    "clk_domain": "clk_2",
                    "selected_probe_type": "DATA AND TRIGGER",
                    "child": [],
                    "path": []
                },
                {
                    "name": "sd_cmd_OUT",
                    "width": 1,
                    "clk_domain": "clk_2",
                    "selected_probe_type": "DATA AND TRIGGER",
                    "child": [],
                    "path": []
                },
                {
                    "name": "w_sdcard_cs",
                    "width": 1,
                    "clk_domain": "clk_2",
                    "selected_probe_type": "DATA AND TRIGGER",
                    "child": [],
                    "path": []
                }
            ],
            "top_module": "super6502",
            "db_checksum": "ba5fce12098a2c03e7bae2e9a172d1842464edfca8e284870b3519e987537970",
            "src": "elaborate",
            "jtag_user": "USER1",
            "input_pipeline": 1
        }
    }
}