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