| import edalize | |
| import os | |
| work_root = 'build' | |
| post_imp_file = os.path.realpath(os.path.join(work_root, 'post.tcl')) | |
| os.makedirs(work_root, exist_ok=True) | |
| synth_tool = 'yosys' if 'USE_YOSYS' in os.environ else 'vivado' | |
| with open(post_imp_file, 'w') as f: | |
| f.write('write_checkpoint -force design.dcp') | |
| files = [ | |
| {'name': os.path.realpath('top.v'), 'file_type': 'verilogSource'}, | |
| {'name': os.path.realpath('VexRiscv_Linux.v'), 'file_type': 'verilogSource'}, | |
| {'name': os.path.realpath('top.xdc'), 'file_type': 'xdc'}, | |
| ] | |
| tool = 'vivado' | |
| edam = { | |
| 'files' : files, | |
| 'name' : 'design', | |
| 'toplevel': 'top', | |
| 'tool_options' : {'vivado' : { | |
| 'part' : os.environ['XRAY_PART'], | |
| 'post_imp' : post_imp_file, | |
| 'synth' : synth_tool | |
| }} | |
| } | |
| backend = edalize.get_edatool(tool)(edam=edam, work_root=work_root) | |
| backend.configure("") | |
| backend.build() |