| 
					
						
							
								
								
									
									
									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 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									opt
									
								
							
						
					
				 | 
				
					
						
							
							Improved handling of init values in opt_rmdff
						
					
				 | 
				2015-04-18 08:04:31 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									proc
									
								
							
						
					
				 | 
				
					
						
							
							Minor fixes in handling of "init" attribute
						
					
				 | 
				2015-04-09 15:12:26 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									sat
									
								
							
						
					
				 | 
				
					
						
							
							don't consider blackbox modules in "sat" command
						
					
				 | 
				2015-04-18 09:29:03 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									tests
									
								
							
						
					
				 | 
				
					
						
							
							Replaced ezDefaultSAT with ezSatPtr
						
					
				 | 
				2015-02-21 12:15:41 +01:00 |