OR2.cc revision 10447
110447Snilay@cs.wisc.edu#include "model/std_cells/OR2.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/CellMacros.h"
1010447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalNet.h"
1110447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalDriver.h"
1210447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalLoad.h"
1310447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalDelay.h"
1410447Snilay@cs.wisc.edu
1510447Snilay@cs.wisc.edunamespace DSENT
1610447Snilay@cs.wisc.edu{
1710447Snilay@cs.wisc.edu    using std::max;
1810447Snilay@cs.wisc.edu
1910447Snilay@cs.wisc.edu    OR2::OR2(const String& instance_name_, const TechModel* tech_model_)
2010447Snilay@cs.wisc.edu        : StdCell(instance_name_, tech_model_)
2110447Snilay@cs.wisc.edu    {
2210447Snilay@cs.wisc.edu        initProperties();
2310447Snilay@cs.wisc.edu    }
2410447Snilay@cs.wisc.edu
2510447Snilay@cs.wisc.edu    OR2::~OR2()
2610447Snilay@cs.wisc.edu    {}
2710447Snilay@cs.wisc.edu
2810447Snilay@cs.wisc.edu    void OR2::initProperties()
2910447Snilay@cs.wisc.edu    {
3010447Snilay@cs.wisc.edu        return;
3110447Snilay@cs.wisc.edu    }
3210447Snilay@cs.wisc.edu
3310447Snilay@cs.wisc.edu    void OR2::constructModel()
3410447Snilay@cs.wisc.edu    {
3510447Snilay@cs.wisc.edu        createInputPort("A");
3610447Snilay@cs.wisc.edu        createInputPort("B");
3710447Snilay@cs.wisc.edu        createOutputPort("Y");
3810447Snilay@cs.wisc.edu
3910447Snilay@cs.wisc.edu        createLoad("A_Cap");
4010447Snilay@cs.wisc.edu        createLoad("B_Cap");
4110447Snilay@cs.wisc.edu        createDelay("A_to_Y_delay");
4210447Snilay@cs.wisc.edu        createDelay("B_to_Y_delay");
4310447Snilay@cs.wisc.edu        createDriver("Y_Ron", true);
4410447Snilay@cs.wisc.edu
4510447Snilay@cs.wisc.edu        ElectricalLoad* a_cap = getLoad("A_Cap");
4610447Snilay@cs.wisc.edu        ElectricalLoad* b_cap = getLoad("B_Cap");
4710447Snilay@cs.wisc.edu        ElectricalDelay* a_to_y_delay = getDelay("A_to_Y_delay");
4810447Snilay@cs.wisc.edu        ElectricalDelay* b_to_y_delay = getDelay("B_to_Y_delay");
4910447Snilay@cs.wisc.edu        ElectricalDriver* y_ron = getDriver("Y_Ron");
5010447Snilay@cs.wisc.edu
5110447Snilay@cs.wisc.edu        getNet("A")->addDownstreamNode(a_cap);
5210447Snilay@cs.wisc.edu        getNet("B")->addDownstreamNode(b_cap);
5310447Snilay@cs.wisc.edu        a_cap->addDownstreamNode(a_to_y_delay);
5410447Snilay@cs.wisc.edu        b_cap->addDownstreamNode(b_to_y_delay);
5510447Snilay@cs.wisc.edu        a_to_y_delay->addDownstreamNode(y_ron);
5610447Snilay@cs.wisc.edu        b_to_y_delay->addDownstreamNode(y_ron);
5710447Snilay@cs.wisc.edu        y_ron->addDownstreamNode(getNet("Y"));
5810447Snilay@cs.wisc.edu
5910447Snilay@cs.wisc.edu        // Create Area result
6010447Snilay@cs.wisc.edu        // Create NDD Power result
6110447Snilay@cs.wisc.edu        createElectricalAtomicResults();
6210447Snilay@cs.wisc.edu        // Create OR Event Energy Result
6310447Snilay@cs.wisc.edu        createElectricalEventAtomicResult("OR2");
6410447Snilay@cs.wisc.edu
6510447Snilay@cs.wisc.edu        getEventInfo("Idle")->setStaticTransitionInfos();
6610447Snilay@cs.wisc.edu
6710447Snilay@cs.wisc.edu        return;
6810447Snilay@cs.wisc.edu    }
6910447Snilay@cs.wisc.edu
7010447Snilay@cs.wisc.edu    void OR2::updateModel()
7110447Snilay@cs.wisc.edu    {
7210447Snilay@cs.wisc.edu        // Get parameters
7310447Snilay@cs.wisc.edu        double drive_strength = getDrivingStrength();
7410447Snilay@cs.wisc.edu        Map<double>* cache = getTechModel()->getStdCellLib()->getStdCellCache();
7510447Snilay@cs.wisc.edu
7610447Snilay@cs.wisc.edu        // Standard cell cache string
7710447Snilay@cs.wisc.edu        const String& cell_name = "OR2_X" + (String) drive_strength;
7810447Snilay@cs.wisc.edu
7910447Snilay@cs.wisc.edu        // Get timing parameters
8010447Snilay@cs.wisc.edu        getLoad("A_Cap")->setLoadCap(cache->get(cell_name + "->Cap->A"));
8110447Snilay@cs.wisc.edu        getLoad("B_Cap")->setLoadCap(cache->get(cell_name + "->Cap->B"));
8210447Snilay@cs.wisc.edu        getDelay("A_to_Y_delay")->setDelay(cache->get(cell_name + "->Delay->A_to_Y"));
8310447Snilay@cs.wisc.edu        getDelay("B_to_Y_delay")->setDelay(cache->get(cell_name + "->Delay->B_to_Y"));
8410447Snilay@cs.wisc.edu        getDriver("Y_Ron")->setOutputRes(cache->get(cell_name + "->DriveRes->Y"));
8510447Snilay@cs.wisc.edu
8610447Snilay@cs.wisc.edu        // Set the cell area
8710447Snilay@cs.wisc.edu        getAreaResult("Active")->setValue(cache->get(cell_name + "->ActiveArea"));
8810447Snilay@cs.wisc.edu        getAreaResult("Metal1Wire")->setValue(cache->get(cell_name + "->ActiveArea"));
8910447Snilay@cs.wisc.edu
9010447Snilay@cs.wisc.edu        return;
9110447Snilay@cs.wisc.edu    }
9210447Snilay@cs.wisc.edu
9310447Snilay@cs.wisc.edu    void OR2::evaluateModel()
9410447Snilay@cs.wisc.edu    {
9510447Snilay@cs.wisc.edu        return;
9610447Snilay@cs.wisc.edu    }
9710447Snilay@cs.wisc.edu
9810447Snilay@cs.wisc.edu    void OR2::useModel()
9910447Snilay@cs.wisc.edu    {
10010447Snilay@cs.wisc.edu        // Get parameters
10110447Snilay@cs.wisc.edu        double drive_strength = getDrivingStrength();
10210447Snilay@cs.wisc.edu        Map<double>* cache = getTechModel()->getStdCellLib()->getStdCellCache();
10310447Snilay@cs.wisc.edu
10410447Snilay@cs.wisc.edu        // Stadard cell cache string
10510447Snilay@cs.wisc.edu        const String& cell_name = "OR2_X" + (String) drive_strength;
10610447Snilay@cs.wisc.edu
10710447Snilay@cs.wisc.edu        // Propagate the transition info and get the 0->1 transtion count
10810447Snilay@cs.wisc.edu        propagateTransitionInfo();
10910447Snilay@cs.wisc.edu        double P_A = getInputPort("A")->getTransitionInfo().getProbability1();
11010447Snilay@cs.wisc.edu        double P_B = getInputPort("B")->getTransitionInfo().getProbability1();
11110447Snilay@cs.wisc.edu        double Y_num_trans_01 = getOutputPort("Y")->getTransitionInfo().getNumberTransitions01();
11210447Snilay@cs.wisc.edu
11310447Snilay@cs.wisc.edu        // Calculate leakage
11410447Snilay@cs.wisc.edu        double leakage = 0;
11510447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->!A!B") * (1 - P_A) * (1 - P_B);
11610447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->!AB") * (1 - P_A) * P_B;
11710447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->A!B") * P_A * (1 - P_B);
11810447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->AB") * P_A * P_B;
11910447Snilay@cs.wisc.edu        getNddPowerResult("Leakage")->setValue(leakage);
12010447Snilay@cs.wisc.edu
12110447Snilay@cs.wisc.edu        // Get VDD
12210447Snilay@cs.wisc.edu        double vdd = getTechModel()->get("Vdd");
12310447Snilay@cs.wisc.edu
12410447Snilay@cs.wisc.edu        // Get capacitances
12510447Snilay@cs.wisc.edu        double y_b_cap = cache->get(cell_name + "->Cap->Y_b");
12610447Snilay@cs.wisc.edu        double y_cap = cache->get(cell_name + "->Cap->Y");
12710447Snilay@cs.wisc.edu        double y_load_cap = getNet("Y")->getTotalDownstreamCap();
12810447Snilay@cs.wisc.edu
12910447Snilay@cs.wisc.edu        // Calculate OR2Event energy
13010447Snilay@cs.wisc.edu        double energy_per_trans_01 = (y_b_cap + y_cap + y_load_cap) * vdd * vdd;
13110447Snilay@cs.wisc.edu        getEventResult("OR2")->setValue(energy_per_trans_01 * Y_num_trans_01);
13210447Snilay@cs.wisc.edu
13310447Snilay@cs.wisc.edu        return;
13410447Snilay@cs.wisc.edu    }
13510447Snilay@cs.wisc.edu
13610447Snilay@cs.wisc.edu    void OR2::propagateTransitionInfo()
13710447Snilay@cs.wisc.edu    {
13810447Snilay@cs.wisc.edu        // Get input signal transition info
13910447Snilay@cs.wisc.edu        const TransitionInfo& trans_A = getInputPort("A")->getTransitionInfo();
14010447Snilay@cs.wisc.edu        const TransitionInfo& trans_B = getInputPort("B")->getTransitionInfo();
14110447Snilay@cs.wisc.edu
14210447Snilay@cs.wisc.edu        double max_freq_mult = max(trans_A.getFrequencyMultiplier(), trans_B.getFrequencyMultiplier());
14310447Snilay@cs.wisc.edu        const TransitionInfo& scaled_trans_A = trans_A.scaleFrequencyMultiplier(max_freq_mult);
14410447Snilay@cs.wisc.edu        const TransitionInfo& scaled_trans_B = trans_B.scaleFrequencyMultiplier(max_freq_mult);
14510447Snilay@cs.wisc.edu
14610447Snilay@cs.wisc.edu        double A_prob_00 = scaled_trans_A.getNumberTransitions00() / max_freq_mult;
14710447Snilay@cs.wisc.edu        double A_prob_01 = scaled_trans_A.getNumberTransitions01() / max_freq_mult;
14810447Snilay@cs.wisc.edu        double A_prob_10 = A_prob_01;
14910447Snilay@cs.wisc.edu        double A_prob_11 = scaled_trans_A.getNumberTransitions11() / max_freq_mult;
15010447Snilay@cs.wisc.edu        double B_prob_00 = scaled_trans_B.getNumberTransitions00() / max_freq_mult;
15110447Snilay@cs.wisc.edu        double B_prob_01 = scaled_trans_B.getNumberTransitions01() / max_freq_mult;
15210447Snilay@cs.wisc.edu        double B_prob_10 = B_prob_01;
15310447Snilay@cs.wisc.edu        double B_prob_11 = scaled_trans_B.getNumberTransitions11() / max_freq_mult;
15410447Snilay@cs.wisc.edu
15510447Snilay@cs.wisc.edu        // Set output transition info
15610447Snilay@cs.wisc.edu        double Y_prob_00 = A_prob_00 * B_prob_00;
15710447Snilay@cs.wisc.edu        double Y_prob_01 = A_prob_00 * B_prob_01 +
15810447Snilay@cs.wisc.edu                        A_prob_01 * (B_prob_00 + B_prob_01);
15910447Snilay@cs.wisc.edu        double Y_prob_11 = A_prob_00 * B_prob_11 +
16010447Snilay@cs.wisc.edu                        A_prob_01 * (B_prob_10 + B_prob_11) +
16110447Snilay@cs.wisc.edu                        A_prob_10 * (B_prob_01 + B_prob_11) +
16210447Snilay@cs.wisc.edu                        A_prob_11;
16310447Snilay@cs.wisc.edu
16410447Snilay@cs.wisc.edu        // Check that probabilities add up to 1.0 with some finite tolerance
16510447Snilay@cs.wisc.edu        ASSERT(LibUtil::Math::isEqual((Y_prob_00 + Y_prob_01 + Y_prob_01 + Y_prob_11), 1.0), "[Error] " + getInstanceName() +
16610447Snilay@cs.wisc.edu            "Output transition probabilities must add up to 1 (" + (String) Y_prob_00 + ", " +
16710447Snilay@cs.wisc.edu            (String) Y_prob_01 + ", " + (String) Y_prob_11 + ")!");
16810447Snilay@cs.wisc.edu
16910447Snilay@cs.wisc.edu        // Turn probability of transitions per cycle into number of transitions per time unit
17010447Snilay@cs.wisc.edu        TransitionInfo trans_Y(Y_prob_00 * max_freq_mult, Y_prob_01 * max_freq_mult, Y_prob_11 * max_freq_mult);
17110447Snilay@cs.wisc.edu        getOutputPort("Y")->setTransitionInfo(trans_Y);
17210447Snilay@cs.wisc.edu        return;
17310447Snilay@cs.wisc.edu    }
17410447Snilay@cs.wisc.edu
17510447Snilay@cs.wisc.edu    // Creates the standard cell, characterizes and abstracts away the details
17610447Snilay@cs.wisc.edu    void OR2::cacheStdCell(StdCellLib* cell_lib_, double drive_strength_)
17710447Snilay@cs.wisc.edu    {
17810447Snilay@cs.wisc.edu        // Get parameters
17910447Snilay@cs.wisc.edu        double gate_pitch = cell_lib_->getTechModel()->get("Gate->PitchContacted");
18010447Snilay@cs.wisc.edu        Map<double>* cache = cell_lib_->getStdCellCache();
18110447Snilay@cs.wisc.edu
18210447Snilay@cs.wisc.edu        // Stadard cell cache string
18310447Snilay@cs.wisc.edu        const String& cell_name = "OR2_X" + (String) drive_strength_;
18410447Snilay@cs.wisc.edu
18510447Snilay@cs.wisc.edu        Log::printLine("=== " + cell_name + " ===");
18610447Snilay@cs.wisc.edu
18710447Snilay@cs.wisc.edu        // Now actually build the full standard cell model
18810447Snilay@cs.wisc.edu        createInputPort("A");
18910447Snilay@cs.wisc.edu        createInputPort("B");
19010447Snilay@cs.wisc.edu        createOutputPort("Y");
19110447Snilay@cs.wisc.edu
19210447Snilay@cs.wisc.edu        createNet("Y_b");
19310447Snilay@cs.wisc.edu
19410447Snilay@cs.wisc.edu        // Adds macros
19510447Snilay@cs.wisc.edu        CellMacros::addNor2(this, "NOR2", false, true, true, "A", "B", "Y_b");
19610447Snilay@cs.wisc.edu        CellMacros::addInverter(this, "INV", false, true, "Y_b", "Y");
19710447Snilay@cs.wisc.edu
19810447Snilay@cs.wisc.edu        // Update macros
19910447Snilay@cs.wisc.edu        CellMacros::updateNor2(this, "NOR2", drive_strength_ * 0.66);
20010447Snilay@cs.wisc.edu        CellMacros::updateInverter(this, "INV", drive_strength_ * 1.0);
20110447Snilay@cs.wisc.edu
20210447Snilay@cs.wisc.edu        // Cache area result
20310447Snilay@cs.wisc.edu        double area = 0.0;
20410447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * 1;
20510447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("NOR2_GatePitches").toDouble();
20610447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INV_GatePitches").toDouble();
20710447Snilay@cs.wisc.edu        cache->set(cell_name + "->ActiveArea", area);
20810447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->ActiveArea=" + (String)area);
20910447Snilay@cs.wisc.edu
21010447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
21110447Snilay@cs.wisc.edu        // Leakage Model Calculation
21210447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
21310447Snilay@cs.wisc.edu        // Cache leakage power results (for every single signal combination)
21410447Snilay@cs.wisc.edu        double leakage_00 = 0.0; // !A, !B
21510447Snilay@cs.wisc.edu        double leakage_01 = 0.0; // !A, B
21610447Snilay@cs.wisc.edu        double leakage_10 = 0.0; // A, !B
21710447Snilay@cs.wisc.edu        double leakage_11 = 0.0; // A, B
21810447Snilay@cs.wisc.edu
21910447Snilay@cs.wisc.edu        leakage_00 += getGenProperties()->get("NOR2_LeakagePower_00").toDouble();
22010447Snilay@cs.wisc.edu        leakage_00 += getGenProperties()->get("INV_LeakagePower_1").toDouble();
22110447Snilay@cs.wisc.edu
22210447Snilay@cs.wisc.edu        leakage_01 += getGenProperties()->get("NOR2_LeakagePower_01").toDouble();
22310447Snilay@cs.wisc.edu        leakage_01 += getGenProperties()->get("INV_LeakagePower_0").toDouble();
22410447Snilay@cs.wisc.edu
22510447Snilay@cs.wisc.edu        leakage_10 += getGenProperties()->get("NOR2_LeakagePower_10").toDouble();
22610447Snilay@cs.wisc.edu        leakage_10 += getGenProperties()->get("INV_LeakagePower_0").toDouble();
22710447Snilay@cs.wisc.edu
22810447Snilay@cs.wisc.edu        leakage_11 += getGenProperties()->get("NOR2_LeakagePower_11").toDouble();
22910447Snilay@cs.wisc.edu        leakage_11 += getGenProperties()->get("INV_LeakagePower_0").toDouble();
23010447Snilay@cs.wisc.edu
23110447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->!A!B", leakage_00);
23210447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->!AB", leakage_01);
23310447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->A!B", leakage_10);
23410447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->AB", leakage_11);
23510447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->!A!B=" + (String) leakage_00);
23610447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->!AB=" + (String) leakage_01);
23710447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->A!B=" + (String) leakage_10);
23810447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->AB=" + (String) leakage_11);
23910447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
24010447Snilay@cs.wisc.edu
24110447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
24210447Snilay@cs.wisc.edu        // Get Node Capacitances
24310447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
24410447Snilay@cs.wisc.edu        double a_cap = getNet("A")->getTotalDownstreamCap();
24510447Snilay@cs.wisc.edu        double b_cap = getNet("B")->getTotalDownstreamCap();
24610447Snilay@cs.wisc.edu        double y_b_cap = getNet("Y_b")->getTotalDownstreamCap();
24710447Snilay@cs.wisc.edu        double y_cap = getNet("Y")->getTotalDownstreamCap();
24810447Snilay@cs.wisc.edu
24910447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->A", a_cap);
25010447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->B", b_cap);
25110447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->Y_b", y_b_cap);
25210447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->Y", y_cap);
25310447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->A_Cap=" + (String) a_cap);
25410447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->B_Cap=" + (String) b_cap);
25510447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->Y_b_Cap=" + (String) y_b_cap);
25610447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->Y_Cap=" + (String) y_cap);
25710447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
25810447Snilay@cs.wisc.edu
25910447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
26010447Snilay@cs.wisc.edu        // Build Internal Delay Model
26110447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
26210447Snilay@cs.wisc.edu        double y_ron = getDriver("INV_RonZN")->getOutputRes();
26310447Snilay@cs.wisc.edu        double a_to_y_delay = getDriver("NOR2_RonZN")->calculateDelay() +
26410447Snilay@cs.wisc.edu                              getDriver("INV_RonZN")->calculateDelay();
26510447Snilay@cs.wisc.edu        double b_to_y_delay = getDriver("NOR2_RonZN")->calculateDelay() +
26610447Snilay@cs.wisc.edu                              getDriver("INV_RonZN")->calculateDelay();
26710447Snilay@cs.wisc.edu
26810447Snilay@cs.wisc.edu        cache->set(cell_name + "->DriveRes->Y", y_ron);
26910447Snilay@cs.wisc.edu        cache->set(cell_name + "->Delay->A_to_Y", a_to_y_delay);
27010447Snilay@cs.wisc.edu        cache->set(cell_name + "->Delay->B_to_Y", b_to_y_delay);
27110447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->DriveRes->Y=" + (String) y_ron);
27210447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Delay->A_to_Y=" + (String) a_to_y_delay);
27310447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Delay->B_to_Y=" + (String) b_to_y_delay);
27410447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
27510447Snilay@cs.wisc.edu
27610447Snilay@cs.wisc.edu        return;
27710447Snilay@cs.wisc.edu    }
27810447Snilay@cs.wisc.edu} // namespace DSENT
27910447Snilay@cs.wisc.edu
280