calyx 0.7.1

{
    "Comment": "This file is auto-generated by the tool. Do not modify",
    "Version": {
        "FileVersion": "2.0",
        "ToolVersion": "2020.2"
    },
    "Platform": {
        "Boards": [
            {
                "Devices": [
                    {
                        "Name": "xilinx_u50_gen3x16_xdma_201920_3",
                        "DdrBanks": [
                            {
                                "Name": "mem0",
                                "Type": "hbm",
                                "Size": "8GB"
                            }
                        ]
                    }
                ],
                "NumBoards": "1"
            }
        ],
        "UnifiedPlatform": "true",
        "ExpandedPR": "false"
    }
}