subterranean_round_with_communication.yslog

 /----------------------------------------------------------------------------\
 |                                                                            |
 |  yosys -- Yosys Open SYnthesis Suite                                       |
 |                                                                            |
 |  Copyright (C) 2012 - 2018  Clifford Wolf <clifford@clifford.at>           |
 |                                                                            |
 |  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 `<techmap.v>' 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 `<abc-temp-dir>/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-exe-dir>/yosys-abc -s -f <abc-temp-dir>/abc.script 2>&1
ABC: ABC command line: "source <abc-temp-dir>/abc.script".
ABC: 
ABC: + read_blif <abc-temp-dir>/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 <abc-temp-dir>/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), ...