MuxTreeSerializer.cc revision 10448
110448Snilay@cs.wisc.edu/* Copyright (c) 2012 Massachusetts Institute of Technology 210448Snilay@cs.wisc.edu * 310448Snilay@cs.wisc.edu * Permission is hereby granted, free of charge, to any person obtaining a copy 410448Snilay@cs.wisc.edu * of this software and associated documentation files (the "Software"), to deal 510448Snilay@cs.wisc.edu * in the Software without restriction, including without limitation the rights 610448Snilay@cs.wisc.edu * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 710448Snilay@cs.wisc.edu * copies of the Software, and to permit persons to whom the Software is 810448Snilay@cs.wisc.edu * furnished to do so, subject to the following conditions: 910448Snilay@cs.wisc.edu * 1010448Snilay@cs.wisc.edu * The above copyright notice and this permission notice shall be included in 1110448Snilay@cs.wisc.edu * all copies or substantial portions of the Software. 1210448Snilay@cs.wisc.edu * 1310448Snilay@cs.wisc.edu * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 1410448Snilay@cs.wisc.edu * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 1510448Snilay@cs.wisc.edu * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 1610448Snilay@cs.wisc.edu * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 1710448Snilay@cs.wisc.edu * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 1810448Snilay@cs.wisc.edu * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 1910448Snilay@cs.wisc.edu * THE SOFTWARE. 2010448Snilay@cs.wisc.edu */ 2110448Snilay@cs.wisc.edu 2210447Snilay@cs.wisc.edu#include "model/electrical/MuxTreeSerializer.h" 2310447Snilay@cs.wisc.edu 2410447Snilay@cs.wisc.edu#include <cmath> 2510447Snilay@cs.wisc.edu 2610447Snilay@cs.wisc.edu#include "model/PortInfo.h" 2710447Snilay@cs.wisc.edu#include "model/TransitionInfo.h" 2810447Snilay@cs.wisc.edu#include "model/EventInfo.h" 2910447Snilay@cs.wisc.edu#include "model/std_cells/StdCellLib.h" 3010447Snilay@cs.wisc.edu#include "model/std_cells/StdCell.h" 3110447Snilay@cs.wisc.edu#include "model/electrical/Multiplexer.h" 3210447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalNet.h" 3310447Snilay@cs.wisc.edu 3410447Snilay@cs.wisc.edunamespace DSENT 3510447Snilay@cs.wisc.edu{ 3610447Snilay@cs.wisc.edu using std::ceil; 3710447Snilay@cs.wisc.edu 3810447Snilay@cs.wisc.edu MuxTreeSerializer::MuxTreeSerializer(const String& instance_name_, const TechModel* tech_model_) 3910447Snilay@cs.wisc.edu : ElectricalModel(instance_name_, tech_model_) 4010447Snilay@cs.wisc.edu { 4110447Snilay@cs.wisc.edu initParameters(); 4210447Snilay@cs.wisc.edu initProperties(); 4310447Snilay@cs.wisc.edu } 4410447Snilay@cs.wisc.edu 4510447Snilay@cs.wisc.edu MuxTreeSerializer::~MuxTreeSerializer() 4610447Snilay@cs.wisc.edu {} 4710447Snilay@cs.wisc.edu 4810447Snilay@cs.wisc.edu void MuxTreeSerializer::initParameters() 4910447Snilay@cs.wisc.edu { 5010447Snilay@cs.wisc.edu addParameterName("InDataRate"); 5110447Snilay@cs.wisc.edu addParameterName("OutDataRate"); 5210447Snilay@cs.wisc.edu addParameterName("InBits"); //Output width will just be input width / serialization ratio 5310447Snilay@cs.wisc.edu } 5410447Snilay@cs.wisc.edu 5510447Snilay@cs.wisc.edu void MuxTreeSerializer::initProperties() 5610447Snilay@cs.wisc.edu { 5710447Snilay@cs.wisc.edu return; 5810447Snilay@cs.wisc.edu } 5910447Snilay@cs.wisc.edu 6010447Snilay@cs.wisc.edu MuxTreeSerializer* MuxTreeSerializer::clone() const 6110447Snilay@cs.wisc.edu { 6210447Snilay@cs.wisc.edu // TODO 6310447Snilay@cs.wisc.edu return NULL; 6410447Snilay@cs.wisc.edu } 6510447Snilay@cs.wisc.edu 6610447Snilay@cs.wisc.edu void MuxTreeSerializer::constructModel() 6710447Snilay@cs.wisc.edu { 6810447Snilay@cs.wisc.edu // Get parameters 6910447Snilay@cs.wisc.edu double in_data_rate = getParameter("InDataRate").toDouble(); 7010447Snilay@cs.wisc.edu double out_data_rate = getParameter("OutDataRate").toDouble(); 7110447Snilay@cs.wisc.edu unsigned int in_bits = getParameter("InBits").toUInt(); 7210447Snilay@cs.wisc.edu 7310447Snilay@cs.wisc.edu // Calculate serialization ratio 7410447Snilay@cs.wisc.edu unsigned int serialization_ratio = (unsigned int) floor(out_data_rate / in_data_rate); 7510447Snilay@cs.wisc.edu ASSERT(serialization_ratio == out_data_rate / in_data_rate, 7610447Snilay@cs.wisc.edu "[Error] " + getInstanceName() + " -> Cannot have non-integer serialization ratios " + 7710447Snilay@cs.wisc.edu "(" + (String) (in_data_rate / out_data_rate) + ")!"); 7810447Snilay@cs.wisc.edu 7910447Snilay@cs.wisc.edu // Calculate output width 8010447Snilay@cs.wisc.edu ASSERT(floor((double) in_bits / serialization_ratio) == (double) in_bits / serialization_ratio, 8110447Snilay@cs.wisc.edu "[Error] " + getInstanceName() + " -> Input width (" + (String) in_bits + ") " + 8210447Snilay@cs.wisc.edu "must be a multiple of the serialization ratio (" + (String) serialization_ratio + ")!"); 8310447Snilay@cs.wisc.edu unsigned int output_bits = in_bits / serialization_ratio; 8410447Snilay@cs.wisc.edu 8510447Snilay@cs.wisc.edu // Calculate the number of multiplexer stages 8610447Snilay@cs.wisc.edu unsigned int number_stages = (unsigned int)ceil(log2((double) serialization_ratio)); 8710447Snilay@cs.wisc.edu 8810447Snilay@cs.wisc.edu // Store calculated values 8910447Snilay@cs.wisc.edu getGenProperties()->set("SerializationRatio", serialization_ratio); 9010447Snilay@cs.wisc.edu getGenProperties()->set("OutputBits", output_bits); 9110447Snilay@cs.wisc.edu getGenProperties()->set("NumberStages", number_stages); 9210447Snilay@cs.wisc.edu 9310447Snilay@cs.wisc.edu // Create ports 9410447Snilay@cs.wisc.edu createInputPort("In", makeNetIndex(0, in_bits-1)); 9510447Snilay@cs.wisc.edu createInputPort("OutCK"); 9610447Snilay@cs.wisc.edu createOutputPort("Out", makeNetIndex(0, output_bits-1)); 9710447Snilay@cs.wisc.edu 9810447Snilay@cs.wisc.edu //Create energy, power, and area results 9910447Snilay@cs.wisc.edu createElectricalResults(); 10010447Snilay@cs.wisc.edu createElectricalEventResult("Serialize"); 10110447Snilay@cs.wisc.edu getEventInfo("Serialize")->setTransitionInfo("OutCK", TransitionInfo(0.0, (double) serialization_ratio / 2.0, 0.0)); 10210447Snilay@cs.wisc.edu //Set conditions during idle state 10310447Snilay@cs.wisc.edu getEventInfo("Idle")->setStaticTransitionInfos(); 10410447Snilay@cs.wisc.edu getEventInfo("Idle")->setTransitionInfo("OutCK", TransitionInfo(0.0, (double) serialization_ratio / 2.0, 0.0)); 10510447Snilay@cs.wisc.edu 10610447Snilay@cs.wisc.edu // Mark OutCK as a false path (since timing tool will do strange stuff due to all the clock divides and stuff) 10710447Snilay@cs.wisc.edu getNet("OutCK")->setFalsePath(true); 10810447Snilay@cs.wisc.edu 10910447Snilay@cs.wisc.edu // Create mux-tree instance 11010447Snilay@cs.wisc.edu if (serialization_ratio == 1) 11110447Snilay@cs.wisc.edu { 11210447Snilay@cs.wisc.edu // No need to do anything, hohoho 11310447Snilay@cs.wisc.edu assign("Out", "In"); 11410447Snilay@cs.wisc.edu } 11510447Snilay@cs.wisc.edu else 11610447Snilay@cs.wisc.edu { 11710447Snilay@cs.wisc.edu // Create multiplexer 11810447Snilay@cs.wisc.edu String mux_tree_name = "MuxTree"; 11910447Snilay@cs.wisc.edu ElectricalModel* mux_tree = new Multiplexer(mux_tree_name, getTechModel()); 12010447Snilay@cs.wisc.edu mux_tree->setParameter("NumberInputs", serialization_ratio); 12110447Snilay@cs.wisc.edu mux_tree->setParameter("NumberBits", output_bits); 12210447Snilay@cs.wisc.edu mux_tree->setParameter("BitDuplicate", "TRUE"); 12310447Snilay@cs.wisc.edu mux_tree->construct(); 12410447Snilay@cs.wisc.edu // Create nets 12510447Snilay@cs.wisc.edu if (number_stages > 1) 12610447Snilay@cs.wisc.edu createNet("MuxSel_b", makeNetIndex(0, number_stages-2)); 12710447Snilay@cs.wisc.edu createNet("MuxSel", makeNetIndex(0, number_stages-1)); 12810447Snilay@cs.wisc.edu assign("MuxSel", makeNetIndex(number_stages-1), "OutCK"); 12910447Snilay@cs.wisc.edu // Create reindexed net (to help out with indexing) 13010447Snilay@cs.wisc.edu createNet("InTmp", makeNetIndex(0, in_bits-1)); 13110447Snilay@cs.wisc.edu for (unsigned int i = 0; i < serialization_ratio; ++i) 13210447Snilay@cs.wisc.edu for (unsigned int j = 0; j < output_bits; ++j) 13310447Snilay@cs.wisc.edu assign("InTmp", makeNetIndex(i*output_bits+j), "In", makeNetIndex(j*serialization_ratio+i)); 13410447Snilay@cs.wisc.edu 13510447Snilay@cs.wisc.edu // Connect ports 13610447Snilay@cs.wisc.edu for (unsigned int i = 0; i < serialization_ratio; ++i) 13710447Snilay@cs.wisc.edu portConnect(mux_tree, "In" + (String) i, "InTmp", makeNetIndex(i*output_bits, (i+1)*output_bits-1)); 13810447Snilay@cs.wisc.edu 13910447Snilay@cs.wisc.edu for (unsigned int i = 0; i < number_stages; ++i) 14010447Snilay@cs.wisc.edu portConnect(mux_tree, "Sel" + (String) i, "MuxSel", makeNetIndex(i)); 14110447Snilay@cs.wisc.edu portConnect(mux_tree, "Out", "Out"); 14210447Snilay@cs.wisc.edu 14310447Snilay@cs.wisc.edu // Add subinstance and events 14410447Snilay@cs.wisc.edu addSubInstances(mux_tree, 1.0); 14510447Snilay@cs.wisc.edu addElectricalSubResults(mux_tree, 1.0); 14610447Snilay@cs.wisc.edu // Add serialize event/power 14710447Snilay@cs.wisc.edu getEventResult("Serialize")->addSubResult(mux_tree->getEventResult("Mux"), mux_tree_name, 1.0); 14810447Snilay@cs.wisc.edu 14910447Snilay@cs.wisc.edu // Create clock dividers (assumes power of 2...), don't need divider for fastest output stage 15010447Snilay@cs.wisc.edu for (unsigned int i = 0; i < number_stages - 1; ++i) 15110447Snilay@cs.wisc.edu { 15210447Snilay@cs.wisc.edu // Clk dividing registers 15310447Snilay@cs.wisc.edu const String& clk_div_dff_name = "ClkDivDFF_" + (String) i; 15410447Snilay@cs.wisc.edu StdCell* clk_div_dff = getTechModel()->getStdCellLib()->createStdCell("DFFQ", clk_div_dff_name); 15510447Snilay@cs.wisc.edu clk_div_dff->construct(); 15610447Snilay@cs.wisc.edu portConnect(clk_div_dff, "D", "MuxSel_b", makeNetIndex(i)); 15710447Snilay@cs.wisc.edu portConnect(clk_div_dff, "Q", "MuxSel", makeNetIndex(i)); 15810447Snilay@cs.wisc.edu portConnect(clk_div_dff, "CK", "MuxSel", makeNetIndex(i+1)); 15910447Snilay@cs.wisc.edu addSubInstances(clk_div_dff, 1.0); 16010447Snilay@cs.wisc.edu addElectricalSubResults(clk_div_dff, 1.0); 16110447Snilay@cs.wisc.edu 16210447Snilay@cs.wisc.edu // Inversions 16310447Snilay@cs.wisc.edu const String& clk_div_inv_name = "ClkDivINV_" + (String) i; 16410447Snilay@cs.wisc.edu StdCell* clk_div_inv = getTechModel()->getStdCellLib()->createStdCell("INV", clk_div_inv_name); 16510447Snilay@cs.wisc.edu clk_div_inv->construct(); 16610447Snilay@cs.wisc.edu portConnect(clk_div_inv, "A", "MuxSel", makeNetIndex(i)); 16710447Snilay@cs.wisc.edu portConnect(clk_div_inv, "Y", "MuxSel_b", makeNetIndex(i)); 16810447Snilay@cs.wisc.edu addSubInstances(clk_div_inv, 1.0); 16910447Snilay@cs.wisc.edu addElectricalSubResults(clk_div_inv, 1.0); 17010447Snilay@cs.wisc.edu 17110447Snilay@cs.wisc.edu getEventResult("Serialize")->addSubResult(clk_div_dff->getEventResult("CK"), clk_div_dff_name, 1.0); 17210447Snilay@cs.wisc.edu getEventResult("Serialize")->addSubResult(clk_div_dff->getEventResult("DFFD"), clk_div_dff_name, 1.0); 17310447Snilay@cs.wisc.edu getEventResult("Serialize")->addSubResult(clk_div_dff->getEventResult("DFFQ"), clk_div_dff_name, 1.0); 17410447Snilay@cs.wisc.edu getEventResult("Serialize")->addSubResult(clk_div_inv->getEventResult("INV"), clk_div_inv_name, 1.0); 17510447Snilay@cs.wisc.edu } 17610447Snilay@cs.wisc.edu } 17710447Snilay@cs.wisc.edu 17810447Snilay@cs.wisc.edu return; 17910447Snilay@cs.wisc.edu } 18010447Snilay@cs.wisc.edu 18110447Snilay@cs.wisc.edu void MuxTreeSerializer::propagateTransitionInfo() 18210447Snilay@cs.wisc.edu { 18310447Snilay@cs.wisc.edu // Get some generated properties 18410447Snilay@cs.wisc.edu const unsigned int serialization_ratio = getGenProperties()->get("SerializationRatio"); 18510447Snilay@cs.wisc.edu const unsigned int number_stages = getGenProperties()->get("NumberStages"); 18610447Snilay@cs.wisc.edu 18710447Snilay@cs.wisc.edu // Set transition info of the mux tree and clock divide DFF 18810447Snilay@cs.wisc.edu if (serialization_ratio == 1) 18910447Snilay@cs.wisc.edu { 19010447Snilay@cs.wisc.edu // If no serialization, then just propagate input transition info to output port 19110447Snilay@cs.wisc.edu propagatePortTransitionInfo("Out", "In"); 19210447Snilay@cs.wisc.edu } 19310447Snilay@cs.wisc.edu else 19410447Snilay@cs.wisc.edu { 19510447Snilay@cs.wisc.edu 19610447Snilay@cs.wisc.edu // Propagate transition probabilities to the mux tree 19710447Snilay@cs.wisc.edu ElectricalModel* mux_tree = (ElectricalModel*) getSubInstance("MuxTree"); 19810447Snilay@cs.wisc.edu // All input ports of the mux have the same probability 19910447Snilay@cs.wisc.edu for (unsigned int i = 0; i < serialization_ratio; ++i) 20010447Snilay@cs.wisc.edu propagatePortTransitionInfo(mux_tree, "In" + (String) i, "In"); 20110447Snilay@cs.wisc.edu // Connect last stage of the mux 20210447Snilay@cs.wisc.edu propagatePortTransitionInfo(mux_tree, "Sel" + (String) (number_stages - 1), "OutCK"); 20310447Snilay@cs.wisc.edu // Keep track of the last clock divider 20410447Snilay@cs.wisc.edu ElectricalModel* last_clk_div_dff = NULL; 20510447Snilay@cs.wisc.edu // Find P01 of OutCK 20610447Snilay@cs.wisc.edu double last_P01_CK = getInputPort("OutCK")->getTransitionInfo().getNumberTransitions01(); 20710447Snilay@cs.wisc.edu // Start from the last stage (since it is the stage with no clock division) 20810447Snilay@cs.wisc.edu for (unsigned int i = 0; i < number_stages - 1; ++i) 20910447Snilay@cs.wisc.edu { 21010447Snilay@cs.wisc.edu const String& clk_div_dff_name = "ClkDivDFF_" + (String) (number_stages - i - 2); 21110447Snilay@cs.wisc.edu const String& clk_div_inv_name = "ClkDivINV_" + (String) (number_stages - i - 2); 21210447Snilay@cs.wisc.edu 21310447Snilay@cs.wisc.edu ElectricalModel* clk_div_dff = (ElectricalModel*) getSubInstance(clk_div_dff_name); 21410447Snilay@cs.wisc.edu if (last_clk_div_dff == NULL) 21510447Snilay@cs.wisc.edu propagatePortTransitionInfo(clk_div_dff, "CK", "OutCK"); 21610447Snilay@cs.wisc.edu else 21710447Snilay@cs.wisc.edu propagatePortTransitionInfo(clk_div_dff, "CK", last_clk_div_dff, "Q"); 21810447Snilay@cs.wisc.edu // Since it is a clock divider, P01 is D and Q are simply half the P01 of D and Q of 21910447Snilay@cs.wisc.edu // the input clock 22010447Snilay@cs.wisc.edu if (last_P01_CK != 0) clk_div_dff->getInputPort("D")->setTransitionInfo(TransitionInfo(0.0, last_P01_CK * 0.5, 0.0)); 22110447Snilay@cs.wisc.edu else clk_div_dff->getInputPort("D")->setTransitionInfo(TransitionInfo(0.5, 0.0, 0.5)); 22210447Snilay@cs.wisc.edu 22310447Snilay@cs.wisc.edu clk_div_dff->use(); 22410447Snilay@cs.wisc.edu 22510447Snilay@cs.wisc.edu ElectricalModel* clk_div_inv = (ElectricalModel*) getSubInstance(clk_div_inv_name); 22610447Snilay@cs.wisc.edu propagatePortTransitionInfo(clk_div_inv, "A", clk_div_dff, "Q"); 22710447Snilay@cs.wisc.edu clk_div_inv->use(); 22810447Snilay@cs.wisc.edu 22910447Snilay@cs.wisc.edu // Connect select port of the mux 23010447Snilay@cs.wisc.edu propagatePortTransitionInfo(mux_tree, "Sel" + (String) (number_stages - i - 2), clk_div_dff, "Q"); 23110447Snilay@cs.wisc.edu 23210447Snilay@cs.wisc.edu // Clk divide by 2; 23310447Snilay@cs.wisc.edu last_P01_CK = last_P01_CK * 0.5; 23410447Snilay@cs.wisc.edu // Remember the last clk div DFF 23510447Snilay@cs.wisc.edu last_clk_div_dff = clk_div_dff; 23610447Snilay@cs.wisc.edu } 23710447Snilay@cs.wisc.edu 23810447Snilay@cs.wisc.edu mux_tree->use(); 23910447Snilay@cs.wisc.edu // Set output transition info to be the output transition info of the mux tree 24010447Snilay@cs.wisc.edu propagatePortTransitionInfo("Out", mux_tree, "Out"); 24110447Snilay@cs.wisc.edu } 24210447Snilay@cs.wisc.edu 24310447Snilay@cs.wisc.edu return; 24410447Snilay@cs.wisc.edu } 24510447Snilay@cs.wisc.edu 24610447Snilay@cs.wisc.edu} // namespace DSENT 24710447Snilay@cs.wisc.edu 248