/----------------------------------------------------------------------------\ | | | yosys -- Yosys Open SYnthesis Suite | | | | Copyright (C) 2012 - 2018 Clifford Wolf | | | | 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.8 (git sha1 UNKNOWN, clang 3.8.1-24 -fPIC -Os) 1. Executing Verilog-2005 frontend. Parsing Verilog input from `../verilog_source/subterranean_round.v' to AST representation. Generating RTLIL representation for module `\subterranean_round'. Successfully finished Verilog frontend. 2. Executing Verilog-2005 frontend. Parsing Verilog input from `../verilog_source/subterranean_round_with_communication.v' to AST representation. Generating RTLIL representation for module `\subterranean_round_with_communication'. Successfully finished Verilog frontend. 3. Executing Verilog-2005 frontend. Parsing Verilog input from `../verilog_source/subterranean_simple_no_communication.v' to AST representation. Generating RTLIL representation for module `\subterranean_simple_no_communication'. Successfully finished Verilog frontend. 4. Executing Verilog-2005 frontend. Parsing Verilog input from `../verilog_source/subterranean_simple_axi4_lite.v' to AST representation. Generating RTLIL representation for module `\subterranean_simple_axi4_lite'. Successfully finished Verilog frontend. 5. Executing HIERARCHY pass (managing design hierarchy). 5.1. Analyzing design hierarchy.. Top module: \subterranean_round_with_communication Used module: \subterranean_round 5.2. Analyzing design hierarchy.. Top module: \subterranean_round_with_communication Used module: \subterranean_round Removing unused module `\subterranean_simple_axi4_lite'. Removing unused module `\subterranean_simple_no_communication'. Removed 2 unused modules. 6. Executing PROC pass (convert processes to netlists). 6.1. Executing PROC_CLEAN pass (remove empty switches from decision trees). Cleaned up 0 empty switches. 6.2. Executing PROC_RMDEAD pass (remove dead branches from decision trees). Removed a total of 0 dead cases. 6.3. Executing PROC_INIT pass (extract init attributes). 6.4. Executing PROC_ARST pass (detect async resets in processes). Found async reset \arstn in `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:70$569'. Found async reset \arstn in `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:54$567'. Found async reset \arstn in `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:34$561'. 6.5. Executing PROC_MUX pass (convert decision trees to multiplexers). Creating decoders for process `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:70$569'. 1/1: $0\internal_data_in_ready[0:0] Creating decoders for process `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:54$567'. 1/1: $0\internal_data_out_valid[0:0] Creating decoders for process `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:44$563'. 1/1: $0\input_output_buffer[256:0] Creating decoders for process `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:34$561'. 1/2: $0\internal_finish[0:0] 2/2: $0\internal_start[0:0] 6.6. Executing PROC_DLATCH pass (convert process syncs to latches). 6.7. Executing PROC_DFF pass (convert process syncs to FFs). Creating register for signal `\subterranean_round_with_communication.\internal_data_in_ready' using process `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:70$569'. created $adff cell `$procdff$747' with positive edge clock and negative level reset. Creating register for signal `\subterranean_round_with_communication.\internal_data_out_valid' using process `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:54$567'. created $adff cell `$procdff$748' with positive edge clock and negative level reset. Creating register for signal `\subterranean_round_with_communication.\input_output_buffer' using process `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:44$563'. created $dff cell `$procdff$749' with positive edge clock. Creating register for signal `\subterranean_round_with_communication.\internal_start' using process `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:34$561'. created $adff cell `$procdff$750' with positive edge clock and negative level reset. Creating register for signal `\subterranean_round_with_communication.\internal_finish' using process `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:34$561'. created $adff cell `$procdff$751' with positive edge clock and negative level reset. 6.8. Executing PROC_CLEAN pass (remove empty switches from decision trees). Found and cleaned up 2 empty switches in `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:70$569'. Removing empty process `subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:70$569'. Found and cleaned up 2 empty switches in `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:54$567'. Removing empty process `subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:54$567'. Found and cleaned up 3 empty switches in `\subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:44$563'. Removing empty process `subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:44$563'. Removing empty process `subterranean_round_with_communication.$proc$../verilog_source/subterranean_round_with_communication.v:34$561'. Cleaned up 7 empty switches. 7. Executing FLATTEN pass (flatten design). Mapping subterranean_round_with_communication.permutation using subterranean_round. No more expansions possible. Deleting now unused module subterranean_round. 8. Executing OPT_EXPR pass (perform const folding). Replacing $eq cell `$eq$../verilog_source/subterranean_round_with_communication.v:49$564' (1) in module `\subterranean_round_with_communication' with constant driver `$eq$../verilog_source/subterranean_round_with_communication.v:49$564_Y = \data_out_ready'. Replacing $eq cell `$eq$../verilog_source/subterranean_round_with_communication.v:49$565' (1) in module `\subterranean_round_with_communication' with constant driver `$eq$../verilog_source/subterranean_round_with_communication.v:49$565_Y = \internal_data_out_valid'. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:52$112' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:51$109' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:50$106' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:49$103' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:48$100' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:47$97' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:46$94' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:45$91' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:44$88' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:43$85' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:42$82' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:41$79' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:40$76' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:39$73' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:38$70' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:37$67' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:36$64' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:35$61' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:34$58' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:33$55' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:32$52' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:31$49' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:30$46' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:29$43' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:28$40' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:27$37' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:26$34' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:25$31' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:24$28' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:23$25' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:22$22' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:21$19' in module `\subterranean_round_with_communication' with identity for port A. Replacing $xor cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:20$16' in module `\subterranean_round_with_communication' with identity for port A. 9. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:20$16': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:20$16_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:20$15_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:21$19': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:21$19_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:21$18_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:22$22': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:22$22_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:22$21_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:23$25': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:23$25_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:23$24_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:24$28': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:24$28_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:24$27_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:25$31': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:25$31_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:25$30_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:26$34': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:26$34_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:26$33_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:27$37': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:27$37_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:27$36_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:28$40': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:28$40_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:28$39_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:29$43': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:29$43_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:29$42_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:30$46': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:30$46_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:30$45_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:31$49': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:31$49_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:31$48_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:32$52': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:32$52_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:32$51_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:33$55': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:33$55_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:33$54_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:34$58': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:34$58_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:34$57_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:35$61': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:35$61_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:35$60_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:36$64': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:36$64_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:36$63_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:37$67': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:37$67_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:37$66_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:38$70': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:38$70_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:38$69_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:39$73': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:39$73_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:39$72_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:40$76': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:40$76_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:40$75_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:41$79': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:41$79_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:41$78_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:42$82': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:42$82_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:42$81_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:43$85': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:43$85_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:43$84_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:44$88': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:44$88_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:44$87_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:45$91': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:45$91_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:45$90_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:46$94': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:46$94_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:46$93_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:47$97': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:47$97_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:47$96_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:48$100': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:48$100_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:48$99_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:49$103': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:49$103_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:49$102_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:50$106': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:50$106_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:50$105_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:51$109': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:51$109_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:51$108_Y removing buffer cell `$techmap\permutation.$xor$../verilog_source/subterranean_round.v:52$112': $techmap\permutation.$xor$../verilog_source/subterranean_round.v:52$112_Y = $techmap\permutation.$xor$../verilog_source/subterranean_round.v:52$111_Y removing unused `$logic_not' cell `$logic_not$../verilog_source/subterranean_round_with_communication.v:35$562'. removing unused `$logic_not' cell `$logic_not$../verilog_source/subterranean_round_with_communication.v:55$568'. removing unused `$logic_not' cell `$logic_not$../verilog_source/subterranean_round_with_communication.v:71$570'. removing unused non-port wire \permutation.i. removing unused non-port wire \permutation_i. removed 314 unused temporary wires. Removed 3 unused cells and 314 unused wires. 10. Executing CHECK pass (checking for obvious problems). checking module subterranean_round_with_communication.. found and reported 0 problems. 11. Executing OPT pass (performing simple optimizations). 11.1. Executing OPT_EXPR pass (perform const folding). 11.2. Executing OPT_MERGE pass (detect identical cells). Finding identical cells in module `\subterranean_round_with_communication'. Removed a total of 0 cells. 11.3. Executing OPT_MUXTREE pass (detect dead branches in mux trees). Running muxtree optimizer on module \subterranean_round_with_communication.. Creating internal representation of mux trees. Evaluating internal representation of mux trees. Root of a mux tree: $procmux$730 (pure) Root of a mux tree: $procmux$736 (pure) Root of a mux tree: $procmux$745 (pure) Analyzing evaluation results. Removed 0 multiplexer ports. 11.4. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs). Optimizing cells in module \subterranean_round_with_communication. Performed a total of 0 changes. 11.5. Executing OPT_MERGE pass (detect identical cells). Finding identical cells in module `\subterranean_round_with_communication'. Removed a total of 0 cells. 11.6. Executing OPT_RMDFF pass (remove dff with constant values). 11.7. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. Removed 3 unused cells and 314 unused wires. 11.8. Executing OPT_EXPR pass (perform const folding). 11.9. Finished OPT passes. (There is nothing left to do.) 12. Executing WREDUCE pass (reducing word size of cells). 13. Executing ALUMACC pass (create $alu and $macc cells). Extracting $alu and $macc cells in module subterranean_round_with_communication: created 0 $alu and 0 $macc cells. 14. Executing SHARE pass (SAT-based resource sharing). 15. Executing OPT pass (performing simple optimizations). 15.1. Executing OPT_EXPR pass (perform const folding). 15.2. Executing OPT_MERGE pass (detect identical cells). Finding identical cells in module `\subterranean_round_with_communication'. Removed a total of 0 cells. 15.3. Executing OPT_MUXTREE pass (detect dead branches in mux trees). Running muxtree optimizer on module \subterranean_round_with_communication.. Creating internal representation of mux trees. Evaluating internal representation of mux trees. Root of a mux tree: $procmux$730 (pure) Root of a mux tree: $procmux$736 (pure) Root of a mux tree: $procmux$745 (pure) Analyzing evaluation results. Removed 0 multiplexer ports. 15.4. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs). Optimizing cells in module \subterranean_round_with_communication. Performed a total of 0 changes. 15.5. Executing OPT_MERGE pass (detect identical cells). Finding identical cells in module `\subterranean_round_with_communication'. Removed a total of 0 cells. 15.6. Executing OPT_RMDFF pass (remove dff with constant values). 15.7. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. Removed 3 unused cells and 314 unused wires. 15.8. Executing OPT_EXPR pass (perform const folding). 15.9. Finished OPT passes. (There is nothing left to do.) 16. Executing FSM pass (extract and optimize FSM). 16.1. Executing FSM_DETECT pass (finding FSMs in design). 16.2. Executing FSM_EXTRACT pass (extracting FSM from design). 16.3. Executing FSM_OPT pass (simple optimizations of FSMs). 16.4. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. Removed 3 unused cells and 314 unused wires. 16.5. Executing FSM_OPT pass (simple optimizations of FSMs). 16.6. Executing FSM_RECODE pass (re-assigning FSM state encoding). 16.7. Executing FSM_INFO pass (dumping all available information on FSM cells). 16.8. Executing FSM_MAP pass (mapping FSMs to basic logic). 17. Executing OPT pass (performing simple optimizations). 17.1. Executing OPT_EXPR pass (perform const folding). 17.2. Executing OPT_MERGE pass (detect identical cells). Finding identical cells in module `\subterranean_round_with_communication'. Removed a total of 0 cells. 17.3. Executing OPT_RMDFF pass (remove dff with constant values). 17.4. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. Removed 3 unused cells and 314 unused wires. 17.5. Finished fast OPT passes. 18. Executing MEMORY pass. 18.1. Executing MEMORY_DFF pass (merging $dff cells to $memrd and $memwr). 18.2. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. Removed 3 unused cells and 314 unused wires. 18.3. Executing MEMORY_SHARE pass (consolidating $memrd/$memwr cells). 18.4. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. Removed 3 unused cells and 314 unused wires. 18.5. Executing MEMORY_COLLECT pass (generating $mem cells). 19. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. Removed 3 unused cells and 314 unused wires. 20. Executing OPT pass (performing simple optimizations). 20.1. Executing OPT_EXPR pass (perform const folding). Replacing $mux cell `$procmux$733' (mux_bool) in module `\subterranean_round_with_communication' with constant driver `$procmux$733_Y = \data_out_ready'. Replacing $mux cell `$procmux$727' in module `subterranean_round_with_communication' with or-gate. 20.2. Executing OPT_MERGE pass (detect identical cells). Finding identical cells in module `\subterranean_round_with_communication'. Removed a total of 0 cells. 20.3. Executing OPT_RMDFF pass (remove dff with constant values). 20.4. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. removed 1 unused temporary wires. Removed 3 unused cells and 315 unused wires. 20.5. Finished fast OPT passes. 21. Executing MEMORY_MAP pass (converting $mem cells to logic and flip-flops). 22. Executing OPT pass (performing simple optimizations). 22.1. Executing OPT_EXPR pass (perform const folding). 22.2. Executing OPT_MERGE pass (detect identical cells). Finding identical cells in module `\subterranean_round_with_communication'. Removed a total of 0 cells. 22.3. Executing OPT_MUXTREE pass (detect dead branches in mux trees). Running muxtree optimizer on module \subterranean_round_with_communication.. Creating internal representation of mux trees. Evaluating internal representation of mux trees. Root of a mux tree: $procmux$730 (pure) Root of a mux tree: $procmux$736 (pure) Root of a mux tree: $procmux$745 (pure) Analyzing evaluation results. Removed 0 multiplexer ports. 22.4. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs). Optimizing cells in module \subterranean_round_with_communication. Performed a total of 0 changes. 22.5. Executing OPT_MERGE pass (detect identical cells). Finding identical cells in module `\subterranean_round_with_communication'. Removed a total of 0 cells. 22.6. Executing OPT_RMDFF pass (remove dff with constant values). 22.7. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. Removed 3 unused cells and 315 unused wires. 22.8. Executing OPT_EXPR pass (perform const folding). 22.9. Finished OPT passes. (There is nothing left to do.) 23. Executing TECHMAP pass (map to technology primitives). 23.1. Executing Verilog-2005 frontend. Parsing Verilog input from `' to AST representation. Generating RTLIL representation for module `\_90_simplemap_bool_ops'. Generating RTLIL representation for module `\_90_simplemap_reduce_ops'. Generating RTLIL representation for module `\_90_simplemap_logic_ops'. Generating RTLIL representation for module `\_90_simplemap_compare_ops'. Generating RTLIL representation for module `\_90_simplemap_various'. Generating RTLIL representation for module `\_90_simplemap_registers'. Generating RTLIL representation for module `\_90_shift_ops_shr_shl_sshl_sshr'. Generating RTLIL representation for module `\_90_shift_shiftx'. Generating RTLIL representation for module `\_90_fa'. Generating RTLIL representation for module `\_90_lcu'. Generating RTLIL representation for module `\_90_alu'. Generating RTLIL representation for module `\_90_macc'. Generating RTLIL representation for module `\_90_alumacc'. Generating RTLIL representation for module `\$__div_mod_u'. Generating RTLIL representation for module `\$__div_mod'. Generating RTLIL representation for module `\_90_div'. Generating RTLIL representation for module `\_90_mod'. Generating RTLIL representation for module `\_90_pow'. Generating RTLIL representation for module `\_90_pmux'. Generating RTLIL representation for module `\_90_lut'. Successfully finished Verilog frontend. Mapping subterranean_round_with_communication.$logic_and$../verilog_source/subterranean_round_with_communication.v:49$566 ($logic_and) with simplemap. Mapping subterranean_round_with_communication.$not$../verilog_source/subterranean_round_with_communication.v:89$571 ($not) with simplemap. Mapping subterranean_round_with_communication.$procdff$751 ($adff) with simplemap. Mapping subterranean_round_with_communication.$procdff$750 ($adff) with simplemap. Mapping subterranean_round_with_communication.$procdff$749 ($dff) with simplemap. Mapping subterranean_round_with_communication.$procdff$748 ($adff) with simplemap. Mapping subterranean_round_with_communication.$procdff$747 ($adff) with simplemap. Mapping subterranean_round_with_communication.$procmux$745 ($mux) with simplemap. Mapping subterranean_round_with_communication.$procmux$742 ($mux) with simplemap. Mapping subterranean_round_with_communication.$procmux$739 ($mux) with simplemap. Mapping subterranean_round_with_communication.$procmux$736 ($mux) with simplemap. Mapping subterranean_round_with_communication.$procmux$730 ($mux) with simplemap. Mapping subterranean_round_with_communication.$procmux$727 ($or) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:277$559 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:277$560 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:276$558 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:276$557 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:275$556 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:275$555 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:274$554 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:274$553 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:273$552 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:273$551 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:272$550 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:272$549 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:271$548 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:271$547 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:270$546 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:270$545 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:269$544 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:269$543 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:268$542 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:268$541 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:267$540 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:267$539 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:266$538 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:266$537 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:265$536 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:265$535 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:264$534 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:264$533 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:263$532 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:263$531 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:262$530 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:262$529 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:261$528 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:261$527 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:260$526 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:260$525 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:259$524 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:259$523 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:258$522 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:258$521 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:257$520 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:257$519 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:256$518 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:256$517 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:255$516 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:255$515 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:254$514 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:254$513 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:253$512 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:253$511 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:252$510 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:252$509 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:251$508 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:251$507 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:250$506 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:250$505 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:249$504 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:249$503 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:248$502 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:248$501 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:247$500 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:247$499 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:246$498 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:246$497 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:245$496 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:245$495 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:244$494 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:244$493 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:243$492 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:243$491 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:242$490 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:242$489 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:241$488 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:241$487 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:240$486 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:240$485 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:239$484 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:239$483 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:238$482 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:238$481 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:237$480 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:237$479 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:236$478 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:236$477 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:235$476 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:235$475 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:234$474 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:234$473 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:233$472 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:233$471 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:232$470 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:232$469 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:231$468 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:231$467 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:230$466 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:230$465 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:229$464 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:229$463 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:228$462 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:228$461 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:227$460 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:227$459 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:226$458 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:226$457 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:225$456 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:225$455 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:224$454 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:224$453 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:223$452 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:223$451 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:222$450 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:222$449 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:221$448 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:221$447 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:220$446 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:220$445 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:219$444 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:219$443 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:218$442 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:218$441 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:217$440 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:217$439 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:216$438 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:216$437 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:215$436 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:215$435 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:214$434 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:214$433 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:213$432 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:213$431 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:212$430 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:212$429 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:211$428 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:211$427 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:210$426 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:210$425 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:209$424 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:209$423 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:208$422 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:208$421 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:207$420 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:207$419 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:206$418 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:206$417 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:205$416 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:205$415 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:204$414 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:204$413 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:203$412 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:203$411 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:202$410 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:202$409 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:201$408 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:201$407 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:200$406 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:200$405 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:199$404 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:199$403 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:198$402 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:198$401 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:197$400 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:197$399 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:196$398 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:196$397 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:195$396 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:195$395 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:194$394 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:194$393 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:193$392 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:193$391 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:192$390 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:192$389 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:191$388 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:191$387 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:190$386 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:190$385 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:189$384 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:189$383 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:188$382 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:188$381 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:187$380 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:187$379 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:186$378 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:186$377 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:185$376 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:185$375 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:184$374 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:184$373 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:183$372 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:183$371 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:182$370 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:182$369 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:181$368 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:181$367 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:180$366 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:180$365 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:179$364 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:179$363 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:178$362 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:178$361 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:177$360 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:177$359 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:176$358 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:176$357 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:175$356 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:175$355 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:174$354 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:174$353 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:173$352 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:173$351 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:172$350 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:172$349 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:171$348 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:171$347 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:170$346 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:170$345 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:169$344 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:169$343 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:168$342 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:168$341 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:167$340 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:167$339 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:166$338 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:166$337 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:165$336 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:165$335 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:164$334 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:164$333 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:163$332 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:163$331 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:162$330 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:162$329 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:161$328 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:161$327 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:160$326 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:160$325 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:159$324 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:159$323 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:158$322 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:158$321 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:157$320 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:157$319 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:156$318 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:156$317 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:155$316 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:155$315 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:154$314 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:154$313 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:153$312 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:153$311 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:152$310 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:152$309 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:151$308 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:151$307 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:150$306 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:150$305 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:149$304 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:149$303 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:148$302 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:148$301 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:147$300 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:147$299 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:146$298 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:146$297 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:145$296 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:145$295 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:144$294 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:144$293 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:143$292 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:143$291 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:142$290 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:142$289 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:141$288 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:141$287 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:140$286 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:140$285 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:139$284 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:139$283 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:138$282 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:138$281 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:137$280 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:137$279 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:136$278 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:136$277 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:135$276 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:135$275 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:134$274 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:134$273 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:133$272 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:133$271 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:132$270 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:132$269 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:131$268 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:131$267 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:130$266 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:130$265 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:129$264 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:129$263 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:128$262 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:128$261 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:127$260 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:127$259 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:126$258 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:126$257 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:125$256 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:125$255 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:124$254 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:124$253 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:123$252 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:123$251 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:122$250 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:122$249 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:121$248 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:121$247 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:120$246 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:120$245 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:119$244 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:119$243 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:118$242 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:118$241 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:117$240 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:117$239 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:116$238 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:116$237 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:115$236 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:115$235 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:114$234 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:114$233 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:113$232 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:113$231 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:112$230 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:112$229 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:111$228 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:111$227 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:110$226 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:110$225 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:109$224 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:109$223 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:108$222 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:108$221 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:107$220 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:107$219 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:106$218 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:106$217 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:105$216 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:105$215 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:104$214 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:104$213 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:103$212 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:103$211 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:102$210 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:102$209 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:101$208 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:101$207 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:100$206 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:100$205 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:99$204 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:99$203 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:98$202 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:98$201 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:97$200 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:97$199 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:96$198 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:96$197 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:95$196 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:95$195 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:94$194 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:94$193 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:93$192 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:93$191 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:92$190 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:92$189 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:91$188 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:91$187 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:90$186 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:90$185 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:89$184 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:89$183 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:88$182 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:88$181 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:87$180 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:87$179 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:86$178 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:86$177 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:85$176 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:85$175 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:84$174 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:84$173 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:83$172 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:83$171 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:82$170 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:82$169 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:81$168 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:81$167 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:80$166 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:80$165 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:79$164 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:79$163 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:78$162 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:78$161 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:77$160 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:77$159 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:76$158 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:76$157 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:75$156 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:75$155 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:74$154 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:74$153 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:73$152 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:73$151 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:72$150 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:72$149 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:71$148 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:71$147 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:70$146 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:70$145 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:69$144 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:69$143 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:68$142 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:68$141 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:67$140 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:67$139 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:66$138 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:66$137 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:65$136 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:65$135 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:64$134 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:64$133 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:63$132 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:63$131 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:62$130 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:62$129 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:61$128 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:61$127 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:60$126 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:60$125 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:59$124 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:59$123 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:58$122 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:58$121 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:57$120 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:57$119 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:56$118 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:56$117 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:55$116 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:55$115 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:54$114 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:54$113 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:52$111 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:52$110 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:51$108 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:51$107 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:50$105 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:50$104 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:49$102 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:49$101 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:48$99 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:48$98 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:47$96 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:47$95 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:46$93 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:46$92 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:45$90 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:45$89 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:44$87 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:44$86 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:43$84 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:43$83 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:42$81 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:42$80 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:41$78 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:41$77 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:40$75 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:40$74 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:39$72 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:39$71 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:38$69 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:38$68 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:37$66 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:37$65 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:36$63 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:36$62 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:35$60 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:35$59 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:34$57 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:34$56 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:33$54 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:33$53 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:32$51 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:32$50 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:31$48 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:31$47 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:30$45 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:30$44 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:29$42 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:29$41 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:28$39 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:28$38 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:27$36 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:27$35 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:26$33 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:26$32 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:25$30 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:25$29 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:24$27 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:24$26 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:23$24 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:23$23 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:22$21 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:22$20 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:21$18 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:21$17 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:20$15 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:20$14 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:16$13 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$and$../verilog_source/subterranean_round.v:16$12 ($and) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$not$../verilog_source/subterranean_round.v:16$11 ($not) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:15$10 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$and$../verilog_source/subterranean_round.v:15$9 ($and) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$not$../verilog_source/subterranean_round.v:15$8 ($not) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:14$7 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$and$../verilog_source/subterranean_round.v:14$6 ($and) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$not$../verilog_source/subterranean_round.v:14$5 ($not) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$not$../verilog_source/subterranean_round.v:13$4 ($not) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$xor$../verilog_source/subterranean_round.v:13$3 ($xor) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$and$../verilog_source/subterranean_round.v:13$2 ($and) with simplemap. Mapping subterranean_round_with_communication.$techmap\permutation.$not$../verilog_source/subterranean_round.v:13$1 ($not) with simplemap. No more expansions possible. 24. Executing OPT pass (performing simple optimizations). 24.1. Executing OPT_EXPR pass (perform const folding). 24.2. Executing OPT_MERGE pass (detect identical cells). Finding identical cells in module `\subterranean_round_with_communication'. Removed a total of 0 cells. 24.3. Executing OPT_MUXTREE pass (detect dead branches in mux trees). Running muxtree optimizer on module \subterranean_round_with_communication.. Creating internal representation of mux trees. No muxes found in this module. Removed 0 multiplexer ports. 24.4. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs). Optimizing cells in module \subterranean_round_with_communication. Performed a total of 0 changes. 24.5. Executing OPT_MERGE pass (detect identical cells). Finding identical cells in module `\subterranean_round_with_communication'. Removed a total of 0 cells. 24.6. Executing OPT_RMDFF pass (remove dff with constant values). 24.7. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. Removed 3 unused cells and 315 unused wires. 24.8. Executing OPT_EXPR pass (perform const folding). 24.9. Finished OPT passes. (There is nothing left to do.) 25. Executing DFFLIBMAP pass (mapping DFF cells to sequential cells from liberty file). cell DFFNEGX1 (noninv, pins=3, area=7.98) is a direct match for cell type $_DFF_N_. cell DFFPOSX1 (noninv, pins=3, area=7.98) is a direct match for cell type $_DFF_P_. cell DFFSR (noninv, pins=5, area=10.32) is a direct match for cell type $_DFFSR_PNN_. create mapping for $_DFFSR_PPN_ from mapping for $_DFFSR_PNN_. create mapping for $_DFFSR_PNP_ from mapping for $_DFFSR_PNN_. create mapping for $_DFFSR_PPP_ from mapping for $_DFFSR_PNP_. create mapping for $_DFFSR_NNN_ from mapping for $_DFFSR_PNN_. create mapping for $_DFFSR_NPN_ from mapping for $_DFFSR_NNN_. create mapping for $_DFFSR_NNP_ from mapping for $_DFFSR_NNN_. create mapping for $_DFFSR_NPP_ from mapping for $_DFFSR_NNP_. create mapping for $_DFF_NN0_ from mapping for $_DFFSR_NNN_. create mapping for $_DFF_NN1_ from mapping for $_DFFSR_NNN_. create mapping for $_DFF_NP0_ from mapping for $_DFFSR_NPP_. create mapping for $_DFF_NP1_ from mapping for $_DFFSR_NPP_. create mapping for $_DFF_PN0_ from mapping for $_DFFSR_PNN_. create mapping for $_DFF_PN1_ from mapping for $_DFFSR_PNN_. create mapping for $_DFF_PP0_ from mapping for $_DFFSR_PPP_. create mapping for $_DFF_PP1_ from mapping for $_DFFSR_PPP_. final dff cell mappings: $_DFF_N_ _DFF_N_ (.C( C), .D( D), .Q( Q)); $_DFF_P_ _DFF_P_ (.C( C), .D( D), .Q( Q)); $_DFFSR_PNN_ _DFF_NN0_ (.C(~C), .D( D), .Q( Q), .R( R), .S( 1)); $_DFFSR_PNN_ _DFF_NN1_ (.C(~C), .D( D), .Q( Q), .R( 1), .S( R)); $_DFFSR_PNN_ _DFF_NP0_ (.C(~C), .D( D), .Q( Q), .R(~R), .S( 1)); $_DFFSR_PNN_ _DFF_NP1_ (.C(~C), .D( D), .Q( Q), .R( 1), .S(~R)); $_DFFSR_PNN_ _DFF_PN0_ (.C( C), .D( D), .Q( Q), .R( R), .S( 1)); $_DFFSR_PNN_ _DFF_PN1_ (.C( C), .D( D), .Q( Q), .R( 1), .S( R)); $_DFFSR_PNN_ _DFF_PP0_ (.C( C), .D( D), .Q( Q), .R(~R), .S( 1)); $_DFFSR_PNN_ _DFF_PP1_ (.C( C), .D( D), .Q( Q), .R( 1), .S(~R)); $_DFFSR_PNN_ _DFFSR_NNN_ (.C(~C), .D( D), .Q( Q), .R( R), .S( S)); $_DFFSR_PNN_ _DFFSR_NNP_ (.C(~C), .D( D), .Q( Q), .R(~R), .S( S)); $_DFFSR_PNN_ _DFFSR_NPN_ (.C(~C), .D( D), .Q( Q), .R( R), .S(~S)); $_DFFSR_PNN_ _DFFSR_NPP_ (.C(~C), .D( D), .Q( Q), .R(~R), .S(~S)); $_DFFSR_PNN_ _DFFSR_PNN_ (.C( C), .D( D), .Q( Q), .R( R), .S( S)); $_DFFSR_PNN_ _DFFSR_PNP_ (.C( C), .D( D), .Q( Q), .R(~R), .S( S)); $_DFFSR_PNN_ _DFFSR_PPN_ (.C( C), .D( D), .Q( Q), .R( R), .S(~S)); $_DFFSR_PNN_ _DFFSR_PPP_ (.C( C), .D( D), .Q( Q), .R(~R), .S(~S)); Mapping DFF cells in module `\subterranean_round_with_communication': mapped 3 $_DFF_PN0_ cells to $_DFFSR_PNN_ cells. mapped 1 $_DFF_PN1_ cells to $_DFFSR_PNN_ cells. mapped 257 $_DFF_P_ cells to $_DFF_P_ cells. 26. Executing ABC pass (technology mapping using ABC). 26.1. Summary of detected clock domains: 2323 cells in clk=\clk, en={ } 26.2. Extracting gate netlist of module `\subterranean_round_with_communication' to `/input.blif'.. Found matching posedge clock domain: \clk Extracted 2319 gates and 2327 wires to a netlist network with 7 inputs and 4 outputs. 26.2.1. Executing ABC. Running ABC command: /yosys-abc -s -f /abc.script 2>&1 ABC: ABC command line: "source /abc.script". ABC: ABC: + read_blif /input.blif ABC: + read_lib -w /home/pedro/asic_cells/gscl45nm.lib ABC: Parsing finished successfully. Parsing time = 0.00 sec ABC: Scl_LibertyReadGenlib() skipped sequential cell "DFFNEGX1". ABC: Scl_LibertyReadGenlib() skipped sequential cell "DFFPOSX1". ABC: Scl_LibertyReadGenlib() skipped sequential cell "DFFSR". ABC: Scl_LibertyReadGenlib() skipped sequential cell "LATCH". ABC: Scl_LibertyReadGenlib() skipped three-state cell "TBUFX1". ABC: Scl_LibertyReadGenlib() skipped three-state cell "TBUFX2". ABC: Library "gscl45nm" from "/home/pedro/asic_cells/gscl45nm.lib" has 25 cells (6 skipped: 4 seq; 2 tri-state; 0 no func). Time = 0.00 sec ABC: Memory = 0.36 MB. Time = 0.00 sec ABC: Warning: Detected 2 multi-output gates (for example, "FAX1"). ABC: + read_constr -v /home/pedro/subterranean/verilog_project/yosys_synth/pin_contraints/gscl45nm.constr ABC: Setting driving cell to be "INVX1". ABC: Setting output load to be 0.001700. ABC: + strash ABC: + ifraig ABC: + scorr ABC: Warning: 257 registers in this network have don't-care init values. ABC: The don't-care are assumed to be 0. The result may not verify. ABC: Use command "print_latch" to see the init values of registers. ABC: Use command "zero" to convert or "init" to change the values. ABC: + dc2 ABC: + dretime ABC: + strash ABC: + &get -n ABC: + &dch -f ABC: + &nf ABC: + &put ABC: + buffer ABC: + upsize ABC: + dnsize ABC: + stime -p ABC: WireLoad = "none" Gates = 2414 ( 14.6 %) Cap = 6.0 ff ( 7.6 %) Area = 7095.82 ( 84.1 %) Delay = 350.34 ps ( 7.1 %) ABC: Path 0 -- 4 : 0 2 pi A = 0.00 Df = 9.5 -3.9 ps S = 19.7 ps Cin = 0.0 ff Cout = 4.8 ff Cmax = 0.0 ff G = 0 ABC: Path 1 -- 812 : 3 1 AOI21X1 A = 2.82 Df = 58.2 -28.0 ps S = 35.5 ps Cin = 2.6 ff Cout = 4.0 ff Cmax = 0.0 ff G = 152 ABC: Path 2 -- 813 : 1 9 BUFX4 A = 2.82 Df = 90.9 -10.3 ps S = 27.4 ps Cin = 3.9 ff Cout = 18.7 ff Cmax = 999.3 ff G = 471 ABC: Path 3 -- 836 : 1 10 BUFX4 A = 2.82 Df = 138.2 -3.1 ps S = 48.5 ps Cin = 3.9 ff Cout = 36.9 ff Cmax = 999.3 ff G = 917 ABC: Path 4 -- 858 : 1 10 BUFX4 A = 2.82 Df = 188.3 -10.3 ps S = 40.0 ps Cin = 3.9 ff Cout = 28.9 ff Cmax = 999.3 ff G = 725 ABC: Path 5 -- 1612 : 1 10 BUFX4 A = 2.82 Df = 245.4 -17.6 ps S = 54.0 ps Cin = 3.9 ff Cout = 41.2 ff Cmax = 999.3 ff G = 1017 ABC: Path 6 -- 1613 : 3 1 MUX2X1 A = 3.75 Df = 288.1 -8.7 ps S = 41.8 ps Cin = 3.1 ff Cout = 2.4 ff Cmax = 75.1 ff G = 74 ABC: Path 7 -- 1614 : 2 1 OR2X1 A = 2.35 Df = 338.3 -10.8 ps S = 17.4 ps Cin = 2.4 ff Cout = 2.0 ff Cmax = 70.0 ff G = 82 ABC: Path 8 -- 1615 : 3 1 OAI21X1 A = 2.82 Df = 350.3 -10.7 ps S = 31.5 ps Cin = 2.5 ff Cout = 0.0 ff Cmax = 229.4 ff G = 0 ABC: Start-point = pi3 (\internal_data_out_valid). End-point = po4 (???). ABC: + write_blif /output.blif 26.2.2. Re-integrating ABC results. ABC RESULTS: AND2X1 cells: 258 ABC RESULTS: AOI21X1 cells: 53 ABC RESULTS: BUFX2 cells: 120 ABC RESULTS: BUFX4 cells: 23 ABC RESULTS: INVX1 cells: 210 ABC RESULTS: MUX2X1 cells: 207 ABC RESULTS: NAND2X1 cells: 362 ABC RESULTS: OAI21X1 cells: 565 ABC RESULTS: OR2X1 cells: 102 ABC RESULTS: XNOR2X1 cells: 460 ABC RESULTS: XOR2X1 cells: 54 ABC RESULTS: _dff_ cells: 257 ABC RESULTS: internal signals: 2316 ABC RESULTS: input signals: 7 ABC RESULTS: output signals: 4 Removing temp directory. 27. Executing DFFLIBMAP pass (mapping DFF cells to sequential cells from liberty file). cell DFFNEGX1 (noninv, pins=3, area=7.98) is a direct match for cell type $_DFF_N_. cell DFFPOSX1 (noninv, pins=3, area=7.98) is a direct match for cell type $_DFF_P_. cell DFFSR (noninv, pins=5, area=10.32) is a direct match for cell type $_DFFSR_PNN_. create mapping for $_DFFSR_PPN_ from mapping for $_DFFSR_PNN_. create mapping for $_DFFSR_PNP_ from mapping for $_DFFSR_PNN_. create mapping for $_DFFSR_PPP_ from mapping for $_DFFSR_PNP_. create mapping for $_DFFSR_NNN_ from mapping for $_DFFSR_PNN_. create mapping for $_DFFSR_NPN_ from mapping for $_DFFSR_NNN_. create mapping for $_DFFSR_NNP_ from mapping for $_DFFSR_NNN_. create mapping for $_DFFSR_NPP_ from mapping for $_DFFSR_NNP_. create mapping for $_DFF_NN0_ from mapping for $_DFFSR_NNN_. create mapping for $_DFF_NN1_ from mapping for $_DFFSR_NNN_. create mapping for $_DFF_NP0_ from mapping for $_DFFSR_NPP_. create mapping for $_DFF_NP1_ from mapping for $_DFFSR_NPP_. create mapping for $_DFF_PN0_ from mapping for $_DFFSR_PNN_. create mapping for $_DFF_PN1_ from mapping for $_DFFSR_PNN_. create mapping for $_DFF_PP0_ from mapping for $_DFFSR_PPP_. create mapping for $_DFF_PP1_ from mapping for $_DFFSR_PPP_. final dff cell mappings: DFFNEGX1 _DFF_N_ (.CLK( C), .D( D), .Q( Q)); DFFPOSX1 _DFF_P_ (.CLK( C), .D( D), .Q( Q)); DFFSR _DFF_NN0_ (.CLK(~C), .D( D), .Q( Q), .R( R), .S( 1)); DFFSR _DFF_NN1_ (.CLK(~C), .D( D), .Q( Q), .R( 1), .S( R)); DFFSR _DFF_NP0_ (.CLK(~C), .D( D), .Q( Q), .R(~R), .S( 1)); DFFSR _DFF_NP1_ (.CLK(~C), .D( D), .Q( Q), .R( 1), .S(~R)); DFFSR _DFF_PN0_ (.CLK( C), .D( D), .Q( Q), .R( R), .S( 1)); DFFSR _DFF_PN1_ (.CLK( C), .D( D), .Q( Q), .R( 1), .S( R)); DFFSR _DFF_PP0_ (.CLK( C), .D( D), .Q( Q), .R(~R), .S( 1)); DFFSR _DFF_PP1_ (.CLK( C), .D( D), .Q( Q), .R( 1), .S(~R)); DFFSR _DFFSR_NNN_ (.CLK(~C), .D( D), .Q( Q), .R( R), .S( S)); DFFSR _DFFSR_NNP_ (.CLK(~C), .D( D), .Q( Q), .R(~R), .S( S)); DFFSR _DFFSR_NPN_ (.CLK(~C), .D( D), .Q( Q), .R( R), .S(~S)); DFFSR _DFFSR_NPP_ (.CLK(~C), .D( D), .Q( Q), .R(~R), .S(~S)); DFFSR _DFFSR_PNN_ (.CLK( C), .D( D), .Q( Q), .R( R), .S( S)); DFFSR _DFFSR_PNP_ (.CLK( C), .D( D), .Q( Q), .R(~R), .S( S)); DFFSR _DFFSR_PPN_ (.CLK( C), .D( D), .Q( Q), .R( R), .S(~S)); DFFSR _DFFSR_PPP_ (.CLK( C), .D( D), .Q( Q), .R(~R), .S(~S)); Mapping DFF cells in module `\subterranean_round_with_communication': mapped 4 $_DFFSR_PNN_ cells to \DFFSR cells. mapped 257 $_DFF_P_ cells to \DFFPOSX1 cells. 28. Executing OPT_CLEAN pass (remove unused cells and wires). Finding unused cells or wires in module \subterranean_round_with_communication.. removing unused non-port wire \permutation.a_after_chi_iota. removing unused non-port wire \permutation.a_after_theta. removing unused non-port wire \permutation.o. removing unused non-port wire \permutation_o. removed 286 unused temporary wires. Removed 3 unused cells and 601 unused wires. 29. Printing statistics. === subterranean_round_with_communication === Number of wires: 2687 Number of wire bits: 3455 Number of public wires: 18 Number of public wire bits: 786 Number of memories: 0 Number of memory bits: 0 Number of processes: 0 Number of cells: 2675 AND2X1 258 AOI21X1 53 BUFX2 120 BUFX4 23 DFFPOSX1 257 DFFSR 4 INVX1 210 MUX2X1 207 NAND2X1 362 OAI21X1 565 OR2X1 102 XNOR2X1 460 XOR2X1 54 Chip area for module '\subterranean_round_with_communication': 9187.486100 30. Executing Verilog backend. Dumping module `\subterranean_round_with_communication'. End of script. Logfile hash: bb6c2cb135 CPU: user 0.75s system 0.09s, MEM: 62.12 MB total, 23.29 MB resident Yosys 0.8 (git sha1 UNKNOWN, clang 3.8.1-24 -fPIC -Os) Time spent: 19% 12x opt_clean (0 sec), 16% 11x opt_expr (0 sec), ...