# PS7 verilog cell definition extractor Extracts all pins of the PS7 bel from Vivado, groups them into ports, writes them to a JSON file.