| 
					
						
							
								
								
									
									
									abc
									
								
							
						
					
				 | 
				
					
						
							
							Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types
						
					
				 | 
				2015-04-05 09:45:14 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									cmds
									
								
							
						
					
				 | 
				
					
						
							
							Preserve important attributes in splitnets
						
					
				 | 
				2015-04-29 07:44:57 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									equiv
									
								
							
						
					
				 | 
				
					
						
							
							Replaced ezDefaultSAT with ezSatPtr
						
					
				 | 
				2015-02-21 12:15:41 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									memory
									
								
							
						
					
				 | 
				
					
						
							
							Fixed memory_unpack for initialized memories
						
					
				 | 
				2015-04-29 19:55:32 +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 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									techmap
									
								
							
						
					
				 | 
				
					
						
							
							Added simplemap $lut support
						
					
				 | 
				2015-04-27 10:16:07 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									tests
									
								
							
						
					
				 | 
				
					
						
							
							Replaced ezDefaultSAT with ezSatPtr
						
					
				 | 
				2015-02-21 12:15:41 +01:00 |