| 
					
						
							
								
								
									
									
									abc
									
								
							
						
					
				 | 
				
					
						
							
							Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types
						
					
				 | 
				2015-04-05 09:45:14 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									cmds
									
								
							
						
					
				 | 
				
					
						
							
							Added "splice -wires"
						
					
				 | 
				2015-04-13 19:28:12 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									equiv
									
								
							
						
					
				 | 
				
					
						
							
							Replaced ezDefaultSAT with ezSatPtr
						
					
				 | 
				2015-02-21 12:15:41 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									fsm
									
								
							
						
					
				 | 
				
					
						
							
							Added onehot attribute
						
					
				 | 
				2015-02-04 18:52:54 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									memory
									
								
							
						
					
				 | 
				
					
						
							
							Added memory_bram "make_outreg" feature
						
					
				 | 
				2015-04-09 16:08:54 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									opt
									
								
							
						
					
				 | 
				
					
						
							
							Added handling of bool-output cells to "wreduce"
						
					
				 | 
				2015-04-13 19:27:49 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									proc
									
								
							
						
					
				 | 
				
					
						
							
							Minor fixes in handling of "init" attribute
						
					
				 | 
				2015-04-09 15:12:26 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									sat
									
								
							
						
					
				 | 
				
					
						
							
							Added non-std verilog assume() statement
						
					
				 | 
				2015-02-26 18:47:39 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									techmap
									
								
							
						
					
				 | 
				
					
						
							
							Bugfix for $_DFF_?_ in "dff2dffe -direct-match"
						
					
				 | 
				2015-04-17 21:35:59 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									tests
									
								
							
						
					
				 | 
				
					
						
							
							Replaced ezDefaultSAT with ezSatPtr
						
					
				 | 
				2015-02-21 12:15:41 +01:00 |