phanerozoic's picture
Stage 5b: popcount reformulation, 907 gates (71 pct fewer than Stage 5), F1 0.876
d2aa423 verified

/----------------------------------------------------------------------------\
| yosys -- Yosys Open SYnthesis Suite |
| Copyright (C) 2012 - 2026 Claire Xenia Wolf <claire@yosyshq.com> |
| Distributed under an ISC-like license, type "license" to see terms |
\----------------------------------------------------------------------------/
Yosys 0.63+222 (git sha1 a4b6a8c58-dirty, x86_64-w64-mingw32-g++ 13.2.1 -O3)
-- Executing script file `synth.ys' --
1. Executing Verilog-2005 frontend: person_classifier_popcount.v
Parsing Verilog input from `person_classifier_popcount.v' to AST representation.
Generating RTLIL representation for module `\person_classifier_popcount'.
Successfully finished Verilog frontend.
2. Executing HIERARCHY pass (managing design hierarchy).
2.1. Analyzing design hierarchy..
Top module: \person_classifier_popcount
2.2. Analyzing design hierarchy..
Top module: \person_classifier_popcount
Removed 0 unused modules.
3. Executing PROC pass (convert processes to netlists).
3.1. Executing PROC_CLEAN pass (remove empty switches from decision trees).
Cleaned up 0 empty switches.
3.2. Executing PROC_RMDEAD pass (remove dead branches from decision trees).
Removed a total of 0 dead cases.
3.3. Executing PROC_PRUNE pass (remove redundant assignments in processes).
Removed 0 redundant assignments.
Promoted 0 assignments to connections.
3.4. Executing PROC_INIT pass (extract init attributes).
3.5. Executing PROC_ARST pass (detect async resets in processes).
3.6. Executing PROC_ROM pass (convert switches to ROMs).
Converted 0 switches.
3.7. Executing PROC_MUX pass (convert decision trees to multiplexers).
3.8. Executing PROC_DLATCH pass (convert process syncs to latches).
3.9. Executing PROC_DFF pass (convert process syncs to FFs).
3.10. Executing PROC_MEMWR pass (convert process memory writes to cells).
3.11. Executing PROC_CLEAN pass (remove empty switches from decision trees).
Cleaned up 0 empty switches.
3.12. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
4. Executing OPT pass (performing simple optimizations).
4.1. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
4.2. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 80 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
4.3. Executing OPT_MUXTREE pass (detect dead branches in mux trees).
Running muxtree optimizer on module \person_classifier_popcount..
Creating internal representation of mux trees.
No muxes found in this module.
Removed 0 multiplexer ports.
4.4. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs).
Optimizing cells in module \person_classifier_popcount.
Performed a total of 0 changes.
4.5. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 80 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
4.6. Executing OPT_DFF pass (perform DFF optimizations).
4.7. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
Removed 0 unused cells and 44 unused wires.
<suppressed ~1 debug messages>
4.8. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
4.9. Rerunning OPT passes. (Maybe there is more to do..)
4.10. Executing OPT_MUXTREE pass (detect dead branches in mux trees).
Running muxtree optimizer on module \person_classifier_popcount..
Creating internal representation of mux trees.
No muxes found in this module.
Removed 0 multiplexer ports.
4.11. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs).
Optimizing cells in module \person_classifier_popcount.
Performed a total of 0 changes.
4.12. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 80 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
4.13. Executing OPT_DFF pass (perform DFF optimizations).
4.14. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
4.15. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
4.16. Finished fast OPT passes. (There is nothing left to do.)
5. Executing FLATTEN pass (flatten design).
6. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7. Executing SYNTH pass.
7.1. Executing HIERARCHY pass (managing design hierarchy).
7.1.1. Analyzing design hierarchy..
Top module: \person_classifier_popcount
7.1.2. Analyzing design hierarchy..
Top module: \person_classifier_popcount
Removed 0 unused modules.
7.2. Executing PROC pass (convert processes to netlists).
7.2.1. Executing PROC_CLEAN pass (remove empty switches from decision trees).
Cleaned up 0 empty switches.
7.2.2. Executing PROC_RMDEAD pass (remove dead branches from decision trees).
Removed a total of 0 dead cases.
7.2.3. Executing PROC_PRUNE pass (remove redundant assignments in processes).
Removed 0 redundant assignments.
Promoted 0 assignments to connections.
7.2.4. Executing PROC_INIT pass (extract init attributes).
7.2.5. Executing PROC_ARST pass (detect async resets in processes).
7.2.6. Executing PROC_ROM pass (convert switches to ROMs).
Converted 0 switches.
7.2.7. Executing PROC_MUX pass (convert decision trees to multiplexers).
7.2.8. Executing PROC_DLATCH pass (convert process syncs to latches).
7.2.9. Executing PROC_DFF pass (convert process syncs to FFs).
7.2.10. Executing PROC_MEMWR pass (convert process memory writes to cells).
7.2.11. Executing PROC_CLEAN pass (remove empty switches from decision trees).
Cleaned up 0 empty switches.
7.2.12. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.3. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.4. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7.5. Executing CHECK pass (checking for obvious problems).
Checking module person_classifier_popcount...
Found and reported 0 problems.
7.6. Executing OPT pass (performing simple optimizations).
7.6.1. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.6.2. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 80 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.6.3. Executing OPT_MUXTREE pass (detect dead branches in mux trees).
Running muxtree optimizer on module \person_classifier_popcount..
Creating internal representation of mux trees.
No muxes found in this module.
Removed 0 multiplexer ports.
7.6.4. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs).
Optimizing cells in module \person_classifier_popcount.
Performed a total of 0 changes.
7.6.5. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 80 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.6.6. Executing OPT_DFF pass (perform DFF optimizations).
7.6.7. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7.6.8. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.6.9. Finished fast OPT passes. (There is nothing left to do.)
7.7. Executing FSM pass (extract and optimize FSM).
7.7.1. Executing FSM_DETECT pass (finding FSMs in design).
7.7.2. Executing FSM_EXTRACT pass (extracting FSM from design).
7.7.3. Executing FSM_OPT pass (simple optimizations of FSMs).
7.7.4. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7.7.5. Executing FSM_OPT pass (simple optimizations of FSMs).
7.7.6. Executing FSM_RECODE pass (re-assigning FSM state encoding).
7.7.7. Executing FSM_INFO pass (dumping all available information on FSM cells).
7.7.8. Executing FSM_MAP pass (mapping FSMs to basic logic).
7.8. Executing OPT pass (performing simple optimizations).
7.8.1. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.8.2. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 80 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.8.3. Executing OPT_MUXTREE pass (detect dead branches in mux trees).
Running muxtree optimizer on module \person_classifier_popcount..
Creating internal representation of mux trees.
No muxes found in this module.
Removed 0 multiplexer ports.
7.8.4. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs).
Optimizing cells in module \person_classifier_popcount.
Performed a total of 0 changes.
7.8.5. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 80 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.8.6. Executing OPT_DFF pass (perform DFF optimizations).
7.8.7. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7.8.8. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.8.9. Finished fast OPT passes. (There is nothing left to do.)
7.9. Executing WREDUCE pass (reducing word size of cells).
Removed top 4 bits (of 6) from port Y of cell person_classifier_popcount.$add$person_classifier_popcount.v:55$41 ($add).
Removed top 4 bits (of 6) from port A of cell person_classifier_popcount.$add$person_classifier_popcount.v:55$42 ($add).
Removed top 3 bits (of 6) from port Y of cell person_classifier_popcount.$add$person_classifier_popcount.v:55$42 ($add).
Removed top 3 bits (of 6) from port A of cell person_classifier_popcount.$add$person_classifier_popcount.v:55$43 ($add).
Removed top 2 bits (of 6) from port Y of cell person_classifier_popcount.$add$person_classifier_popcount.v:55$43 ($add).
Removed top 2 bits (of 6) from port A of cell person_classifier_popcount.$add$person_classifier_popcount.v:55$44 ($add).
Removed top 1 bits (of 6) from port Y of cell person_classifier_popcount.$add$person_classifier_popcount.v:55$44 ($add).
Removed top 1 bits (of 6) from port A of cell person_classifier_popcount.$add$person_classifier_popcount.v:55$45 ($add).
Removed top 4 bits (of 6) from port Y of cell person_classifier_popcount.$add$person_classifier_popcount.v:62$60 ($add).
Removed top 4 bits (of 6) from port A of cell person_classifier_popcount.$add$person_classifier_popcount.v:62$61 ($add).
Removed top 3 bits (of 6) from port Y of cell person_classifier_popcount.$add$person_classifier_popcount.v:62$61 ($add).
Removed top 3 bits (of 6) from port A of cell person_classifier_popcount.$add$person_classifier_popcount.v:62$62 ($add).
Removed top 2 bits (of 6) from port Y of cell person_classifier_popcount.$add$person_classifier_popcount.v:62$62 ($add).
Removed top 2 bits (of 6) from port A of cell person_classifier_popcount.$add$person_classifier_popcount.v:62$63 ($add).
Removed top 1 bits (of 6) from port Y of cell person_classifier_popcount.$add$person_classifier_popcount.v:62$63 ($add).
Removed top 1 bits (of 6) from port A of cell person_classifier_popcount.$add$person_classifier_popcount.v:62$64 ($add).
Removed top 1 bits (of 7) from port A of cell person_classifier_popcount.$sub$person_classifier_popcount.v:68$79 ($sub).
Removed top 1 bits (of 7) from port B of cell person_classifier_popcount.$sub$person_classifier_popcount.v:68$79 ($sub).
Removed top 4 bits (of 6) from wire person_classifier_popcount.$add$person_classifier_popcount.v:55$41_Y.
Removed top 4 bits (of 6) from wire person_classifier_popcount.$add$person_classifier_popcount.v:62$60_Y.
Removed top 3 bits (of 6) from wire person_classifier_popcount.$add$person_classifier_popcount.v:62$61_Y.
Removed top 2 bits (of 6) from wire person_classifier_popcount.$add$person_classifier_popcount.v:62$62_Y.
Removed top 1 bits (of 6) from wire person_classifier_popcount.$add$person_classifier_popcount.v:62$63_Y.
Removed top 3 bits (of 6) from wire person_classifier_popcount.$add$person_classifier_popcount.v:55$42_Y.
Removed top 2 bits (of 6) from wire person_classifier_popcount.$add$person_classifier_popcount.v:55$43_Y.
Removed top 1 bits (of 6) from wire person_classifier_popcount.$add$person_classifier_popcount.v:55$44_Y.
7.10. Executing PEEPOPT pass (run peephole optimizers).
7.11. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
Removed 0 unused cells and 8 unused wires.
<suppressed ~1 debug messages>
7.12. Executing ALUMACC pass (create $alu and $macc cells).
Extracting $alu and $macc cells in module person_classifier_popcount:
creating $macc model for $sub$person_classifier_popcount.v:68$79 ($sub).
creating $macc model for $add$person_classifier_popcount.v:62$78 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$77 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$76 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$75 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$74 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$73 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$72 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$71 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$70 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$69 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$68 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$67 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$66 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$65 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$64 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$63 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$62 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$61 ($add).
creating $macc model for $add$person_classifier_popcount.v:62$60 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$59 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$58 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$57 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$56 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$55 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$54 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$53 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$52 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$51 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$50 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$49 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$48 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$47 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$46 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$45 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$44 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$43 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$42 ($add).
creating $macc model for $add$person_classifier_popcount.v:55$41 ($add).
merging $macc model for $add$person_classifier_popcount.v:55$41 into $add$person_classifier_popcount.v:55$42.
merging $macc model for $add$person_classifier_popcount.v:55$42 into $add$person_classifier_popcount.v:55$43.
merging $macc model for $add$person_classifier_popcount.v:55$43 into $add$person_classifier_popcount.v:55$44.
merging $macc model for $add$person_classifier_popcount.v:55$44 into $add$person_classifier_popcount.v:55$45.
merging $macc model for $add$person_classifier_popcount.v:55$45 into $add$person_classifier_popcount.v:55$46.
merging $macc model for $add$person_classifier_popcount.v:55$46 into $add$person_classifier_popcount.v:55$47.
merging $macc model for $add$person_classifier_popcount.v:55$47 into $add$person_classifier_popcount.v:55$48.
merging $macc model for $add$person_classifier_popcount.v:55$48 into $add$person_classifier_popcount.v:55$49.
merging $macc model for $add$person_classifier_popcount.v:55$49 into $add$person_classifier_popcount.v:55$50.
merging $macc model for $add$person_classifier_popcount.v:55$50 into $add$person_classifier_popcount.v:55$51.
merging $macc model for $add$person_classifier_popcount.v:55$51 into $add$person_classifier_popcount.v:55$52.
merging $macc model for $add$person_classifier_popcount.v:55$52 into $add$person_classifier_popcount.v:55$53.
merging $macc model for $add$person_classifier_popcount.v:55$53 into $add$person_classifier_popcount.v:55$54.
merging $macc model for $add$person_classifier_popcount.v:55$54 into $add$person_classifier_popcount.v:55$55.
merging $macc model for $add$person_classifier_popcount.v:55$55 into $add$person_classifier_popcount.v:55$56.
merging $macc model for $add$person_classifier_popcount.v:55$56 into $add$person_classifier_popcount.v:55$57.
merging $macc model for $add$person_classifier_popcount.v:55$57 into $add$person_classifier_popcount.v:55$58.
merging $macc model for $add$person_classifier_popcount.v:55$58 into $add$person_classifier_popcount.v:55$59.
merging $macc model for $add$person_classifier_popcount.v:62$60 into $add$person_classifier_popcount.v:62$61.
merging $macc model for $add$person_classifier_popcount.v:62$61 into $add$person_classifier_popcount.v:62$62.
merging $macc model for $add$person_classifier_popcount.v:62$62 into $add$person_classifier_popcount.v:62$63.
merging $macc model for $add$person_classifier_popcount.v:62$63 into $add$person_classifier_popcount.v:62$64.
merging $macc model for $add$person_classifier_popcount.v:62$64 into $add$person_classifier_popcount.v:62$65.
merging $macc model for $add$person_classifier_popcount.v:62$65 into $add$person_classifier_popcount.v:62$66.
merging $macc model for $add$person_classifier_popcount.v:62$66 into $add$person_classifier_popcount.v:62$67.
merging $macc model for $add$person_classifier_popcount.v:62$67 into $add$person_classifier_popcount.v:62$68.
merging $macc model for $add$person_classifier_popcount.v:62$68 into $add$person_classifier_popcount.v:62$69.
merging $macc model for $add$person_classifier_popcount.v:62$69 into $add$person_classifier_popcount.v:62$70.
merging $macc model for $add$person_classifier_popcount.v:62$70 into $add$person_classifier_popcount.v:62$71.
merging $macc model for $add$person_classifier_popcount.v:62$71 into $add$person_classifier_popcount.v:62$72.
merging $macc model for $add$person_classifier_popcount.v:62$72 into $add$person_classifier_popcount.v:62$73.
merging $macc model for $add$person_classifier_popcount.v:62$73 into $add$person_classifier_popcount.v:62$74.
merging $macc model for $add$person_classifier_popcount.v:62$74 into $add$person_classifier_popcount.v:62$75.
merging $macc model for $add$person_classifier_popcount.v:62$75 into $add$person_classifier_popcount.v:62$76.
merging $macc model for $add$person_classifier_popcount.v:62$76 into $add$person_classifier_popcount.v:62$77.
merging $macc model for $add$person_classifier_popcount.v:62$77 into $add$person_classifier_popcount.v:62$78.
merging $macc model for $add$person_classifier_popcount.v:55$59 into $sub$person_classifier_popcount.v:68$79.
merging $macc model for $add$person_classifier_popcount.v:62$78 into $sub$person_classifier_popcount.v:68$79.
creating $macc cell for $sub$person_classifier_popcount.v:68$79: $auto$alumacc.cc:382:replace_macc$89
creating $alu model for $gt$person_classifier_popcount.v:69$80 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:51$40 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:51$39 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:50$38 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:50$37 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:49$36 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:49$35 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:48$34 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:48$33 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:47$32 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:47$31 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:46$30 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:46$29 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:45$28 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:45$27 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:44$26 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:44$25 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:43$24 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:43$23 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:42$22 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:42$21 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:39$20 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:39$19 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:38$18 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:38$17 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:37$16 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:37$15 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:36$14 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:36$13 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:35$12 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:35$11 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:34$10 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:34$9 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:33$8 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:33$7 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:32$6 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:32$5 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:31$4 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:31$3 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:30$2 ($gt): new $alu
creating $alu model for $gt$person_classifier_popcount.v:30$1 ($gt): new $alu
creating $alu cell for $gt$person_classifier_popcount.v:30$1: $auto$alumacc.cc:512:replace_alu$131
creating $alu cell for $gt$person_classifier_popcount.v:30$2: $auto$alumacc.cc:512:replace_alu$144
creating $alu cell for $gt$person_classifier_popcount.v:31$3: $auto$alumacc.cc:512:replace_alu$157
creating $alu cell for $gt$person_classifier_popcount.v:31$4: $auto$alumacc.cc:512:replace_alu$170
creating $alu cell for $gt$person_classifier_popcount.v:32$5: $auto$alumacc.cc:512:replace_alu$183
creating $alu cell for $gt$person_classifier_popcount.v:32$6: $auto$alumacc.cc:512:replace_alu$196
creating $alu cell for $gt$person_classifier_popcount.v:33$7: $auto$alumacc.cc:512:replace_alu$209
creating $alu cell for $gt$person_classifier_popcount.v:33$8: $auto$alumacc.cc:512:replace_alu$222
creating $alu cell for $gt$person_classifier_popcount.v:34$9: $auto$alumacc.cc:512:replace_alu$235
creating $alu cell for $gt$person_classifier_popcount.v:34$10: $auto$alumacc.cc:512:replace_alu$248
creating $alu cell for $gt$person_classifier_popcount.v:35$11: $auto$alumacc.cc:512:replace_alu$261
creating $alu cell for $gt$person_classifier_popcount.v:35$12: $auto$alumacc.cc:512:replace_alu$274
creating $alu cell for $gt$person_classifier_popcount.v:36$13: $auto$alumacc.cc:512:replace_alu$287
creating $alu cell for $gt$person_classifier_popcount.v:36$14: $auto$alumacc.cc:512:replace_alu$300
creating $alu cell for $gt$person_classifier_popcount.v:37$15: $auto$alumacc.cc:512:replace_alu$313
creating $alu cell for $gt$person_classifier_popcount.v:37$16: $auto$alumacc.cc:512:replace_alu$326
creating $alu cell for $gt$person_classifier_popcount.v:38$17: $auto$alumacc.cc:512:replace_alu$339
creating $alu cell for $gt$person_classifier_popcount.v:38$18: $auto$alumacc.cc:512:replace_alu$352
creating $alu cell for $gt$person_classifier_popcount.v:39$19: $auto$alumacc.cc:512:replace_alu$365
creating $alu cell for $gt$person_classifier_popcount.v:39$20: $auto$alumacc.cc:512:replace_alu$378
creating $alu cell for $gt$person_classifier_popcount.v:42$21: $auto$alumacc.cc:512:replace_alu$391
creating $alu cell for $gt$person_classifier_popcount.v:42$22: $auto$alumacc.cc:512:replace_alu$404
creating $alu cell for $gt$person_classifier_popcount.v:43$23: $auto$alumacc.cc:512:replace_alu$417
creating $alu cell for $gt$person_classifier_popcount.v:43$24: $auto$alumacc.cc:512:replace_alu$430
creating $alu cell for $gt$person_classifier_popcount.v:44$25: $auto$alumacc.cc:512:replace_alu$443
creating $alu cell for $gt$person_classifier_popcount.v:44$26: $auto$alumacc.cc:512:replace_alu$456
creating $alu cell for $gt$person_classifier_popcount.v:45$27: $auto$alumacc.cc:512:replace_alu$469
creating $alu cell for $gt$person_classifier_popcount.v:45$28: $auto$alumacc.cc:512:replace_alu$482
creating $alu cell for $gt$person_classifier_popcount.v:46$29: $auto$alumacc.cc:512:replace_alu$495
creating $alu cell for $gt$person_classifier_popcount.v:46$30: $auto$alumacc.cc:512:replace_alu$508
creating $alu cell for $gt$person_classifier_popcount.v:47$31: $auto$alumacc.cc:512:replace_alu$521
creating $alu cell for $gt$person_classifier_popcount.v:47$32: $auto$alumacc.cc:512:replace_alu$534
creating $alu cell for $gt$person_classifier_popcount.v:48$33: $auto$alumacc.cc:512:replace_alu$547
creating $alu cell for $gt$person_classifier_popcount.v:48$34: $auto$alumacc.cc:512:replace_alu$560
creating $alu cell for $gt$person_classifier_popcount.v:49$35: $auto$alumacc.cc:512:replace_alu$573
creating $alu cell for $gt$person_classifier_popcount.v:49$36: $auto$alumacc.cc:512:replace_alu$586
creating $alu cell for $gt$person_classifier_popcount.v:50$37: $auto$alumacc.cc:512:replace_alu$599
creating $alu cell for $gt$person_classifier_popcount.v:50$38: $auto$alumacc.cc:512:replace_alu$612
creating $alu cell for $gt$person_classifier_popcount.v:51$39: $auto$alumacc.cc:512:replace_alu$625
creating $alu cell for $gt$person_classifier_popcount.v:51$40: $auto$alumacc.cc:512:replace_alu$638
creating $alu cell for $gt$person_classifier_popcount.v:69$80: $auto$alumacc.cc:512:replace_alu$651
created 41 $alu and 1 $macc cells.
7.13. Executing SHARE pass (SAT-based resource sharing).
7.14. Executing OPT pass (performing simple optimizations).
7.14.1. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.14.2. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 285 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.14.3. Executing OPT_MUXTREE pass (detect dead branches in mux trees).
Running muxtree optimizer on module \person_classifier_popcount..
Creating internal representation of mux trees.
No muxes found in this module.
Removed 0 multiplexer ports.
7.14.4. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs).
Optimizing cells in module \person_classifier_popcount.
Performed a total of 0 changes.
7.14.5. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 285 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.14.6. Executing OPT_DFF pass (perform DFF optimizations).
7.14.7. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
Removed 38 unused cells and 79 unused wires.
<suppressed ~41 debug messages>
7.14.8. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.14.9. Rerunning OPT passes. (Maybe there is more to do..)
7.14.10. Executing OPT_MUXTREE pass (detect dead branches in mux trees).
Running muxtree optimizer on module \person_classifier_popcount..
Creating internal representation of mux trees.
No muxes found in this module.
Removed 0 multiplexer ports.
7.14.11. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs).
Optimizing cells in module \person_classifier_popcount.
Performed a total of 0 changes.
7.14.12. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 247 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.14.13. Executing OPT_DFF pass (perform DFF optimizations).
7.14.14. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7.14.15. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.14.16. Finished fast OPT passes. (There is nothing left to do.)
7.15. Executing MEMORY pass.
7.15.1. Executing OPT_MEM pass (optimize memories).
Performed a total of 0 transformations.
7.15.2. Executing OPT_MEM_PRIORITY pass (removing unnecessary memory write priority relations).
Performed a total of 0 transformations.
7.15.3. Executing OPT_MEM_FEEDBACK pass (finding memory read-to-write feedback paths).
7.15.4. Executing MEMORY_BMUX2ROM pass (converting muxes to ROMs).
7.15.5. Executing MEMORY_DFF pass (merging $dff cells to $memrd).
7.15.6. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7.15.7. Executing MEMORY_SHARE pass (consolidating $memrd/$memwr cells).
7.15.8. Executing OPT_MEM_WIDEN pass (optimize memories where all ports are wide).
Performed a total of 0 transformations.
7.15.9. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7.15.10. Executing MEMORY_COLLECT pass (generating $mem cells).
7.16. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7.17. Executing OPT pass (performing simple optimizations).
7.17.1. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.17.2. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 247 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.17.3. Executing OPT_DFF pass (perform DFF optimizations).
7.17.4. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7.17.5. Finished fast OPT passes.
7.18. Executing MEMORY_MAP pass (converting memories to logic and flip-flops).
7.19. Executing OPT pass (performing simple optimizations).
7.19.1. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.19.2. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 247 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.19.3. Executing OPT_MUXTREE pass (detect dead branches in mux trees).
Running muxtree optimizer on module \person_classifier_popcount..
Creating internal representation of mux trees.
No muxes found in this module.
Removed 0 multiplexer ports.
7.19.4. Executing OPT_REDUCE pass (consolidate $*mux and $reduce_* inputs).
Optimizing cells in module \person_classifier_popcount.
Performed a total of 0 changes.
7.19.5. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 247 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.19.6. Executing OPT_SHARE pass.
7.19.7. Executing OPT_DFF pass (perform DFF optimizations).
7.19.8. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
7.19.9. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.19.10. Finished fast OPT passes. (There is nothing left to do.)
7.20. Executing TECHMAP pass (map to technology primitives).
7.20.1. Executing Verilog-2005 frontend: D:\oss-cad-suite\bin\../share/yosys/techmap.v
Parsing Verilog input from `D:\oss-cad-suite\bin\../share/yosys/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_brent_kung'.
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_trunc'.
Generating RTLIL representation for module `\_90_div'.
Generating RTLIL representation for module `\_90_mod'.
Generating RTLIL representation for module `$__div_mod_floor'.
Generating RTLIL representation for module `\_90_divfloor'.
Generating RTLIL representation for module `\_90_modfloor'.
Generating RTLIL representation for module `\_90_pow'.
Generating RTLIL representation for module `\_90_pmux'.
Generating RTLIL representation for module `\_90_demux'.
Generating RTLIL representation for module `\_90_lut'.
Generating RTLIL representation for module `$connect'.
Generating RTLIL representation for module `$input_port'.
Successfully finished Verilog frontend.
7.20.2. Continuing TECHMAP pass.
Using extmapper simplemap for cells of type $not.
Using extmapper simplemap for cells of type $or.
Using extmapper simplemap for cells of type $reduce_and.
Using extmapper simplemap for cells of type $xor.
Using template $paramod$6f90ffee354dc895e8b3739fded47e42472db361\_90_alu for cells of type $alu.
Using template $paramod$08c2d337fba0d8fba53e35b89be96dd105931d9e\_90_alu for cells of type $alu.
Using extmapper maccmap for cells of type $macc_v2.
add \pos_bits [0] (1 bits, unsigned)
sub \neg_bits [0] (1 bits, unsigned)
add \pos_bits [19] (1 bits, unsigned)
add \pos_bits [18] (1 bits, unsigned)
add \pos_bits [17] (1 bits, unsigned)
add \pos_bits [16] (1 bits, unsigned)
add \pos_bits [15] (1 bits, unsigned)
add \pos_bits [14] (1 bits, unsigned)
add \pos_bits [13] (1 bits, unsigned)
add \pos_bits [12] (1 bits, unsigned)
add \pos_bits [11] (1 bits, unsigned)
add \pos_bits [10] (1 bits, unsigned)
add \pos_bits [9] (1 bits, unsigned)
add \pos_bits [8] (1 bits, unsigned)
add \pos_bits [7] (1 bits, unsigned)
add \pos_bits [6] (1 bits, unsigned)
add \pos_bits [5] (1 bits, unsigned)
add \pos_bits [4] (1 bits, unsigned)
add \pos_bits [3] (1 bits, unsigned)
add \pos_bits [2] (1 bits, unsigned)
add \pos_bits [1] (1 bits, unsigned)
sub \neg_bits [19] (1 bits, unsigned)
sub \neg_bits [18] (1 bits, unsigned)
sub \neg_bits [17] (1 bits, unsigned)
sub \neg_bits [16] (1 bits, unsigned)
sub \neg_bits [15] (1 bits, unsigned)
sub \neg_bits [14] (1 bits, unsigned)
sub \neg_bits [13] (1 bits, unsigned)
sub \neg_bits [12] (1 bits, unsigned)
sub \neg_bits [11] (1 bits, unsigned)
sub \neg_bits [10] (1 bits, unsigned)
sub \neg_bits [9] (1 bits, unsigned)
sub \neg_bits [8] (1 bits, unsigned)
sub \neg_bits [7] (1 bits, unsigned)
sub \neg_bits [6] (1 bits, unsigned)
sub \neg_bits [5] (1 bits, unsigned)
sub \neg_bits [4] (1 bits, unsigned)
sub \neg_bits [3] (1 bits, unsigned)
sub \neg_bits [2] (1 bits, unsigned)
sub \neg_bits [1] (1 bits, unsigned)
packed 19 (19) bits / 19 words into adder tree
Using template $paramod\_90_fa\WIDTH=32'00000000000000000000000000000111 for cells of type $fa.
Using template $paramod$dbcdc7e8aa1a4080cea2deda6fdc8772064f4d90\_90_alu for cells of type $alu.
Using template $paramod\_90_lcu_brent_kung\WIDTH=32'00000000000000000000000000000111 for cells of type $lcu.
Using extmapper simplemap for cells of type $pos.
Using extmapper simplemap for cells of type $mux.
Using template $paramod\_90_fa\WIDTH=32'00000000000000000000000000001000 for cells of type $fa.
Using template $paramod\_90_lcu_brent_kung\WIDTH=32'00000000000000000000000000001000 for cells of type $lcu.
Using extmapper simplemap for cells of type $and.
No more expansions possible.
<suppressed ~2431 debug messages>
7.21. Executing OPT pass (performing simple optimizations).
7.21.1. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
<suppressed ~2126 debug messages>
7.21.2. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 3076 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Computing hashes of 2951 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Computing hashes of 2911 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
<suppressed ~495 debug messages>
Removed a total of 165 cells.
7.21.3. Executing OPT_DFF pass (perform DFF optimizations).
7.21.4. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
Removed 479 unused cells and 2169 unused wires.
<suppressed ~481 debug messages>
7.21.5. Finished fast OPT passes.
7.22. Executing ABC pass (technology mapping using ABC).
7.22.1. Extracting gate netlist of module `\person_classifier_popcount' to `<abc-temp-dir>/input.blif'..
7.22.1.1. Executed ABC.
Extracted 2432 gates and 3078 wires to a netlist network with 646 inputs and 1 outputs.
Running ABC script: <abc-temp-dir>/abc.script
ABC: ======== ABC command line "source <abc-temp-dir>/abc.script"
ABC: + read_blif <abc-temp-dir>/input.blif
ABC: + read_library <abc-temp-dir>/stdcells.genlib
ABC: + strash
ABC: + &get -n
ABC: + &fraig -x
ABC: + &put
ABC: + scorr
ABC: Warning: The network is combinational (run "fraig" or "fraig_sweep").
ABC: + dc2
ABC: + dretime
ABC: + strash
ABC: + &get -n
ABC: + &dch -f
ABC: + &nf
ABC: + &put
ABC: + write_blif <abc-temp-dir>/output.blif
7.22.1.2. Re-integrating ABC results.
ABC RESULTS: AND cells: 253
ABC RESULTS: ANDNOT cells: 13
ABC RESULTS: MUX cells: 2
ABC RESULTS: NAND cells: 438
ABC RESULTS: NOR cells: 5
ABC RESULTS: NOT cells: 1
ABC RESULTS: OR cells: 11
ABC RESULTS: ORNOT cells: 607
ABC RESULTS: XNOR cells: 23
ABC RESULTS: XOR cells: 53
ABC RESULTS: internal signals: 2431
ABC RESULTS: input signals: 646
ABC RESULTS: output signals: 1
Removing temp directory.
Removing global temp directory.
7.23. Executing OPT pass (performing simple optimizations).
7.23.1. Executing OPT_EXPR pass (perform const folding).
Optimizing module person_classifier_popcount.
7.23.2. Executing OPT_MERGE pass (detect identical cells).
Finding identical cells in module `\person_classifier_popcount'.
Computing hashes of 1406 cells of `\person_classifier_popcount'.
Finding duplicate cells in `\person_classifier_popcount'.
Removed a total of 0 cells.
7.23.3. Executing OPT_DFF pass (perform DFF optimizations).
7.23.4. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
Removed 0 unused cells and 1736 unused wires.
<suppressed ~3 debug messages>
7.23.5. Finished fast OPT passes.
7.24. Executing HIERARCHY pass (managing design hierarchy).
Attribute `top' found on module `person_classifier_popcount'. Setting top module to person_classifier_popcount.
7.24.1. Analyzing design hierarchy..
Top module: \person_classifier_popcount
7.24.2. Analyzing design hierarchy..
Top module: \person_classifier_popcount
Removed 0 unused modules.
7.25. Printing statistics.
=== person_classifier_popcount ===
+----------Local Count, excluding submodules.
|
1487 wires
2052 wire bits
82 public wires
647 public wire bits
82 ports
647 port bits
1406 cells
13 $_ANDNOT_
253 $_AND_
2 $_MUX_
438 $_NAND_
5 $_NOR_
1 $_NOT_
607 $_ORNOT_
11 $_OR_
23 $_XNOR_
53 $_XOR_
7.26. Executing CHECK pass (checking for obvious problems).
Checking module person_classifier_popcount...
Found and reported 0 problems.
8. Executing ABC pass (technology mapping using ABC).
8.1. Extracting gate netlist of module `\person_classifier_popcount' to `<abc-temp-dir>/input.blif'..
8.1.1. Executed ABC.
Extracted 1406 gates and 2052 wires to a netlist network with 646 inputs and 1 outputs.
Running ABC script: <abc-temp-dir>/abc.script
ABC: ======== ABC command line "source <abc-temp-dir>/abc.script"
ABC: + read_blif <abc-temp-dir>/input.blif
ABC: + read_library <abc-temp-dir>/stdcells.genlib
ABC: + strash
ABC: + &get -n
ABC: + &fraig -x
ABC: + &put
ABC: + scorr
ABC: Warning: The network is combinational (run "fraig" or "fraig_sweep").
ABC: + dc2
ABC: + dretime
ABC: + strash
ABC: + &get -n
ABC: + &dch -f
ABC: + &nf
ABC: + &put
ABC: + write_blif <abc-temp-dir>/output.blif
8.1.2. Re-integrating ABC results.
ABC RESULTS: AND cells: 1299
ABC RESULTS: NOT cells: 1658
ABC RESULTS: XOR cells: 83
ABC RESULTS: internal signals: 1405
ABC RESULTS: input signals: 646
ABC RESULTS: output signals: 1
Removing temp directory.
Removing global temp directory.
9. Executing OPT_CLEAN pass (remove unused cells and wires).
Finding unused cells or wires in module \person_classifier_popcount..
Removed 0 unused cells and 2052 unused wires.
<suppressed ~1 debug messages>
10. Printing statistics.
=== person_classifier_popcount ===
+----------Local Count, excluding submodules.
|
3121 wires
3686 wire bits
82 public wires
647 public wire bits
82 ports
647 port bits
3040 cells
1299 $_AND_
1658 $_NOT_
83 $_XOR_
11. Executing Verilog backend.
11.1. Executing BMUXMAP pass.
11.2. Executing DEMUXMAP pass.
Dumping module `\person_classifier_popcount'.
End of script. Logfile hash: 886d17e0b9
Yosys 0.63+222 (git sha1 a4b6a8c58-dirty, x86_64-w64-mingw32-g++ 13.2.1 -O3)
Time spent: 1% 22x opt_expr (0 sec), 1% 20x opt_clean (0 sec), ...