MuxTreeSerializer.cc revision 10447
110447Snilay@cs.wisc.edu#include "model/electrical/MuxTreeSerializer.h" 210447Snilay@cs.wisc.edu 310447Snilay@cs.wisc.edu#include <cmath> 410447Snilay@cs.wisc.edu 510447Snilay@cs.wisc.edu#include "model/PortInfo.h" 610447Snilay@cs.wisc.edu#include "model/TransitionInfo.h" 710447Snilay@cs.wisc.edu#include "model/EventInfo.h" 810447Snilay@cs.wisc.edu#include "model/std_cells/StdCellLib.h" 910447Snilay@cs.wisc.edu#include "model/std_cells/StdCell.h" 1010447Snilay@cs.wisc.edu#include "model/electrical/Multiplexer.h" 1110447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalNet.h" 1210447Snilay@cs.wisc.edu 1310447Snilay@cs.wisc.edunamespace DSENT 1410447Snilay@cs.wisc.edu{ 1510447Snilay@cs.wisc.edu using std::ceil; 1610447Snilay@cs.wisc.edu 1710447Snilay@cs.wisc.edu MuxTreeSerializer::MuxTreeSerializer(const String& instance_name_, const TechModel* tech_model_) 1810447Snilay@cs.wisc.edu : ElectricalModel(instance_name_, tech_model_) 1910447Snilay@cs.wisc.edu { 2010447Snilay@cs.wisc.edu initParameters(); 2110447Snilay@cs.wisc.edu initProperties(); 2210447Snilay@cs.wisc.edu } 2310447Snilay@cs.wisc.edu 2410447Snilay@cs.wisc.edu MuxTreeSerializer::~MuxTreeSerializer() 2510447Snilay@cs.wisc.edu {} 2610447Snilay@cs.wisc.edu 2710447Snilay@cs.wisc.edu void MuxTreeSerializer::initParameters() 2810447Snilay@cs.wisc.edu { 2910447Snilay@cs.wisc.edu addParameterName("InDataRate"); 3010447Snilay@cs.wisc.edu addParameterName("OutDataRate"); 3110447Snilay@cs.wisc.edu addParameterName("InBits"); //Output width will just be input width / serialization ratio 3210447Snilay@cs.wisc.edu } 3310447Snilay@cs.wisc.edu 3410447Snilay@cs.wisc.edu void MuxTreeSerializer::initProperties() 3510447Snilay@cs.wisc.edu { 3610447Snilay@cs.wisc.edu return; 3710447Snilay@cs.wisc.edu } 3810447Snilay@cs.wisc.edu 3910447Snilay@cs.wisc.edu MuxTreeSerializer* MuxTreeSerializer::clone() const 4010447Snilay@cs.wisc.edu { 4110447Snilay@cs.wisc.edu // TODO 4210447Snilay@cs.wisc.edu return NULL; 4310447Snilay@cs.wisc.edu } 4410447Snilay@cs.wisc.edu 4510447Snilay@cs.wisc.edu void MuxTreeSerializer::constructModel() 4610447Snilay@cs.wisc.edu { 4710447Snilay@cs.wisc.edu // Get parameters 4810447Snilay@cs.wisc.edu double in_data_rate = getParameter("InDataRate").toDouble(); 4910447Snilay@cs.wisc.edu double out_data_rate = getParameter("OutDataRate").toDouble(); 5010447Snilay@cs.wisc.edu unsigned int in_bits = getParameter("InBits").toUInt(); 5110447Snilay@cs.wisc.edu 5210447Snilay@cs.wisc.edu // Calculate serialization ratio 5310447Snilay@cs.wisc.edu unsigned int serialization_ratio = (unsigned int) floor(out_data_rate / in_data_rate); 5410447Snilay@cs.wisc.edu ASSERT(serialization_ratio == out_data_rate / in_data_rate, 5510447Snilay@cs.wisc.edu "[Error] " + getInstanceName() + " -> Cannot have non-integer serialization ratios " + 5610447Snilay@cs.wisc.edu "(" + (String) (in_data_rate / out_data_rate) + ")!"); 5710447Snilay@cs.wisc.edu 5810447Snilay@cs.wisc.edu // Calculate output width 5910447Snilay@cs.wisc.edu ASSERT(floor((double) in_bits / serialization_ratio) == (double) in_bits / serialization_ratio, 6010447Snilay@cs.wisc.edu "[Error] " + getInstanceName() + " -> Input width (" + (String) in_bits + ") " + 6110447Snilay@cs.wisc.edu "must be a multiple of the serialization ratio (" + (String) serialization_ratio + ")!"); 6210447Snilay@cs.wisc.edu unsigned int output_bits = in_bits / serialization_ratio; 6310447Snilay@cs.wisc.edu 6410447Snilay@cs.wisc.edu // Calculate the number of multiplexer stages 6510447Snilay@cs.wisc.edu unsigned int number_stages = (unsigned int)ceil(log2((double) serialization_ratio)); 6610447Snilay@cs.wisc.edu 6710447Snilay@cs.wisc.edu // Store calculated values 6810447Snilay@cs.wisc.edu getGenProperties()->set("SerializationRatio", serialization_ratio); 6910447Snilay@cs.wisc.edu getGenProperties()->set("OutputBits", output_bits); 7010447Snilay@cs.wisc.edu getGenProperties()->set("NumberStages", number_stages); 7110447Snilay@cs.wisc.edu 7210447Snilay@cs.wisc.edu // Create ports 7310447Snilay@cs.wisc.edu createInputPort("In", makeNetIndex(0, in_bits-1)); 7410447Snilay@cs.wisc.edu createInputPort("OutCK"); 7510447Snilay@cs.wisc.edu createOutputPort("Out", makeNetIndex(0, output_bits-1)); 7610447Snilay@cs.wisc.edu 7710447Snilay@cs.wisc.edu //Create energy, power, and area results 7810447Snilay@cs.wisc.edu createElectricalResults(); 7910447Snilay@cs.wisc.edu createElectricalEventResult("Serialize"); 8010447Snilay@cs.wisc.edu getEventInfo("Serialize")->setTransitionInfo("OutCK", TransitionInfo(0.0, (double) serialization_ratio / 2.0, 0.0)); 8110447Snilay@cs.wisc.edu //Set conditions during idle state 8210447Snilay@cs.wisc.edu getEventInfo("Idle")->setStaticTransitionInfos(); 8310447Snilay@cs.wisc.edu getEventInfo("Idle")->setTransitionInfo("OutCK", TransitionInfo(0.0, (double) serialization_ratio / 2.0, 0.0)); 8410447Snilay@cs.wisc.edu 8510447Snilay@cs.wisc.edu // Mark OutCK as a false path (since timing tool will do strange stuff due to all the clock divides and stuff) 8610447Snilay@cs.wisc.edu getNet("OutCK")->setFalsePath(true); 8710447Snilay@cs.wisc.edu 8810447Snilay@cs.wisc.edu // Create mux-tree instance 8910447Snilay@cs.wisc.edu if (serialization_ratio == 1) 9010447Snilay@cs.wisc.edu { 9110447Snilay@cs.wisc.edu // No need to do anything, hohoho 9210447Snilay@cs.wisc.edu assign("Out", "In"); 9310447Snilay@cs.wisc.edu } 9410447Snilay@cs.wisc.edu else 9510447Snilay@cs.wisc.edu { 9610447Snilay@cs.wisc.edu // Create multiplexer 9710447Snilay@cs.wisc.edu String mux_tree_name = "MuxTree"; 9810447Snilay@cs.wisc.edu ElectricalModel* mux_tree = new Multiplexer(mux_tree_name, getTechModel()); 9910447Snilay@cs.wisc.edu mux_tree->setParameter("NumberInputs", serialization_ratio); 10010447Snilay@cs.wisc.edu mux_tree->setParameter("NumberBits", output_bits); 10110447Snilay@cs.wisc.edu mux_tree->setParameter("BitDuplicate", "TRUE"); 10210447Snilay@cs.wisc.edu mux_tree->construct(); 10310447Snilay@cs.wisc.edu // Create nets 10410447Snilay@cs.wisc.edu if (number_stages > 1) 10510447Snilay@cs.wisc.edu createNet("MuxSel_b", makeNetIndex(0, number_stages-2)); 10610447Snilay@cs.wisc.edu createNet("MuxSel", makeNetIndex(0, number_stages-1)); 10710447Snilay@cs.wisc.edu assign("MuxSel", makeNetIndex(number_stages-1), "OutCK"); 10810447Snilay@cs.wisc.edu // Create reindexed net (to help out with indexing) 10910447Snilay@cs.wisc.edu createNet("InTmp", makeNetIndex(0, in_bits-1)); 11010447Snilay@cs.wisc.edu for (unsigned int i = 0; i < serialization_ratio; ++i) 11110447Snilay@cs.wisc.edu for (unsigned int j = 0; j < output_bits; ++j) 11210447Snilay@cs.wisc.edu assign("InTmp", makeNetIndex(i*output_bits+j), "In", makeNetIndex(j*serialization_ratio+i)); 11310447Snilay@cs.wisc.edu 11410447Snilay@cs.wisc.edu // Connect ports 11510447Snilay@cs.wisc.edu for (unsigned int i = 0; i < serialization_ratio; ++i) 11610447Snilay@cs.wisc.edu portConnect(mux_tree, "In" + (String) i, "InTmp", makeNetIndex(i*output_bits, (i+1)*output_bits-1)); 11710447Snilay@cs.wisc.edu 11810447Snilay@cs.wisc.edu for (unsigned int i = 0; i < number_stages; ++i) 11910447Snilay@cs.wisc.edu portConnect(mux_tree, "Sel" + (String) i, "MuxSel", makeNetIndex(i)); 12010447Snilay@cs.wisc.edu portConnect(mux_tree, "Out", "Out"); 12110447Snilay@cs.wisc.edu 12210447Snilay@cs.wisc.edu // Add subinstance and events 12310447Snilay@cs.wisc.edu addSubInstances(mux_tree, 1.0); 12410447Snilay@cs.wisc.edu addElectricalSubResults(mux_tree, 1.0); 12510447Snilay@cs.wisc.edu // Add serialize event/power 12610447Snilay@cs.wisc.edu getEventResult("Serialize")->addSubResult(mux_tree->getEventResult("Mux"), mux_tree_name, 1.0); 12710447Snilay@cs.wisc.edu 12810447Snilay@cs.wisc.edu // Create clock dividers (assumes power of 2...), don't need divider for fastest output stage 12910447Snilay@cs.wisc.edu for (unsigned int i = 0; i < number_stages - 1; ++i) 13010447Snilay@cs.wisc.edu { 13110447Snilay@cs.wisc.edu // Clk dividing registers 13210447Snilay@cs.wisc.edu const String& clk_div_dff_name = "ClkDivDFF_" + (String) i; 13310447Snilay@cs.wisc.edu StdCell* clk_div_dff = getTechModel()->getStdCellLib()->createStdCell("DFFQ", clk_div_dff_name); 13410447Snilay@cs.wisc.edu clk_div_dff->construct(); 13510447Snilay@cs.wisc.edu portConnect(clk_div_dff, "D", "MuxSel_b", makeNetIndex(i)); 13610447Snilay@cs.wisc.edu portConnect(clk_div_dff, "Q", "MuxSel", makeNetIndex(i)); 13710447Snilay@cs.wisc.edu portConnect(clk_div_dff, "CK", "MuxSel", makeNetIndex(i+1)); 13810447Snilay@cs.wisc.edu addSubInstances(clk_div_dff, 1.0); 13910447Snilay@cs.wisc.edu addElectricalSubResults(clk_div_dff, 1.0); 14010447Snilay@cs.wisc.edu 14110447Snilay@cs.wisc.edu // Inversions 14210447Snilay@cs.wisc.edu const String& clk_div_inv_name = "ClkDivINV_" + (String) i; 14310447Snilay@cs.wisc.edu StdCell* clk_div_inv = getTechModel()->getStdCellLib()->createStdCell("INV", clk_div_inv_name); 14410447Snilay@cs.wisc.edu clk_div_inv->construct(); 14510447Snilay@cs.wisc.edu portConnect(clk_div_inv, "A", "MuxSel", makeNetIndex(i)); 14610447Snilay@cs.wisc.edu portConnect(clk_div_inv, "Y", "MuxSel_b", makeNetIndex(i)); 14710447Snilay@cs.wisc.edu addSubInstances(clk_div_inv, 1.0); 14810447Snilay@cs.wisc.edu addElectricalSubResults(clk_div_inv, 1.0); 14910447Snilay@cs.wisc.edu 15010447Snilay@cs.wisc.edu getEventResult("Serialize")->addSubResult(clk_div_dff->getEventResult("CK"), clk_div_dff_name, 1.0); 15110447Snilay@cs.wisc.edu getEventResult("Serialize")->addSubResult(clk_div_dff->getEventResult("DFFD"), clk_div_dff_name, 1.0); 15210447Snilay@cs.wisc.edu getEventResult("Serialize")->addSubResult(clk_div_dff->getEventResult("DFFQ"), clk_div_dff_name, 1.0); 15310447Snilay@cs.wisc.edu getEventResult("Serialize")->addSubResult(clk_div_inv->getEventResult("INV"), clk_div_inv_name, 1.0); 15410447Snilay@cs.wisc.edu } 15510447Snilay@cs.wisc.edu } 15610447Snilay@cs.wisc.edu 15710447Snilay@cs.wisc.edu return; 15810447Snilay@cs.wisc.edu } 15910447Snilay@cs.wisc.edu 16010447Snilay@cs.wisc.edu void MuxTreeSerializer::propagateTransitionInfo() 16110447Snilay@cs.wisc.edu { 16210447Snilay@cs.wisc.edu // Get some generated properties 16310447Snilay@cs.wisc.edu const unsigned int serialization_ratio = getGenProperties()->get("SerializationRatio"); 16410447Snilay@cs.wisc.edu const unsigned int number_stages = getGenProperties()->get("NumberStages"); 16510447Snilay@cs.wisc.edu 16610447Snilay@cs.wisc.edu // Set transition info of the mux tree and clock divide DFF 16710447Snilay@cs.wisc.edu if (serialization_ratio == 1) 16810447Snilay@cs.wisc.edu { 16910447Snilay@cs.wisc.edu // If no serialization, then just propagate input transition info to output port 17010447Snilay@cs.wisc.edu propagatePortTransitionInfo("Out", "In"); 17110447Snilay@cs.wisc.edu } 17210447Snilay@cs.wisc.edu else 17310447Snilay@cs.wisc.edu { 17410447Snilay@cs.wisc.edu 17510447Snilay@cs.wisc.edu // Propagate transition probabilities to the mux tree 17610447Snilay@cs.wisc.edu ElectricalModel* mux_tree = (ElectricalModel*) getSubInstance("MuxTree"); 17710447Snilay@cs.wisc.edu // All input ports of the mux have the same probability 17810447Snilay@cs.wisc.edu for (unsigned int i = 0; i < serialization_ratio; ++i) 17910447Snilay@cs.wisc.edu propagatePortTransitionInfo(mux_tree, "In" + (String) i, "In"); 18010447Snilay@cs.wisc.edu // Connect last stage of the mux 18110447Snilay@cs.wisc.edu propagatePortTransitionInfo(mux_tree, "Sel" + (String) (number_stages - 1), "OutCK"); 18210447Snilay@cs.wisc.edu // Keep track of the last clock divider 18310447Snilay@cs.wisc.edu ElectricalModel* last_clk_div_dff = NULL; 18410447Snilay@cs.wisc.edu // Find P01 of OutCK 18510447Snilay@cs.wisc.edu double last_P01_CK = getInputPort("OutCK")->getTransitionInfo().getNumberTransitions01(); 18610447Snilay@cs.wisc.edu // Start from the last stage (since it is the stage with no clock division) 18710447Snilay@cs.wisc.edu for (unsigned int i = 0; i < number_stages - 1; ++i) 18810447Snilay@cs.wisc.edu { 18910447Snilay@cs.wisc.edu const String& clk_div_dff_name = "ClkDivDFF_" + (String) (number_stages - i - 2); 19010447Snilay@cs.wisc.edu const String& clk_div_inv_name = "ClkDivINV_" + (String) (number_stages - i - 2); 19110447Snilay@cs.wisc.edu 19210447Snilay@cs.wisc.edu ElectricalModel* clk_div_dff = (ElectricalModel*) getSubInstance(clk_div_dff_name); 19310447Snilay@cs.wisc.edu if (last_clk_div_dff == NULL) 19410447Snilay@cs.wisc.edu propagatePortTransitionInfo(clk_div_dff, "CK", "OutCK"); 19510447Snilay@cs.wisc.edu else 19610447Snilay@cs.wisc.edu propagatePortTransitionInfo(clk_div_dff, "CK", last_clk_div_dff, "Q"); 19710447Snilay@cs.wisc.edu // Since it is a clock divider, P01 is D and Q are simply half the P01 of D and Q of 19810447Snilay@cs.wisc.edu // the input clock 19910447Snilay@cs.wisc.edu if (last_P01_CK != 0) clk_div_dff->getInputPort("D")->setTransitionInfo(TransitionInfo(0.0, last_P01_CK * 0.5, 0.0)); 20010447Snilay@cs.wisc.edu else clk_div_dff->getInputPort("D")->setTransitionInfo(TransitionInfo(0.5, 0.0, 0.5)); 20110447Snilay@cs.wisc.edu 20210447Snilay@cs.wisc.edu clk_div_dff->use(); 20310447Snilay@cs.wisc.edu 20410447Snilay@cs.wisc.edu ElectricalModel* clk_div_inv = (ElectricalModel*) getSubInstance(clk_div_inv_name); 20510447Snilay@cs.wisc.edu propagatePortTransitionInfo(clk_div_inv, "A", clk_div_dff, "Q"); 20610447Snilay@cs.wisc.edu clk_div_inv->use(); 20710447Snilay@cs.wisc.edu 20810447Snilay@cs.wisc.edu // Connect select port of the mux 20910447Snilay@cs.wisc.edu propagatePortTransitionInfo(mux_tree, "Sel" + (String) (number_stages - i - 2), clk_div_dff, "Q"); 21010447Snilay@cs.wisc.edu 21110447Snilay@cs.wisc.edu // Clk divide by 2; 21210447Snilay@cs.wisc.edu last_P01_CK = last_P01_CK * 0.5; 21310447Snilay@cs.wisc.edu // Remember the last clk div DFF 21410447Snilay@cs.wisc.edu last_clk_div_dff = clk_div_dff; 21510447Snilay@cs.wisc.edu } 21610447Snilay@cs.wisc.edu 21710447Snilay@cs.wisc.edu mux_tree->use(); 21810447Snilay@cs.wisc.edu // Set output transition info to be the output transition info of the mux tree 21910447Snilay@cs.wisc.edu propagatePortTransitionInfo("Out", mux_tree, "Out"); 22010447Snilay@cs.wisc.edu } 22110447Snilay@cs.wisc.edu 22210447Snilay@cs.wisc.edu return; 22310447Snilay@cs.wisc.edu } 22410447Snilay@cs.wisc.edu 22510447Snilay@cs.wisc.edu} // namespace DSENT 22610447Snilay@cs.wisc.edu 227