mirror of
				https://github.com/YosysHQ/yosys
				synced 2025-11-04 13:29:12 +00:00 
			
		
		
		
	Add InternalCellChecker support for $specify2 and $specify3
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
		
							parent
							
								
									b232e027bf
								
							
						
					
					
						commit
						e1d73e03d3
					
				
					 1 changed files with 21 additions and 7 deletions
				
			
		| 
						 | 
				
			
			@ -1194,13 +1194,27 @@ namespace {
 | 
			
		|||
				return;
 | 
			
		||||
			}
 | 
			
		||||
 | 
			
		||||
			if (cell->type == "$specify2") {
 | 
			
		||||
				// FIXME
 | 
			
		||||
				return;
 | 
			
		||||
			}
 | 
			
		||||
 | 
			
		||||
			if (cell->type == "$specify3") {
 | 
			
		||||
				// FIXME
 | 
			
		||||
			if (cell->type.in("$specify2", "$specify3")) {
 | 
			
		||||
				param_bool("\\FULL");
 | 
			
		||||
				param_bool("\\SRC_DST_PEN");
 | 
			
		||||
				param_bool("\\SRC_DST_POL");
 | 
			
		||||
				param("\\T_RISE_MIN");
 | 
			
		||||
				param("\\T_RISE_AVG");
 | 
			
		||||
				param("\\T_RISE_MAX");
 | 
			
		||||
				param("\\T_FALL_MIN");
 | 
			
		||||
				param("\\T_FALL_AVG");
 | 
			
		||||
				param("\\T_FALL_MAX");
 | 
			
		||||
				port("\\EN", 1);
 | 
			
		||||
				port("\\SRC", param("\\SRC_WIDTH"));
 | 
			
		||||
				port("\\DST", param("\\DST_WIDTH"));
 | 
			
		||||
				if (cell->type == "$specify3") {
 | 
			
		||||
					param_bool("\\EDGE_EN");
 | 
			
		||||
					param_bool("\\EDGE_POL");
 | 
			
		||||
					param_bool("\\DAT_DST_PEN");
 | 
			
		||||
					param_bool("\\DAT_DST_POL");
 | 
			
		||||
					port("\\DAT", param("\\DST_WIDTH"));
 | 
			
		||||
				}
 | 
			
		||||
				check_expected();
 | 
			
		||||
				return;
 | 
			
		||||
			}
 | 
			
		||||
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue