mirror of
				https://github.com/YosysHQ/yosys
				synced 2025-11-04 05:19:11 +00:00 
			
		
		
		
	Added $tribuf and $_TBUF_ cell types
This commit is contained in:
		
							parent
							
								
									ae09c89f62
								
							
						
					
					
						commit
						ff50bc2ac3
					
				
					 5 changed files with 42 additions and 2 deletions
				
			
		| 
						 | 
					@ -112,6 +112,8 @@ struct CellTypes
 | 
				
			||||||
		setup_type("$alu", {A, B, CI, BI}, {X, Y, CO}, true);
 | 
							setup_type("$alu", {A, B, CI, BI}, {X, Y, CO}, true);
 | 
				
			||||||
		setup_type("$fa", {A, B, C}, {X, Y}, true);
 | 
							setup_type("$fa", {A, B, C}, {X, Y}, true);
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
							setup_type("$tribuf", {A, EN}, {Y}, true);
 | 
				
			||||||
 | 
					
 | 
				
			||||||
		setup_type("$assert", {A, EN}, pool<RTLIL::IdString>(), true);
 | 
							setup_type("$assert", {A, EN}, pool<RTLIL::IdString>(), true);
 | 
				
			||||||
		setup_type("$assume", {A, EN}, pool<RTLIL::IdString>(), true);
 | 
							setup_type("$assume", {A, EN}, pool<RTLIL::IdString>(), true);
 | 
				
			||||||
		setup_type("$equiv", {A, B}, {Y}, true);
 | 
							setup_type("$equiv", {A, B}, {Y}, true);
 | 
				
			||||||
