Generate an RTLIL representation of bind constructs 
						
					 
				 
				2021-08-13 17:11:35 -06:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Generate an RTLIL representation of bind constructs 
						
					 
				 
				2021-08-13 17:11:35 -06:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add bitwise $bweqx and $bwmux cells 
						
					 
				 
				2022-11-30 18:24:35 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							cellaigs: Drop initializer list in call to IdString::in 
						
					 
				 
				2023-08-14 11:42:19 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add $bmux and $demux cells. 
						
					 
				 
				2022-01-28 23:34:41 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Revert changes to celltypes.h. 
						
					 
				 
				2023-10-03 14:06:41 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Remove set but unused variable 
						
					 
				 
				2022-05-27 12:37:03 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							memory_libmap: look for ram_style attributes on surrounding signals 
						
					 
				 
				2023-10-19 19:23:35 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							cli: Cleanups for tcl argument handling 
						
					 
				 
				2023-11-06 16:40:13 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add the $anyinit cell and the formalff pass 
						
					 
				 
				2022-08-16 13:37:30 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add the $anyinit cell and the formalff pass 
						
					 
				 
				2022-08-16 13:37:30 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add new helper class for merging FFs into cells, use for memory_dff. 
						
					 
				 
				2021-05-23 14:46:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fix a regression from  #3035 . 
						
					 
				 
				2021-10-08 15:44:07 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add new helper class for merging FFs into cells, use for memory_dff. 
						
					 
				 
				2021-05-23 14:46:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							fmt: Handle free-standing time arguments 
						
					 
				 
				2023-11-20 17:25:42 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							fmt: remove lzero by lowering during Verilog parse 
						
					 
				 
				2023-08-11 04:46:52 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixes for some of clang scan-build detected issues 
						
					 
				 
				2023-01-17 12:58:08 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Start restoring memory state from VCD/FST 
						
					 
				 
				2022-05-04 10:41:04 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil, hashlib: Remove deprecated std::iterator usage 
						
					 
				 
				2023-12-09 19:01:39 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Support for BTOR witness to Yosys witness conversion 
						
					 
				 
				2023-01-11 18:07:16 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Support for BTOR witness to Yosys witness conversion 
						
					 
				 
				2023-01-11 18:07:16 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							change verific log callback api 
						
					 
				 
				2023-11-01 08:13:27 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							change verific log callback api 
						
					 
				 
				2023-11-01 08:13:27 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							mem: only import attributes from ports if the memory doesn't have them yet 
						
					 
				 
				2023-10-30 16:31:53 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add proc_rom pass. 
						
					 
				 
				2022-05-13 00:37:14 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							remove template declaration that stops function from being used 
						
					 
				 
				2023-01-11 16:09:05 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add $bmux and $demux cells. 
						
					 
				 
				2022-01-28 23:34:41 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Refactor common parts of SAT-using optimizations into a helper. 
						
					 
				 
				2021-08-09 16:54:35 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixes for some of clang scan-build detected issues 
						
					 
				 
				2023-01-17 12:58:08 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Merge pull request  #3959  from rmlarsen/decode_string 
						
					 
				 
				2023-10-02 16:38:43 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: Fix value type for iterator over SigSpec 
						
					 
				 
				2023-12-09 19:01:39 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add bitwise $bweqx and $bwmux cells 
						
					 
				 
				2022-11-30 18:24:35 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							sat: Add -set-def-formal option to force defined $any* outputs 
						
					 
				 
				2022-11-28 14:50:52 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							sta: very crude static timing analysis pass 
						
					 
				 
				2021-11-25 17:20:27 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Get rid of double lookup in TopoSort::node(). This speeds up typical TopoSort time overall by ~10%. 
						
					 
				 
				2023-10-06 12:53:05 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fix readline/editline memory leak 
						
					 
				 
				2023-10-06 16:05:44 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fix compiler warnings from GCC. 
						
					 
				 
				2023-10-03 09:29:06 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Remove a statement without effect. 
						
					 
				 
				2023-04-17 10:53:05 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							sim/formalff: Clock handling for yw cosim 
						
					 
				 
				2023-01-11 18:07:16 +01:00