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/std_cells/BUF.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/CellMacros.h"
3110447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalNet.h"
3210447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalDriver.h"
3310447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalLoad.h"
3410447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalDelay.h"
3510447Snilay@cs.wisc.edu
3610447Snilay@cs.wisc.edunamespace DSENT
3710447Snilay@cs.wisc.edu{
3810447Snilay@cs.wisc.edu    using std::max;
3910447Snilay@cs.wisc.edu
4010447Snilay@cs.wisc.edu    BUF::BUF(const String& instance_name_, const TechModel* tech_model_)
4110447Snilay@cs.wisc.edu        : StdCell(instance_name_, tech_model_)
4210447Snilay@cs.wisc.edu    {
4310447Snilay@cs.wisc.edu        initProperties();
4410447Snilay@cs.wisc.edu    }
4510447Snilay@cs.wisc.edu
4610447Snilay@cs.wisc.edu    BUF::~BUF()
4710447Snilay@cs.wisc.edu    {}
4810447Snilay@cs.wisc.edu
4910447Snilay@cs.wisc.edu    void BUF::initProperties()
5010447Snilay@cs.wisc.edu    {
5110447Snilay@cs.wisc.edu        return;
5210447Snilay@cs.wisc.edu    }
5310447Snilay@cs.wisc.edu
5410447Snilay@cs.wisc.edu    void BUF::constructModel()
5510447Snilay@cs.wisc.edu    {
5610447Snilay@cs.wisc.edu        createInputPort("A");
5710447Snilay@cs.wisc.edu        createOutputPort("Y");
5810447Snilay@cs.wisc.edu
5910447Snilay@cs.wisc.edu        createLoad("A_Cap");
6010447Snilay@cs.wisc.edu        createDelay("A_to_Y_delay");
6110447Snilay@cs.wisc.edu        createDriver("Y_Ron", true);
6210447Snilay@cs.wisc.edu
6310447Snilay@cs.wisc.edu        ElectricalLoad* a_cap = getLoad("A_Cap");
6410447Snilay@cs.wisc.edu        ElectricalDelay* a_to_y_delay = getDelay("A_to_Y_delay");
6510447Snilay@cs.wisc.edu        ElectricalDriver* y_ron = getDriver("Y_Ron");
6610447Snilay@cs.wisc.edu
6710447Snilay@cs.wisc.edu        getNet("A")->addDownstreamNode(a_cap);
6810447Snilay@cs.wisc.edu        a_cap->addDownstreamNode(a_to_y_delay);
6910447Snilay@cs.wisc.edu        a_to_y_delay->addDownstreamNode(y_ron);
7010447Snilay@cs.wisc.edu        y_ron->addDownstreamNode(getNet("Y"));
7110447Snilay@cs.wisc.edu
7210447Snilay@cs.wisc.edu        // Create Area result
7310447Snilay@cs.wisc.edu        // Create NDD Power result
7410447Snilay@cs.wisc.edu        createElectricalAtomicResults();
7510447Snilay@cs.wisc.edu        // Create OR Event Energy Result
7610447Snilay@cs.wisc.edu        createElectricalEventAtomicResult("BUF");
7710447Snilay@cs.wisc.edu
7810447Snilay@cs.wisc.edu        getEventInfo("Idle")->setStaticTransitionInfos();
7910447Snilay@cs.wisc.edu
8010447Snilay@cs.wisc.edu        return;
8110447Snilay@cs.wisc.edu    }
8210447Snilay@cs.wisc.edu
8310447Snilay@cs.wisc.edu    void BUF::updateModel()
8410447Snilay@cs.wisc.edu    {
8510447Snilay@cs.wisc.edu        // Get parameters
8610447Snilay@cs.wisc.edu        double drive_strength = getDrivingStrength();
8710447Snilay@cs.wisc.edu        Map<double>* cache = getTechModel()->getStdCellLib()->getStdCellCache();
8810447Snilay@cs.wisc.edu
8910447Snilay@cs.wisc.edu        // Standard cell cache string
9010447Snilay@cs.wisc.edu        const String& cell_name = "BUF_X" + (String) drive_strength;
9110447Snilay@cs.wisc.edu
9210447Snilay@cs.wisc.edu        // Get timing parameters
9310447Snilay@cs.wisc.edu        getLoad("A_Cap")->setLoadCap(cache->get(cell_name + "->Cap->A"));
9410447Snilay@cs.wisc.edu        getDelay("A_to_Y_delay")->setDelay(cache->get(cell_name + "->Delay->A_to_Y"));
9510447Snilay@cs.wisc.edu        getDriver("Y_Ron")->setOutputRes(cache->get(cell_name + "->DriveRes->Y"));
9610447Snilay@cs.wisc.edu
9710447Snilay@cs.wisc.edu        // Set the cell area
9810447Snilay@cs.wisc.edu        getAreaResult("Active")->setValue(cache->get(cell_name + "->ActiveArea"));
9910447Snilay@cs.wisc.edu        getAreaResult("Metal1Wire")->setValue(cache->get(cell_name + "->ActiveArea"));
10010447Snilay@cs.wisc.edu
10110447Snilay@cs.wisc.edu        return;
10210447Snilay@cs.wisc.edu    }
10310447Snilay@cs.wisc.edu
10410447Snilay@cs.wisc.edu    void BUF::evaluateModel()
10510447Snilay@cs.wisc.edu    {
10610447Snilay@cs.wisc.edu        return;
10710447Snilay@cs.wisc.edu    }
10810447Snilay@cs.wisc.edu
10910447Snilay@cs.wisc.edu    void BUF::useModel()
11010447Snilay@cs.wisc.edu    {
11110447Snilay@cs.wisc.edu        // Get parameters
11210447Snilay@cs.wisc.edu        double drive_strength = getDrivingStrength();
11310447Snilay@cs.wisc.edu        Map<double>* cache = getTechModel()->getStdCellLib()->getStdCellCache();
11410447Snilay@cs.wisc.edu
11510447Snilay@cs.wisc.edu        // Stadard cell cache string
11610447Snilay@cs.wisc.edu        const String& cell_name = "BUF_X" + (String) drive_strength;
11710447Snilay@cs.wisc.edu
11810447Snilay@cs.wisc.edu        // Propagate the transition info and get the 0->1 transtion count
11910447Snilay@cs.wisc.edu        propagateTransitionInfo();
12010447Snilay@cs.wisc.edu        double P_A = getInputPort("A")->getTransitionInfo().getProbability1();
12110447Snilay@cs.wisc.edu        double Y_num_trans_01 = getOutputPort("Y")->getTransitionInfo().getNumberTransitions01();
12210447Snilay@cs.wisc.edu
12310447Snilay@cs.wisc.edu        // Calculate leakage
12410447Snilay@cs.wisc.edu        double leakage = 0;
12510447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->!A") * (1 - P_A);
12610447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->A") * P_A;
12710447Snilay@cs.wisc.edu        getNddPowerResult("Leakage")->setValue(leakage);
12810447Snilay@cs.wisc.edu
12910447Snilay@cs.wisc.edu        // Get VDD
13010447Snilay@cs.wisc.edu        double vdd = getTechModel()->get("Vdd");
13110447Snilay@cs.wisc.edu
13210447Snilay@cs.wisc.edu        // Get capacitances
13310447Snilay@cs.wisc.edu        double y_b_cap = cache->get(cell_name + "->Cap->Y_b");
13410447Snilay@cs.wisc.edu        double y_cap = cache->get(cell_name + "->Cap->Y");
13510447Snilay@cs.wisc.edu        double y_load_cap = getNet("Y")->getTotalDownstreamCap();
13610447Snilay@cs.wisc.edu
13710447Snilay@cs.wisc.edu        // Calculate BUFEvent energy
13810447Snilay@cs.wisc.edu        double energy_per_trans_01 = (y_b_cap + y_cap + y_load_cap) * vdd * vdd;
13910447Snilay@cs.wisc.edu        getEventResult("BUF")->setValue(energy_per_trans_01 * Y_num_trans_01);
14010447Snilay@cs.wisc.edu
14110447Snilay@cs.wisc.edu        return;
14210447Snilay@cs.wisc.edu    }
14310447Snilay@cs.wisc.edu
14410447Snilay@cs.wisc.edu    void BUF::propagateTransitionInfo()
14510447Snilay@cs.wisc.edu    {
14610447Snilay@cs.wisc.edu        // Get input signal transition info
14710447Snilay@cs.wisc.edu        const TransitionInfo& trans_A = getInputPort("A")->getTransitionInfo();
14810447Snilay@cs.wisc.edu
14910447Snilay@cs.wisc.edu        getOutputPort("Y")->setTransitionInfo(trans_A);
15010447Snilay@cs.wisc.edu        return;
15110447Snilay@cs.wisc.edu    }
15210447Snilay@cs.wisc.edu
15310447Snilay@cs.wisc.edu    // Creates the standard cell, characterizes and abstracts away the details
15410447Snilay@cs.wisc.edu    void BUF::cacheStdCell(StdCellLib* cell_lib_, double drive_strength_)
15510447Snilay@cs.wisc.edu    {
15610447Snilay@cs.wisc.edu        // Get parameters
15710447Snilay@cs.wisc.edu        double gate_pitch = cell_lib_->getTechModel()->get("Gate->PitchContacted");
15810447Snilay@cs.wisc.edu        Map<double>* cache = cell_lib_->getStdCellCache();
15910447Snilay@cs.wisc.edu
16010447Snilay@cs.wisc.edu        // Stadard cell cache string
16110447Snilay@cs.wisc.edu        const String& cell_name = "BUF_X" + (String) drive_strength_;
16210447Snilay@cs.wisc.edu
16310447Snilay@cs.wisc.edu        Log::printLine("=== " + cell_name + " ===");
16410447Snilay@cs.wisc.edu
16510447Snilay@cs.wisc.edu        // Now actually build the full standard cell model
16610447Snilay@cs.wisc.edu        createInputPort("A");
16710447Snilay@cs.wisc.edu        createOutputPort("Y");
16810447Snilay@cs.wisc.edu
16910447Snilay@cs.wisc.edu        createNet("Y_b");
17010447Snilay@cs.wisc.edu
17110447Snilay@cs.wisc.edu        // Adds macros
17210447Snilay@cs.wisc.edu        CellMacros::addInverter(this, "INV0", false, true, "A", "Y_b");
17310447Snilay@cs.wisc.edu        CellMacros::addInverter(this, "INV1", false, true, "Y_b", "Y");
17410447Snilay@cs.wisc.edu
17510447Snilay@cs.wisc.edu        // Update macros
17610447Snilay@cs.wisc.edu        CellMacros::updateInverter(this, "INV0", drive_strength_ * 0.367);
17710447Snilay@cs.wisc.edu        CellMacros::updateInverter(this, "INV1", drive_strength_ * 1.0);
17810447Snilay@cs.wisc.edu
17910447Snilay@cs.wisc.edu        // Cache area result
18010447Snilay@cs.wisc.edu        double area = 0.0;
18110447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * 1;
18210447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INV0_GatePitches").toDouble();
18310447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INV1_GatePitches").toDouble();
18410447Snilay@cs.wisc.edu        cache->set(cell_name + "->ActiveArea", area);
18510447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->ActiveArea=" + (String)area);
18610447Snilay@cs.wisc.edu
18710447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
18810447Snilay@cs.wisc.edu        // Leakage Model Calculation
18910447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
19010447Snilay@cs.wisc.edu        // Cache leakage power results (for every single signal combination)
19110447Snilay@cs.wisc.edu        double leakage_0 = 0.0; // !A
19210447Snilay@cs.wisc.edu        double leakage_1 = 0.0; // A
19310447Snilay@cs.wisc.edu
19410447Snilay@cs.wisc.edu        leakage_0 += getGenProperties()->get("INV0_LeakagePower_0").toDouble();
19510447Snilay@cs.wisc.edu        leakage_0 += getGenProperties()->get("INV1_LeakagePower_1").toDouble();
19610447Snilay@cs.wisc.edu
19710447Snilay@cs.wisc.edu        leakage_1 += getGenProperties()->get("INV0_LeakagePower_1").toDouble();
19810447Snilay@cs.wisc.edu        leakage_1 += getGenProperties()->get("INV1_LeakagePower_0").toDouble();
19910447Snilay@cs.wisc.edu
20010447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->!A", leakage_0);
20110447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->A", leakage_1);
20210447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->!A=" + (String) leakage_0);
20310447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->A=" + (String) leakage_1);
20410447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
20510447Snilay@cs.wisc.edu
20610447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
20710447Snilay@cs.wisc.edu        // Get Node Capacitances
20810447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
20910447Snilay@cs.wisc.edu        double a_cap = getNet("A")->getTotalDownstreamCap();
21010447Snilay@cs.wisc.edu        double y_b_cap = getNet("Y_b")->getTotalDownstreamCap();
21110447Snilay@cs.wisc.edu        double y_cap = getNet("Y")->getTotalDownstreamCap();
21210447Snilay@cs.wisc.edu
21310447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->A", a_cap);
21410447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->Y_b", y_b_cap);
21510447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->Y", y_cap);
21610447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->A_Cap=" + (String) a_cap);
21710447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->Y_b_Cap=" + (String) y_b_cap);
21810447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->Y_Cap=" + (String) y_cap);
21910447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
22010447Snilay@cs.wisc.edu
22110447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
22210447Snilay@cs.wisc.edu        // Build Internal Delay Model
22310447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
22410447Snilay@cs.wisc.edu        double y_ron = getDriver("INV1_RonZN")->getOutputRes();
22510447Snilay@cs.wisc.edu        double a_to_y_delay = getDriver("INV0_RonZN")->calculateDelay() +
22610447Snilay@cs.wisc.edu                              getDriver("INV1_RonZN")->calculateDelay();
22710447Snilay@cs.wisc.edu
22810447Snilay@cs.wisc.edu        cache->set(cell_name + "->DriveRes->Y", y_ron);
22910447Snilay@cs.wisc.edu        cache->set(cell_name + "->Delay->A_to_Y", a_to_y_delay);
23010447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->DriveRes->Y=" + (String) y_ron);
23110447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Delay->A_to_Y=" + (String) a_to_y_delay);
23210447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
23310447Snilay@cs.wisc.edu
23410447Snilay@cs.wisc.edu        return;
23510447Snilay@cs.wisc.edu    }
23610447Snilay@cs.wisc.edu} // namespace DSENT
23710447Snilay@cs.wisc.edu
238