| 
						 | 
					@ -166,6 +168,7 @@ struct CellTypes
 | 
				
			||||||
		setup_type("$_OAI3_", {A, B, C}, {Y}, true);
 | 
							setup_type("$_OAI3_", {A, B, C}, {Y}, true);
 | 
				
			||||||
		setup_type("$_AOI4_", {A, B, C, D}, {Y}, true);
 | 
							setup_type("$_AOI4_", {A, B, C, D}, {Y}, true);
 | 
				
			||||||
		setup_type("$_OAI4_", {A, B, C, D}, {Y}, true);
 | 
							setup_type("$_OAI4_", {A, B, C, D}, {Y}, true);
 | 
				
			||||||
 | 
							setup_type("$_TBUF_", {A, E}, {Y}, true);
 | 
				
			||||||
	}
 | 
						}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
	void setup_stdcells_mem()
 | 
						void setup_stdcells_mem()
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
| 
						 | 
					@ -996,6 +996,14 @@ namespace {
 | 
				
			||||||
				return;
 | 
									return;
 | 
				
			||||||
			}
 | 
								}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
								if (cell->type == "$tribuf") {
 | 
				
			||||||
 | 
									port("\\A", param("\\WIDTH"));
 | 
				
			||||||
 | 
									port("\\Y", param("\\WIDTH"));
 | 
				
			||||||
 | 
									port("\\EN", 1);
 | 
				
			||||||
 | 
									check_expected();
 | 
				
			||||||
 | 
									return;
 | 
				
			||||||
 | 
								}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
			if (cell->type == "$assert") {
 | 
								if (cell->type == "$assert") {
 | 
				
			||||||
				port("\\A", 1);
 | 
									port("\\A", 1);
 | 
				
			||||||
				port("\\EN", 1);
 | 
									port("\\EN", 1);
 | 
				
			||||||
| 
						 | 
					@ -1032,6 +1040,8 @@ namespace {
 | 
				
			||||||
			if (cell->type == "$_AOI4_") { check_gate("ABCDY"); return; }
 | 
								if (cell->type == "$_AOI4_") { check_gate("ABCDY"); return; }
 | 
				
			||||||
			if (cell->type == "$_OAI4_") { check_gate("ABCDY"); return; }
 | 
								if (cell->type == "$_OAI4_") { check_gate("ABCDY"); return; }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
								if (cell->type == "$_TBUF_")  { check_gate("AYE"); return; }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
			if (cell->type == "$_MUX4_")  { check_gate("ABCDSTY"); return; }
 | 
								if (cell->type == "$_MUX4_")  { check_gate("ABCDSTY"); return; }
 | 
				
			||||||
			if (cell->type == "$_MUX8_")  { check_gate("ABCDEFGHSTUY"); return; }
 | 
								if (cell->type == "$_MUX8_")  { check_gate("ABCDEFGHSTUY"); return; }
 | 
				
			||||||
			if (cell->type == "$_MUX16_") { check_gate("ABCDEFGHIJKLMNOPSTUVY"); return; }
 | 
								if (cell->type == "$_MUX16_") { check_gate("ABCDEFGHIJKLMNOPSTUVY"); return; }
 | 
				
			||||||
| 
						 | 
					@ -1740,6 +1750,16 @@ RTLIL::Cell* RTLIL::Module::addLut(RTLIL::IdString name, RTLIL::SigSpec sig_i, R
 | 
				
			||||||
	return cell;
 | 
						return cell;
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					RTLIL::Cell* RTLIL::Module::addTribuf(RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_en, RTLIL::SigSpec sig_y)
 | 
				
			||||||
 | 
					{
 | 
				
			||||||
 | 
						RTLIL::Cell *cell = addCell(name, "$tribuf");
 | 
				
			||||||
 | 
						cell->parameters["\\WIDTH"] = sig_a.size();
 | 
				
			||||||
 | 
						cell->setPort("\\A", sig_a);
 | 
				
			||||||
 | 
						cell->setPort("\\EN", sig_en);
 | 
				
			||||||
 | 
						cell->setPort("\\Y", sig_y);
 | 
				
			||||||
 | 
						return cell;
 | 
				
			||||||
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
RTLIL::Cell* RTLIL::Module::addAssert(RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_en)
 | 
					RTLIL::Cell* RTLIL::Module::addAssert(RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_en)
 | 
				
			||||||
{
 | 
					{
 | 
				
			||||||
	RTLIL::Cell *cell = addCell(name, "$assert");
 | 
						RTLIL::Cell *cell = addCell(name, "$assert");
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
| 
						 | 
					@ -999,6 +999,7 @@ public:
 | 
				
			||||||
	RTLIL::Cell* addSlice  (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_y, RTLIL::Const offset);
 | 
						RTLIL::Cell* addSlice  (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_y, RTLIL::Const offset);
 | 
				
			||||||
	RTLIL::Cell* addConcat (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_b, RTLIL::SigSpec sig_y);
 | 
						RTLIL::Cell* addConcat (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_b, RTLIL::SigSpec sig_y);
 | 
				
			||||||
	RTLIL::Cell* addLut    (RTLIL::IdString name, RTLIL::SigSpec sig_i, RTLIL::SigSpec sig_o, RTLIL::Const lut);
 | 
						RTLIL::Cell* addLut    (RTLIL::IdString name, RTLIL::SigSpec sig_i, RTLIL::SigSpec sig_o, RTLIL::Const lut);
 | 
				
			||||||
 | 
						RTLIL::Cell* addTribuf (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_en, RTLIL::SigSpec sig_y);
 | 
				
			||||||
	RTLIL::Cell* addAssert (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_en);
 | 
						RTLIL::Cell* addAssert (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_en);
 | 
				
			||||||
	RTLIL::Cell* addEquiv  (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_b, RTLIL::SigSpec sig_y);
 | 
						RTLIL::Cell* addEquiv  (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_b, RTLIL::SigSpec sig_y);
 | 
				
			||||||
 | 
					
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
| 
						 | 
					@ -283,6 +283,21 @@ void simplemap_mux(RTLIL::Module *module, RTLIL::Cell *cell)
 | 
				
			||||||
	}
 | 
						}
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					void simplemap_tribuf(RTLIL::Module *module, RTLIL::Cell *cell)
 | 
				
			||||||
 | 
					{
 | 
				
			||||||
 | 
						RTLIL::SigSpec sig_a = cell->getPort("\\A");
 | 
				
			||||||
 | 
						RTLIL::SigSpec sig_e = cell->getPort("\\EN");
 | 
				
			||||||
 | 
						RTLIL::SigSpec sig_y = cell->getPort("\\Y");
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
						for (int i = 0; i < GetSize(sig_y); i++) {
 | 
				
			||||||
 | 
							RTLIL::Cell *gate = module->addCell(NEW_ID, "$_TBUF_");
 | 
				
			||||||
 | 
							gate->add_strpool_attribute("\\src", cell->get_strpool_attribute("\\src"));
 | 
				
			||||||
 | 
							gate->setPort("\\A", sig_a[i]);
 | 
				
			||||||
 | 
							gate->setPort("\\E", sig_e[i]);
 | 
				
			||||||
 | 
							gate->setPort("\\Y", sig_y[i]);
 | 
				
			||||||
 | 
						}
 | 
				
			||||||
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
void simplemap_lut(RTLIL::Module *module, RTLIL::Cell *cell)
 | 
					void simplemap_lut(RTLIL::Module *module, RTLIL::Cell *cell)
 | 
				
			||||||
{
 | 
					{
 | 
				
			||||||
	SigSpec lut_ctrl = cell->getPort("\\A");
 | 
						SigSpec lut_ctrl = cell->getPort("\\A");
 | 
				
			||||||
| 
						 | 
					@ -481,6 +496,7 @@ void simplemap_get_mappers(std::map<RTLIL::IdString, void(*)(RTLIL::Module*, RTL
 | 
				
			||||||
	mappers["$ne"]          = simplemap_eqne;
 | 
						mappers["$ne"]          = simplemap_eqne;
 | 
				
			||||||
	mappers["$nex"]         = simplemap_eqne;
 | 
						mappers["$nex"]         = simplemap_eqne;
 | 
				
			||||||
	mappers["$mux"]         = simplemap_mux;
 | 
						mappers["$mux"]         = simplemap_mux;
 | 
				
			||||||
 | 
						mappers["$tribuf"]      = simplemap_tribuf;
 | 
				
			||||||
	mappers["$lut"]         = simplemap_lut;
 | 
						mappers["$lut"]         = simplemap_lut;
 | 
				
			||||||
	mappers["$slice"]       = simplemap_slice;
 | 
						mappers["$slice"]       = simplemap_slice;
 | 
				
			||||||
	mappers["$concat"]      = simplemap_concat;
 | 
						mappers["$concat"]      = simplemap_concat;
 | 
				
			||||||
| 
						 | 
					@ -521,7 +537,7 @@ struct SimplemapPass : public Pass {
 | 
				
			||||||
		log("\n");
 | 
							log("\n");
 | 
				
			||||||
		log("  $not, $pos, $and, $or, $xor, $xnor\n");
 | 
							log("  $not, $pos, $and, $or, $xor, $xnor\n");
 | 
				
			||||||
		log("  $reduce_and, $reduce_or, $reduce_xor, $reduce_xnor, $reduce_bool\n");
 | 
							log("  $reduce_and, $reduce_or, $reduce_xor, $reduce_xnor, $reduce_bool\n");
 | 
				
			||||||
		log("  $logic_not, $logic_and, $logic_or, $mux\n");
 | 
							log("  $logic_not, $logic_and, $logic_or, $mux, $tribuf\n");
 | 
				
			||||||
		log("  $sr, $dff, $dffsr, $adff, $dlatch\n");
 | 
							log("  $sr, $dff, $dffsr, $adff, $dlatch\n");
 | 
				
			||||||
		log("\n");
 | 
							log("\n");
 | 
				
			||||||
	}
 | 
						}
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
| 
						 | 
					@ -59,7 +59,7 @@ module _90_simplemap_compare_ops;
 | 
				
			||||||
endmodule
 | 
					endmodule
 | 
				
			||||||
 | 
					
 | 
				
			||||||
(* techmap_simplemap *)
 | 
					(* techmap_simplemap *)
 | 
				
			||||||
(* techmap_celltype = "$pos $slice $concat $mux" *)
 | 
					(* techmap_celltype = "$pos $slice $concat $mux $tribuf" *)
 | 
				
			||||||
module _90_simplemap_various;
 | 
					module _90_simplemap_various;
 | 
				
			||||||
endmodule
 | 
					endmodule
 | 
				
			||||||
 | 
					
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue