| 
								
								
									 Marcelina Kościelnicka | 522788f016 | techmap: Add support for [] wildcards in techmap_celltype. Fixes #1826. | 2020-08-02 22:46:48 +02:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 67fc0c3698 | abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_ instead of moving them to $__ prefix | 2020-05-14 16:44:35 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 13f9d65b6f | abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it | 2020-05-14 10:33:57 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 97a0a04314 | abc9_ops/xaiger: further reducing Module::derive() calls by ... replacing _all_ (* abc9_box *) instantiations with their derived types | 2020-05-14 10:33:57 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 57c478c537 | abc9: only do +/abc9_map if `DFF | 2020-05-14 10:33:57 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 722540dbf9 | abc9: not enough to techmap_fail on (* init=1 *), hide them using $__ | 2020-05-14 10:33:56 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 48052ad813 | abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too | 2020-05-14 10:33:56 -07:00 |  |