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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							celledges: Register async FF paths 
						
					 
				 
				2024-03-11 10:45:36 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add builtin celltype $scopeinfo 
						
					 
				 
				2024-02-06 17:51:24 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Remove set but unused variable 
						
					 
				 
				2022-05-27 12:37:03 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add new $check cell to represent assertions with a message. 
						
					 
				 
				2024-02-01 20:10:39 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							driver: Fix crashes on missing cli arguments 
						
					 
				 
				2024-02-12 14:56:23 +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: if enabled, group padding zeroes. 
						
					 
				 
				2024-04-02 12:13:22 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							fmt,cxxrtl: add option to group digits in numbers. 
						
					 
				 
				2024-04-02 12:13:22 +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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							hashlib: Add missing stdint.h include 
						
					 
				 
				2024-02-08 14:27:12 +00: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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Merge branch 'origin/master' into krys/docs 
						
					 
				 
				2024-03-18 10:39:30 +13:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add API to overwrite existing pass from plugin 
						
					 
				 
				2024-01-30 17:51:11 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add builtin celltype $scopeinfo 
						
					 
				 
				2024-02-06 17:51:24 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: Fix Const hashing omission 
						
					 
				 
				2024-02-19 15:45:54 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add builtin celltype $scopeinfo 
						
					 
				 
				2024-02-06 17:51:24 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							sat: Add -set-def-formal option to force defined $any* outputs 
						
					 
				 
				2022-11-28 14:50:52 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add scopeinfo index/lookup utils 
						
					 
				 
				2024-02-06 18:01:26 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add scopeinfo index/lookup utils 
						
					 
				 
				2024-02-06 18:01:26 +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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							utils: Save detected loops with their nodes in-order 
						
					 
				 
				2024-03-11 10:43:49 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Tweak the FreeBSD version of proc_self_dirname() to work on NetBSD use it. 
						
					 
				 
				2024-03-03 07:54:39 -08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							chore: use similar variable/function names 
						
					 
				 
				2024-02-02 01:25:58 +03: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