mirror of
				https://github.com/YosysHQ/yosys
				synced 2025-10-31 03:32:29 +00:00 
			
		
		
		
	Also merge $equiv cells in equiv_struct
This commit is contained in:
		
							parent
							
								
									d19069b0fb
								
							
						
					
					
						commit
						15a67392f1
					
				
					 1 changed files with 1 additions and 0 deletions
				
			
		|  | @ -119,6 +119,7 @@ struct EquivStructWorker | ||||||
| 		for (auto cell : module->selected_cells()) | 		for (auto cell : module->selected_cells()) | ||||||
| 			if (cell->type == "$equiv") { | 			if (cell->type == "$equiv") { | ||||||
| 				equiv_bits.add(sigmap(cell->getPort("\\A")), sigmap(cell->getPort("\\B"))); | 				equiv_bits.add(sigmap(cell->getPort("\\A")), sigmap(cell->getPort("\\B"))); | ||||||
|  | 				cells_by_type[cell->type].insert(cell->name); | ||||||
| 			} else | 			} else | ||||||
| 			if (module->design->selected(module, cell)) { | 			if (module->design->selected(module, cell)) { | ||||||
| 				if (mode_icells || module->design->module(cell->type)) | 				if (mode_icells || module->design->module(cell->type)) | ||||||
|  |  | ||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue