| # Copyright lowRISC contributors. | |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| source ./tcl/yosys_common.tcl | |
| yosys "read_liberty -lib $lr_synth_cell_library_path" | |
| yosys "read_verilog $lr_synth_netlist_out" | |