(.venv) (.venv) fortyfort ➜ churchroad git:(ninehusky-even-more-operators) ✗ yosys -m yosys-plugin/churchroad.so -p 'read_verilog -sv tests/interpreter_tests/verilog/xilinx_ultrascale_plus/LUT6-modified.v; write_lakeroad'
/----------------------------------------------------------------------------\
| |
| yosys -- Yosys Open SYnthesis Suite |
| |
| Copyright (C) 2012 - 2020 Claire Xenia Wolf <claire@yosyshq.com> |
| |
| Permission to use, copy, modify, and/or distribute this software for any |
| purpose with or without fee is hereby granted, provided that the above |
| copyright notice and this permission notice appear in all copies. |
| |
| THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES |
| WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF |
| MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR |
| ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
| WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN |
| ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF |
| OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
| |
\----------------------------------------------------------------------------/
Yosys 0.36+42 (git sha1 70d35314d, clang 15.0.0 -fPIC -Os)
-- Running command `read_verilog -sv tests/interpreter_tests/verilog/xilinx_ultrascale_plus/LUT6-modified.v; write_lakeroad' --
1. Executing Verilog-2005 frontend: tests/interpreter_tests/verilog/xilinx_ultrascale_plus/LUT6-modified.v
Parsing SystemVerilog input from `tests/interpreter_tests/verilog/xilinx_ultrascale_plus/LUT6-modified.v' to AST representation.
Generating RTLIL representation for module `\LUT6'.
Successfully finished Verilog frontend.
2. Executing Lakeroad egglog backend.
3. Executing SPLICE pass (creating cells for signal splicing).
Splicing signals in module LUT6:
Created spliced signal: { \I5 \I4 \I3 \I2 \I1 \I0 } -> $auto$splice.cc:140:get_spliced_signal$11
4. Executing SPLITNETS pass (splitting up multi-bit signals).
Removed 0 unused cells and 3 unused wires.
; wire declarations
dyld[83653]: missing symbol called
[1] 83653 abort yosys -m yosys-plugin/churchroad.so -p