| #!/usr/bin/env python3 |
| # -*- coding: utf-8 -*- |
| # |
| # Copyright 2020-2022 F4PGA Authors |
| # |
| # Licensed under the Apache License, Version 2.0 (the "License"); |
| # you may not use this file except in compliance with the License. |
| # You may obtain a copy of the License at |
| # |
| # http://www.apache.org/licenses/LICENSE-2.0 |
| # |
| # Unless required by applicable law or agreed to in writing, software |
| # distributed under the License is distributed on an "AS IS" BASIS, |
| # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| # See the License for the specific language governing permissions and |
| # limitations under the License. |
| # |
| # SPDX-License-Identifier: Apache-2.0 |
| """ |
| |
| This script extracts the top module cells and their corresponding parameters |
| from json files produced by Yosys. |
| The return code of this script is used to check if the output is equivalent. |
| """ |
| |
| import sys |
| import json |
| import argparse |
| |
| parameters = ["CLKFBOUT_CLKOUT1_HIGH_TIME"] |
| |
| def read_cells(json_file): |
| with open(json_file) as f: |
| data = json.load(f) |
| f.close() |
| cells = data['modules']['top']['cells'] |
| cells_parameters = dict() |
| for cell, opts in cells.items(): |
| attributes = opts['parameters'] |
| if len(attributes.keys()): |
| if any([x in parameters for x in attributes.keys()]): |
| cells_parameters[cell] = attributes |
| return cells_parameters |
| |
| |
| def main(args): |
| cells = read_cells(args.json) |
| if args.update: |
| with open(args.golden, 'w') as f: |
| json.dump(cells, f, indent=2) |
| else: |
| with open(args.golden) as f: |
| cells_golden = json.load(f) |
| if cells == cells_golden: |
| exit(0) |
| else: |
| print(json.dumps(cells, indent=4)) |
| json.dump(cells, open(args.json + ".fail", 'w'), indent=2) |
| print("VS") |
| print(json.dumps(cells_golden, indent=4)) |
| exit(1) |
| f.close() |
| |
| if __name__ == "__main__": |
| parser = argparse.ArgumentParser() |
| parser.add_argument('--json', help = 'JSON to compare', required = True) |
| parser.add_argument('--golden', help = 'Golden JSON file', required = True) |
| parser.add_argument('--update', action = 'store_true', help = 'Update golden reference') |
| args = parser.parse_args() |
| main(args) |