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/ADDF.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/EventInfo.h"
2810447Snilay@cs.wisc.edu#include "model/TransitionInfo.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::ceil;
3910447Snilay@cs.wisc.edu    using std::max;
4010447Snilay@cs.wisc.edu
4110447Snilay@cs.wisc.edu    ADDF::ADDF(const String& instance_name_, const TechModel* tech_model_)
4210447Snilay@cs.wisc.edu        : StdCell(instance_name_, tech_model_)
4310447Snilay@cs.wisc.edu    {
4410447Snilay@cs.wisc.edu        initParameters();
4510447Snilay@cs.wisc.edu        initProperties();
4610447Snilay@cs.wisc.edu    }
4710447Snilay@cs.wisc.edu
4810447Snilay@cs.wisc.edu    ADDF::~ADDF()
4910447Snilay@cs.wisc.edu    {}
5010447Snilay@cs.wisc.edu
5110447Snilay@cs.wisc.edu    void ADDF::initProperties()
5210447Snilay@cs.wisc.edu    {
5310447Snilay@cs.wisc.edu        return;
5410447Snilay@cs.wisc.edu    }
5510447Snilay@cs.wisc.edu
5610447Snilay@cs.wisc.edu    void ADDF::constructModel()
5710447Snilay@cs.wisc.edu    {
5810447Snilay@cs.wisc.edu        // All constructModel should do is create Area/NDDPower/Energy Results as
5910447Snilay@cs.wisc.edu        // well as instantiate any sub-instances using only the hard parameters
6010447Snilay@cs.wisc.edu
6110447Snilay@cs.wisc.edu        createInputPort("A");
6210447Snilay@cs.wisc.edu        createInputPort("B");
6310447Snilay@cs.wisc.edu        createInputPort("CI");
6410447Snilay@cs.wisc.edu        createOutputPort("S");
6510447Snilay@cs.wisc.edu        createOutputPort("CO");
6610447Snilay@cs.wisc.edu
6710447Snilay@cs.wisc.edu        createLoad("A_Cap");
6810447Snilay@cs.wisc.edu        createLoad("B_Cap");
6910447Snilay@cs.wisc.edu        createLoad("CI_Cap");
7010447Snilay@cs.wisc.edu        createDelay("A_to_S_delay");
7110447Snilay@cs.wisc.edu        createDelay("B_to_S_delay");
7210447Snilay@cs.wisc.edu        createDelay("CI_to_S_delay");
7310447Snilay@cs.wisc.edu        createDelay("A_to_CO_delay");
7410447Snilay@cs.wisc.edu        createDelay("B_to_CO_delay");
7510447Snilay@cs.wisc.edu        createDelay("CI_to_CO_delay");
7610447Snilay@cs.wisc.edu        createDriver("S_Ron", true);
7710447Snilay@cs.wisc.edu        createDriver("CO_Ron", true);
7810447Snilay@cs.wisc.edu
7910447Snilay@cs.wisc.edu        ElectricalLoad* a_cap = getLoad("A_Cap");
8010447Snilay@cs.wisc.edu        ElectricalLoad* b_cap = getLoad("B_Cap");
8110447Snilay@cs.wisc.edu        ElectricalLoad* ci_cap = getLoad("CI_Cap");
8210447Snilay@cs.wisc.edu        ElectricalDelay* a_to_s_delay = getDelay("A_to_S_delay");
8310447Snilay@cs.wisc.edu        ElectricalDelay* b_to_s_delay = getDelay("B_to_S_delay");
8410447Snilay@cs.wisc.edu        ElectricalDelay* ci_to_s_delay = getDelay("CI_to_S_delay");
8510447Snilay@cs.wisc.edu        ElectricalDelay* a_to_co_delay = getDelay("A_to_CO_delay");
8610447Snilay@cs.wisc.edu        ElectricalDelay* b_to_co_delay = getDelay("B_to_CO_delay");
8710447Snilay@cs.wisc.edu        ElectricalDelay* ci_to_co_delay = getDelay("CI_to_CO_delay");
8810447Snilay@cs.wisc.edu        ElectricalDriver* s_ron = getDriver("S_Ron");
8910447Snilay@cs.wisc.edu        ElectricalDriver* co_ron = getDriver("CO_Ron");
9010447Snilay@cs.wisc.edu
9110447Snilay@cs.wisc.edu        getNet("A")->addDownstreamNode(a_cap);
9210447Snilay@cs.wisc.edu        getNet("B")->addDownstreamNode(b_cap);
9310447Snilay@cs.wisc.edu        getNet("CI")->addDownstreamNode(ci_cap);
9410447Snilay@cs.wisc.edu        a_cap->addDownstreamNode(a_to_s_delay);
9510447Snilay@cs.wisc.edu        b_cap->addDownstreamNode(b_to_s_delay);
9610447Snilay@cs.wisc.edu        ci_cap->addDownstreamNode(ci_to_s_delay);
9710447Snilay@cs.wisc.edu        a_cap->addDownstreamNode(a_to_co_delay);
9810447Snilay@cs.wisc.edu        b_cap->addDownstreamNode(b_to_co_delay);
9910447Snilay@cs.wisc.edu        ci_cap->addDownstreamNode(ci_to_co_delay);
10010447Snilay@cs.wisc.edu
10110447Snilay@cs.wisc.edu        a_to_s_delay->addDownstreamNode(s_ron);
10210447Snilay@cs.wisc.edu        b_to_s_delay->addDownstreamNode(s_ron);
10310447Snilay@cs.wisc.edu        ci_to_s_delay->addDownstreamNode(s_ron);
10410447Snilay@cs.wisc.edu        a_to_co_delay->addDownstreamNode(co_ron);
10510447Snilay@cs.wisc.edu        b_to_co_delay->addDownstreamNode(co_ron);
10610447Snilay@cs.wisc.edu        ci_to_co_delay->addDownstreamNode(co_ron);
10710447Snilay@cs.wisc.edu
10810447Snilay@cs.wisc.edu        s_ron->addDownstreamNode(getNet("S"));
10910447Snilay@cs.wisc.edu        co_ron->addDownstreamNode(getNet("CO"));
11010447Snilay@cs.wisc.edu
11110447Snilay@cs.wisc.edu        // Create Area result
11210447Snilay@cs.wisc.edu        // Create NDD Power result
11310447Snilay@cs.wisc.edu        createElectricalAtomicResults();
11410447Snilay@cs.wisc.edu        // Create ADDF Event Energy Result
11510447Snilay@cs.wisc.edu        createElectricalEventAtomicResult("ADDF");
11610447Snilay@cs.wisc.edu
11710447Snilay@cs.wisc.edu        getEventInfo("Idle")->setStaticTransitionInfos();
11810447Snilay@cs.wisc.edu
11910447Snilay@cs.wisc.edu        return;
12010447Snilay@cs.wisc.edu    }
12110447Snilay@cs.wisc.edu
12210447Snilay@cs.wisc.edu    void ADDF::updateModel()
12310447Snilay@cs.wisc.edu    {
12410447Snilay@cs.wisc.edu        // Get parameters
12510447Snilay@cs.wisc.edu        double drive_strength = getDrivingStrength();
12610447Snilay@cs.wisc.edu        Map<double>* cache = getTechModel()->getStdCellLib()->getStdCellCache();
12710447Snilay@cs.wisc.edu
12810447Snilay@cs.wisc.edu        // Standard cell cache string
12910447Snilay@cs.wisc.edu        String cell_name = "ADDF_X" + (String) drive_strength;
13010447Snilay@cs.wisc.edu
13110447Snilay@cs.wisc.edu        // Get timing parameters
13210447Snilay@cs.wisc.edu        getLoad("A_Cap")->setLoadCap(cache->get(cell_name + "->Cap->A"));
13310447Snilay@cs.wisc.edu        getLoad("B_Cap")->setLoadCap(cache->get(cell_name + "->Cap->B"));
13410447Snilay@cs.wisc.edu        getLoad("CI_Cap")->setLoadCap(cache->get(cell_name + "->Cap->CI"));
13510447Snilay@cs.wisc.edu
13610447Snilay@cs.wisc.edu        getDelay("A_to_S_delay")->setDelay(cache->get(cell_name + "->Delay->A_to_S"));
13710447Snilay@cs.wisc.edu        getDelay("B_to_S_delay")->setDelay(cache->get(cell_name + "->Delay->B_to_S"));
13810447Snilay@cs.wisc.edu        getDelay("CI_to_S_delay")->setDelay(cache->get(cell_name + "->Delay->CI_to_S"));
13910447Snilay@cs.wisc.edu        getDelay("A_to_CO_delay")->setDelay(cache->get(cell_name + "->Delay->A_to_CO"));
14010447Snilay@cs.wisc.edu        getDelay("B_to_CO_delay")->setDelay(cache->get(cell_name + "->Delay->B_to_CO"));
14110447Snilay@cs.wisc.edu        getDelay("CI_to_CO_delay")->setDelay(cache->get(cell_name + "->Delay->CI_to_CO"));
14210447Snilay@cs.wisc.edu
14310447Snilay@cs.wisc.edu        getDriver("S_Ron")->setOutputRes(cache->get(cell_name + "->DriveRes->S"));
14410447Snilay@cs.wisc.edu        getDriver("CO_Ron")->setOutputRes(cache->get(cell_name + "->DriveRes->CO"));
14510447Snilay@cs.wisc.edu
14610447Snilay@cs.wisc.edu        // Set the cell area
14710447Snilay@cs.wisc.edu        getAreaResult("Active")->setValue(cache->get(cell_name + "->Area->Active"));
14810447Snilay@cs.wisc.edu        getAreaResult("Metal1Wire")->setValue(cache->get(cell_name + "->Area->Metal1Wire"));
14910447Snilay@cs.wisc.edu
15010447Snilay@cs.wisc.edu        return;
15110447Snilay@cs.wisc.edu    }
15210447Snilay@cs.wisc.edu
15310447Snilay@cs.wisc.edu    void ADDF::evaluateModel()
15410447Snilay@cs.wisc.edu    {
15510447Snilay@cs.wisc.edu        return;
15610447Snilay@cs.wisc.edu    }
15710447Snilay@cs.wisc.edu
15810447Snilay@cs.wisc.edu    void ADDF::useModel()
15910447Snilay@cs.wisc.edu    {
16010447Snilay@cs.wisc.edu        // Get parameters
16110447Snilay@cs.wisc.edu        double drive_strength = getDrivingStrength();
16210447Snilay@cs.wisc.edu        Map<double>* cache = getTechModel()->getStdCellLib()->getStdCellCache();
16310447Snilay@cs.wisc.edu
16410447Snilay@cs.wisc.edu        // Standard cell cache string
16510447Snilay@cs.wisc.edu        String cell_name = "ADDF_X" + (String) drive_strength;
16610447Snilay@cs.wisc.edu
16710447Snilay@cs.wisc.edu        // Propagate the transition info and get the 0->1 transition count
16810447Snilay@cs.wisc.edu        propagateTransitionInfo();
16910447Snilay@cs.wisc.edu        double P_A = getInputPort("A")->getTransitionInfo().getProbability1();
17010447Snilay@cs.wisc.edu        double P_B = getInputPort("B")->getTransitionInfo().getProbability1();
17110447Snilay@cs.wisc.edu        double P_CI = getInputPort("CI")->getTransitionInfo().getProbability1();
17210447Snilay@cs.wisc.edu        double A_num_trans_01 = getInputPort("A")->getTransitionInfo().getNumberTransitions01();
17310447Snilay@cs.wisc.edu        double B_num_trans_01 = getInputPort("B")->getTransitionInfo().getNumberTransitions01();
17410447Snilay@cs.wisc.edu        double CI_num_trans_01 = getInputPort("CI")->getTransitionInfo().getNumberTransitions01();
17510447Snilay@cs.wisc.edu        double P_num_trans_01 = m_trans_P_.getNumberTransitions01();
17610447Snilay@cs.wisc.edu        double G_num_trans_01 = m_trans_G_.getNumberTransitions01();
17710447Snilay@cs.wisc.edu        double CP_num_trans_01 = m_trans_CP_.getNumberTransitions01();
17810447Snilay@cs.wisc.edu        double S_num_trans_01 = getOutputPort("S")->getTransitionInfo().getNumberTransitions01();
17910447Snilay@cs.wisc.edu        double CO_num_trans_01 = getOutputPort("CO")->getTransitionInfo().getNumberTransitions01();
18010447Snilay@cs.wisc.edu
18110447Snilay@cs.wisc.edu        // Calculate leakage
18210447Snilay@cs.wisc.edu        double leakage = 0;
18310447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->!A!B!CI") * (1 - P_A) * (1 - P_B) * (1 - P_CI);
18410447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->!A!BCI") * (1 - P_A) * (1 - P_B) * P_CI;
18510447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->!AB!CI") * (1 - P_A) * P_B * (1 - P_CI);
18610447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->!ABCI") * (1 - P_A) * P_B * P_CI;
18710447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->A!B!CI") * P_A * (1 - P_B) * (1 - P_CI);
18810447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->A!BCI") * P_A * (1 - P_B) * P_CI;
18910447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->AB!CI") * P_A * P_B * (1 - P_CI);
19010447Snilay@cs.wisc.edu        leakage += cache->get(cell_name + "->Leakage->ABCI") * P_A * P_B * P_CI;
19110447Snilay@cs.wisc.edu        getNddPowerResult("Leakage")->setValue(leakage);
19210447Snilay@cs.wisc.edu
19310447Snilay@cs.wisc.edu        // Get VDD
19410447Snilay@cs.wisc.edu        double vdd = getTechModel()->get("Vdd");
19510447Snilay@cs.wisc.edu
19610447Snilay@cs.wisc.edu        // Get capacitances
19710447Snilay@cs.wisc.edu        double a_b_cap = cache->get(cell_name + "->Cap->A_b");
19810447Snilay@cs.wisc.edu        double b_b_cap = cache->get(cell_name + "->Cap->B_b");
19910447Snilay@cs.wisc.edu        double ci_b_cap = cache->get(cell_name + "->Cap->CI_b");
20010447Snilay@cs.wisc.edu        double p_cap = cache->get(cell_name + "->Cap->P");
20110447Snilay@cs.wisc.edu        double p_b_cap = cache->get(cell_name + "->Cap->P_b");
20210447Snilay@cs.wisc.edu        double s_cap = cache->get(cell_name + "->Cap->S");
20310447Snilay@cs.wisc.edu        double cp_cap = cache->get(cell_name + "->Cap->CP");
20410447Snilay@cs.wisc.edu        double g_cap = cache->get(cell_name + "->Cap->G");
20510447Snilay@cs.wisc.edu        double co_cap = cache->get(cell_name + "->Cap->CO");
20610447Snilay@cs.wisc.edu        double s_load_cap = getNet("S")->getTotalDownstreamCap();
20710447Snilay@cs.wisc.edu        double co_load_cap = getNet("CO")->getTotalDownstreamCap();
20810447Snilay@cs.wisc.edu
20910447Snilay@cs.wisc.edu        // Calculate ADDF Event energy
21010447Snilay@cs.wisc.edu        double addf_event_energy = 0.0;
21110447Snilay@cs.wisc.edu        addf_event_energy += a_b_cap * A_num_trans_01;
21210447Snilay@cs.wisc.edu        addf_event_energy += b_b_cap * B_num_trans_01;
21310447Snilay@cs.wisc.edu        addf_event_energy += ci_b_cap * CI_num_trans_01;
21410447Snilay@cs.wisc.edu        addf_event_energy += (p_cap + p_b_cap) * P_num_trans_01;
21510447Snilay@cs.wisc.edu        addf_event_energy += (s_cap + s_load_cap) * S_num_trans_01;
21610447Snilay@cs.wisc.edu        addf_event_energy += cp_cap * CP_num_trans_01;
21710447Snilay@cs.wisc.edu        addf_event_energy += g_cap * G_num_trans_01;
21810447Snilay@cs.wisc.edu        addf_event_energy += (co_cap + co_load_cap) * CO_num_trans_01;
21910447Snilay@cs.wisc.edu        addf_event_energy *= vdd * vdd;
22010447Snilay@cs.wisc.edu        getEventResult("ADDF")->setValue(addf_event_energy);
22110447Snilay@cs.wisc.edu
22210447Snilay@cs.wisc.edu        return;
22310447Snilay@cs.wisc.edu    }
22410447Snilay@cs.wisc.edu
22510447Snilay@cs.wisc.edu    void ADDF::propagateTransitionInfo()
22610447Snilay@cs.wisc.edu    {
22710447Snilay@cs.wisc.edu        const TransitionInfo& trans_A = getInputPort("A")->getTransitionInfo();
22810447Snilay@cs.wisc.edu        const TransitionInfo& trans_B = getInputPort("B")->getTransitionInfo();
22910447Snilay@cs.wisc.edu        const TransitionInfo& trans_CI = getInputPort("CI")->getTransitionInfo();
23010447Snilay@cs.wisc.edu
23110447Snilay@cs.wisc.edu        double max_freq_mult = max(max(trans_A.getFrequencyMultiplier(), trans_B.getFrequencyMultiplier()), trans_CI.getFrequencyMultiplier());
23210447Snilay@cs.wisc.edu        const TransitionInfo& scaled_trans_A = trans_A.scaleFrequencyMultiplier(max_freq_mult);
23310447Snilay@cs.wisc.edu        const TransitionInfo& scaled_trans_B = trans_B.scaleFrequencyMultiplier(max_freq_mult);
23410447Snilay@cs.wisc.edu        const TransitionInfo& scaled_trans_CI = trans_CI.scaleFrequencyMultiplier(max_freq_mult);
23510447Snilay@cs.wisc.edu
23610447Snilay@cs.wisc.edu        double A_prob_00 = scaled_trans_A.getNumberTransitions00() / max_freq_mult;
23710447Snilay@cs.wisc.edu        double A_prob_01 = scaled_trans_A.getNumberTransitions01() / max_freq_mult;
23810447Snilay@cs.wisc.edu        double A_prob_10 = A_prob_01;
23910447Snilay@cs.wisc.edu        double A_prob_11 = scaled_trans_A.getNumberTransitions11() / max_freq_mult;
24010447Snilay@cs.wisc.edu        double B_prob_00 = scaled_trans_B.getNumberTransitions00() / max_freq_mult;
24110447Snilay@cs.wisc.edu        double B_prob_01 = scaled_trans_B.getNumberTransitions01() / max_freq_mult;
24210447Snilay@cs.wisc.edu        double B_prob_10 = B_prob_01;
24310447Snilay@cs.wisc.edu        double B_prob_11 = scaled_trans_B.getNumberTransitions11() / max_freq_mult;
24410447Snilay@cs.wisc.edu        double CI_prob_00 = scaled_trans_CI.getNumberTransitions00() / max_freq_mult;
24510447Snilay@cs.wisc.edu        double CI_prob_01 = scaled_trans_CI.getNumberTransitions01() / max_freq_mult;
24610447Snilay@cs.wisc.edu        double CI_prob_10 = CI_prob_01;
24710447Snilay@cs.wisc.edu        double CI_prob_11 = scaled_trans_CI.getNumberTransitions11() / max_freq_mult;
24810447Snilay@cs.wisc.edu
24910447Snilay@cs.wisc.edu        // Set P transition info
25010447Snilay@cs.wisc.edu        double P_prob_00 = A_prob_00 * B_prob_00 +
25110447Snilay@cs.wisc.edu                                A_prob_01 * B_prob_01 +
25210447Snilay@cs.wisc.edu                                A_prob_10 * B_prob_10 +
25310447Snilay@cs.wisc.edu                                A_prob_11 * B_prob_11;
25410447Snilay@cs.wisc.edu        double P_prob_01 = A_prob_00 * B_prob_01 +
25510447Snilay@cs.wisc.edu                                A_prob_01 * B_prob_00 +
25610447Snilay@cs.wisc.edu                                A_prob_10 * B_prob_11 +
25710447Snilay@cs.wisc.edu                                A_prob_11 * B_prob_10;
25810447Snilay@cs.wisc.edu        double P_prob_10 = P_prob_01;
25910447Snilay@cs.wisc.edu        double P_prob_11 = A_prob_00 * B_prob_11 +
26010447Snilay@cs.wisc.edu                                A_prob_01 * B_prob_10 +
26110447Snilay@cs.wisc.edu                                A_prob_10 * B_prob_01 +
26210447Snilay@cs.wisc.edu                                A_prob_11 * B_prob_00;
26310447Snilay@cs.wisc.edu
26410447Snilay@cs.wisc.edu        // Set G transition info
26510447Snilay@cs.wisc.edu        double G_prob_00 = A_prob_11 * B_prob_11;
26610447Snilay@cs.wisc.edu        double G_prob_01 = A_prob_11 * B_prob_10 +
26710447Snilay@cs.wisc.edu                            A_prob_10 * (B_prob_11 + B_prob_10);
26810447Snilay@cs.wisc.edu        double G_prob_10 = G_prob_01;
26910447Snilay@cs.wisc.edu        double G_prob_11 = A_prob_00 +
27010447Snilay@cs.wisc.edu                            A_prob_01 * (B_prob_00 + B_prob_10) +
27110447Snilay@cs.wisc.edu                            A_prob_10 * (B_prob_00 + B_prob_01) +
27210447Snilay@cs.wisc.edu                            A_prob_11 * B_prob_00;
27310447Snilay@cs.wisc.edu
27410447Snilay@cs.wisc.edu        // Set CP transition info
27510447Snilay@cs.wisc.edu        double CP_prob_00 = P_prob_11 * CI_prob_11;
27610447Snilay@cs.wisc.edu        double CP_prob_01 = P_prob_11 * CI_prob_10 +
27710447Snilay@cs.wisc.edu                            P_prob_10 * (CI_prob_11 + CI_prob_10);
27810447Snilay@cs.wisc.edu        double CP_prob_10 = CP_prob_01;
27910447Snilay@cs.wisc.edu        double CP_prob_11 = P_prob_00 +
28010447Snilay@cs.wisc.edu                            P_prob_01 * (CI_prob_00 + CI_prob_10) +
28110447Snilay@cs.wisc.edu                            P_prob_10 * (CI_prob_00 + CI_prob_01) +
28210447Snilay@cs.wisc.edu                            P_prob_11 * CI_prob_00;
28310447Snilay@cs.wisc.edu
28410447Snilay@cs.wisc.edu        // Set S transition info
28510447Snilay@cs.wisc.edu        double S_prob_00 = P_prob_00 * CI_prob_00 +
28610447Snilay@cs.wisc.edu                                P_prob_01 * CI_prob_01 +
28710447Snilay@cs.wisc.edu                                P_prob_10 * CI_prob_10 +
28810447Snilay@cs.wisc.edu                                P_prob_11 * CI_prob_11;
28910447Snilay@cs.wisc.edu        double S_prob_01 = P_prob_00 * CI_prob_01 +
29010447Snilay@cs.wisc.edu                                P_prob_01 * CI_prob_00 +
29110447Snilay@cs.wisc.edu                                P_prob_10 * CI_prob_11 +
29210447Snilay@cs.wisc.edu                                P_prob_11 * CI_prob_10;
29310447Snilay@cs.wisc.edu        double S_prob_11 = P_prob_00 * CI_prob_11 +
29410447Snilay@cs.wisc.edu                                P_prob_01 * CI_prob_10 +
29510447Snilay@cs.wisc.edu                                P_prob_10 * CI_prob_01 +
29610447Snilay@cs.wisc.edu                                P_prob_11 * CI_prob_00;
29710447Snilay@cs.wisc.edu
29810447Snilay@cs.wisc.edu        // Set CO transition info
29910447Snilay@cs.wisc.edu        double CO_prob_00 = G_prob_11 * CP_prob_11;
30010447Snilay@cs.wisc.edu        double CO_prob_01 = G_prob_11 * CP_prob_10 +
30110447Snilay@cs.wisc.edu                            G_prob_10 * (CP_prob_11 + CP_prob_10);
30210447Snilay@cs.wisc.edu        double CO_prob_11 = G_prob_00 +
30310447Snilay@cs.wisc.edu                            G_prob_01 * (CP_prob_00 + CP_prob_10) +
30410447Snilay@cs.wisc.edu                            G_prob_10 * (CP_prob_00 + CP_prob_01) +
30510447Snilay@cs.wisc.edu                            G_prob_11 * CP_prob_00;
30610447Snilay@cs.wisc.edu
30710447Snilay@cs.wisc.edu        m_trans_P_ = TransitionInfo(P_prob_00 * max_freq_mult, P_prob_01 * max_freq_mult, P_prob_11 * max_freq_mult);
30810447Snilay@cs.wisc.edu        m_trans_G_ = TransitionInfo(G_prob_00 * max_freq_mult, G_prob_01 * max_freq_mult, G_prob_11 * max_freq_mult);
30910447Snilay@cs.wisc.edu        m_trans_CP_ = TransitionInfo(CP_prob_00 * max_freq_mult, CP_prob_01 * max_freq_mult, CP_prob_11 * max_freq_mult);
31010447Snilay@cs.wisc.edu
31110447Snilay@cs.wisc.edu        // Check that probabilities add up to 1.0 with some finite tolerance
31210447Snilay@cs.wisc.edu        ASSERT(LibUtil::Math::isEqual((S_prob_00 + S_prob_01 + S_prob_01 + S_prob_11), 1.0),
31310447Snilay@cs.wisc.edu            "[Error] " + getInstanceName() +  "Output S transition probabilities must add up to 1 (" +
31410447Snilay@cs.wisc.edu            (String) S_prob_00 + ", " + (String) S_prob_01 + ", " + (String) S_prob_11 + ")!");
31510447Snilay@cs.wisc.edu
31610447Snilay@cs.wisc.edu        // Check that probabilities add up to 1.0 with some finite tolerance
31710447Snilay@cs.wisc.edu        ASSERT(LibUtil::Math::isEqual((CO_prob_00 + CO_prob_01 + CO_prob_01 + CO_prob_11), 1.0),
31810447Snilay@cs.wisc.edu            "[Error] " + getInstanceName() +  "Output S transition probabilities must add up to 1 (" +
31910447Snilay@cs.wisc.edu            (String) CO_prob_00 + ", " + (String) CO_prob_01 + ", " + (String) CO_prob_11 + ")!");
32010447Snilay@cs.wisc.edu
32110447Snilay@cs.wisc.edu        // Turn probability of transitions per cycle into number of transitions per time unit
32210447Snilay@cs.wisc.edu        TransitionInfo trans_S(S_prob_00 * max_freq_mult, S_prob_01 * max_freq_mult, S_prob_11 * max_freq_mult);
32310447Snilay@cs.wisc.edu        getOutputPort("S")->setTransitionInfo(trans_S);
32410447Snilay@cs.wisc.edu        TransitionInfo trans_CO(CO_prob_00 * max_freq_mult, CO_prob_01 * max_freq_mult, CO_prob_11 * max_freq_mult);
32510447Snilay@cs.wisc.edu        getOutputPort("CO")->setTransitionInfo(trans_CO);
32610447Snilay@cs.wisc.edu        return;
32710447Snilay@cs.wisc.edu    }
32810447Snilay@cs.wisc.edu
32910447Snilay@cs.wisc.edu    // Creates the standard cell, characterizes and abstracts away the details
33010447Snilay@cs.wisc.edu    void ADDF::cacheStdCell(StdCellLib* cell_lib_, double drive_strength_)
33110447Snilay@cs.wisc.edu    {
33210447Snilay@cs.wisc.edu        // Get parameters
33310447Snilay@cs.wisc.edu        double gate_pitch = cell_lib_->getTechModel()->get("Gate->PitchContacted");
33410447Snilay@cs.wisc.edu        Map<double>* cache = cell_lib_->getStdCellCache();
33510447Snilay@cs.wisc.edu
33610447Snilay@cs.wisc.edu        // Standard cell cache string
33710447Snilay@cs.wisc.edu        String cell_name = "ADDF_X" + (String) drive_strength_;
33810447Snilay@cs.wisc.edu
33910447Snilay@cs.wisc.edu        Log::printLine("=== " + cell_name + " ===");
34010447Snilay@cs.wisc.edu
34110447Snilay@cs.wisc.edu        // Now actually build the full standard cell model
34210447Snilay@cs.wisc.edu        createInputPort("A");
34310447Snilay@cs.wisc.edu        createInputPort("B");
34410447Snilay@cs.wisc.edu        createInputPort("CI");
34510447Snilay@cs.wisc.edu        createOutputPort("S");
34610447Snilay@cs.wisc.edu        createOutputPort("CO");
34710447Snilay@cs.wisc.edu
34810447Snilay@cs.wisc.edu        createNet("A_b");
34910447Snilay@cs.wisc.edu        createNet("B_b");
35010447Snilay@cs.wisc.edu        createNet("CI_b");
35110447Snilay@cs.wisc.edu        createNet("P");
35210447Snilay@cs.wisc.edu        createNet("P_b");
35310447Snilay@cs.wisc.edu        createNet("G");             //actually G_b since it is NAND'ed
35410447Snilay@cs.wisc.edu        createNet("CP");            //actually (CP)_b since it is NAND'ed
35510447Snilay@cs.wisc.edu
35610447Snilay@cs.wisc.edu        // Adds macros
35710447Snilay@cs.wisc.edu        CellMacros::addInverter(this, "INV1", false, true, "A", "A_b");
35810447Snilay@cs.wisc.edu        CellMacros::addInverter(this, "INV2", false, true, "B", "B_b");
35910447Snilay@cs.wisc.edu        CellMacros::addInverter(this, "INV3", false, true, "CI", "CI_b");
36010447Snilay@cs.wisc.edu        CellMacros::addInverter(this, "INV4", false, true, "P", "P_b");
36110447Snilay@cs.wisc.edu        CellMacros::addTristate(this, "INVZ1", false, true, true, true, "B", "A", "A_b", "P");
36210447Snilay@cs.wisc.edu        CellMacros::addTristate(this, "INVZ2", false, true, true, true, "B_b", "A_b", "A", "P");
36310447Snilay@cs.wisc.edu        CellMacros::addTristate(this, "INVZ3", true, true, true, true, "P", "CI", "CI_b", "S");
36410447Snilay@cs.wisc.edu        CellMacros::addTristate(this, "INVZ4", true, true, true, true, "P_b", "CI_b", "CI", "S");
36510447Snilay@cs.wisc.edu        CellMacros::addNand2(this, "NAND1", false, true, true, "CI", "P", "CP");
36610447Snilay@cs.wisc.edu        CellMacros::addNand2(this, "NAND2", false, true, true, "A", "B", "G");
36710447Snilay@cs.wisc.edu        CellMacros::addNand2(this, "NAND3", true, true, true, "CP", "G", "CO");
36810447Snilay@cs.wisc.edu
36910447Snilay@cs.wisc.edu        // I have no idea how to size each of the parts haha
37010447Snilay@cs.wisc.edu        CellMacros::updateInverter(this, "INV1", drive_strength_ * 0.250);
37110447Snilay@cs.wisc.edu        CellMacros::updateInverter(this, "INV2", drive_strength_ * 0.250);
37210447Snilay@cs.wisc.edu        CellMacros::updateInverter(this, "INV3", drive_strength_ * 0.250);
37310447Snilay@cs.wisc.edu        CellMacros::updateInverter(this, "INV4", drive_strength_ * 0.500);
37410447Snilay@cs.wisc.edu        CellMacros::updateTristate(this, "INVZ1", drive_strength_ * 0.250);
37510447Snilay@cs.wisc.edu        CellMacros::updateTristate(this, "INVZ2", drive_strength_ * 0.250);
37610447Snilay@cs.wisc.edu        CellMacros::updateTristate(this, "INVZ3", drive_strength_ * 0.500);
37710447Snilay@cs.wisc.edu        CellMacros::updateTristate(this, "INVZ4", drive_strength_ * 0.500);
37810447Snilay@cs.wisc.edu        CellMacros::updateNand2(this, "NAND1", drive_strength_ * 0.500);
37910447Snilay@cs.wisc.edu        CellMacros::updateNand2(this, "NAND2", drive_strength_ * 0.500);
38010447Snilay@cs.wisc.edu        CellMacros::updateNand2(this, "NAND3", drive_strength_ * 1.000);
38110447Snilay@cs.wisc.edu
38210447Snilay@cs.wisc.edu        // Cache area result
38310447Snilay@cs.wisc.edu        double area = 0.0;
38410447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * 1;
38510447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INV1_GatePitches").toDouble();
38610447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INV2_GatePitches").toDouble();
38710447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INV3_GatePitches").toDouble();
38810447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INV4_GatePitches").toDouble();
38910447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INVZ1_GatePitches").toDouble();
39010447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INVZ2_GatePitches").toDouble();
39110447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INVZ3_GatePitches").toDouble();
39210447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("INVZ4_GatePitches").toDouble();
39310447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("NAND1_GatePitches").toDouble();
39410447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("NAND2_GatePitches").toDouble();
39510447Snilay@cs.wisc.edu        area += gate_pitch * getTotalHeight() * getGenProperties()->get("NAND3_GatePitches").toDouble();
39610447Snilay@cs.wisc.edu        cache->set(cell_name + "->Area->Active", area);
39710447Snilay@cs.wisc.edu        cache->set(cell_name + "->Area->Metal1Wire", area);
39810447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Area->Active=" + (String) area);
39910447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Area->Metal1Wire=" + (String) area);
40010447Snilay@cs.wisc.edu
40110447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
40210447Snilay@cs.wisc.edu        // Leakage Model Calculation
40310447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
40410447Snilay@cs.wisc.edu        // Cache leakage power results (for every single signal combination)
40510447Snilay@cs.wisc.edu        double leakage_000 = 0;         //!A, !B, !CI
40610447Snilay@cs.wisc.edu        double leakage_001 = 0;         //!A, !B, CI
40710447Snilay@cs.wisc.edu        double leakage_010 = 0;         //!A, B, !CI
40810447Snilay@cs.wisc.edu        double leakage_011 = 0;         //!A, B, CI
40910447Snilay@cs.wisc.edu        double leakage_100 = 0;         //A, !B, !CI
41010447Snilay@cs.wisc.edu        double leakage_101 = 0;         //A, !B, CI
41110447Snilay@cs.wisc.edu        double leakage_110 = 0;         //A, B, !CI
41210447Snilay@cs.wisc.edu        double leakage_111 = 0;         //A, B, CI
41310447Snilay@cs.wisc.edu
41410447Snilay@cs.wisc.edu        //This is so painful...
41510447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("INV1_LeakagePower_0").toDouble();
41610447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("INV2_LeakagePower_0").toDouble();
41710447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("INV3_LeakagePower_0").toDouble();
41810447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("INV4_LeakagePower_0").toDouble();
41910447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("INVZ1_LeakagePower_010_0").toDouble();
42010447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("INVZ2_LeakagePower_101_0").toDouble();
42110447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("INVZ3_LeakagePower_010_0").toDouble();
42210447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("INVZ4_LeakagePower_101_0").toDouble();
42310447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("NAND1_LeakagePower_00").toDouble();
42410447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("NAND2_LeakagePower_00").toDouble();
42510447Snilay@cs.wisc.edu        leakage_000 += getGenProperties()->get("NAND3_LeakagePower_11").toDouble();
42610447Snilay@cs.wisc.edu
42710447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("INV1_LeakagePower_0").toDouble();
42810447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("INV2_LeakagePower_0").toDouble();
42910447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("INV3_LeakagePower_1").toDouble();
43010447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("INV4_LeakagePower_0").toDouble();
43110447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("INVZ1_LeakagePower_010_0").toDouble();
43210447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("INVZ2_LeakagePower_101_0").toDouble();
43310447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("INVZ3_LeakagePower_100_1").toDouble();
43410447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("INVZ4_LeakagePower_011_1").toDouble();
43510447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("NAND1_LeakagePower_10").toDouble();
43610447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("NAND2_LeakagePower_00").toDouble();
43710447Snilay@cs.wisc.edu        leakage_001 += getGenProperties()->get("NAND3_LeakagePower_11").toDouble();
43810447Snilay@cs.wisc.edu
43910447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("INV1_LeakagePower_0").toDouble();
44010447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("INV2_LeakagePower_1").toDouble();
44110447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("INV3_LeakagePower_0").toDouble();
44210447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("INV4_LeakagePower_1").toDouble();
44310447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("INVZ1_LeakagePower_011_1").toDouble();
44410447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("INVZ2_LeakagePower_100_1").toDouble();
44510447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("INVZ3_LeakagePower_011_1").toDouble();
44610447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("INVZ4_LeakagePower_100_1").toDouble();
44710447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("NAND1_LeakagePower_01").toDouble();
44810447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("NAND2_LeakagePower_01").toDouble();
44910447Snilay@cs.wisc.edu        leakage_010 += getGenProperties()->get("NAND3_LeakagePower_11").toDouble();
45010447Snilay@cs.wisc.edu
45110447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("INV1_LeakagePower_0").toDouble();
45210447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("INV2_LeakagePower_1").toDouble();
45310447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("INV3_LeakagePower_1").toDouble();
45410447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("INV4_LeakagePower_1").toDouble();
45510447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("INVZ1_LeakagePower_011_1").toDouble();
45610447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("INVZ2_LeakagePower_100_1").toDouble();
45710447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("INVZ3_LeakagePower_101_0").toDouble();
45810447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("INVZ4_LeakagePower_010_0").toDouble();
45910447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("NAND1_LeakagePower_11").toDouble();
46010447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("NAND2_LeakagePower_01").toDouble();
46110447Snilay@cs.wisc.edu        leakage_011 += getGenProperties()->get("NAND3_LeakagePower_01").toDouble();
46210447Snilay@cs.wisc.edu
46310447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("INV1_LeakagePower_1").toDouble();
46410447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("INV2_LeakagePower_0").toDouble();
46510447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("INV3_LeakagePower_0").toDouble();
46610447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("INV4_LeakagePower_1").toDouble();
46710447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("INVZ1_LeakagePower_100_1").toDouble();
46810447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("INVZ2_LeakagePower_011_1").toDouble();
46910447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("INVZ3_LeakagePower_011_1").toDouble();
47010447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("INVZ4_LeakagePower_100_1").toDouble();
47110447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("NAND1_LeakagePower_01").toDouble();
47210447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("NAND2_LeakagePower_10").toDouble();
47310447Snilay@cs.wisc.edu        leakage_100 += getGenProperties()->get("NAND3_LeakagePower_11").toDouble();
47410447Snilay@cs.wisc.edu
47510447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("INV1_LeakagePower_1").toDouble();
47610447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("INV2_LeakagePower_0").toDouble();
47710447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("INV3_LeakagePower_1").toDouble();
47810447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("INV4_LeakagePower_1").toDouble();
47910447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("INVZ1_LeakagePower_100_1").toDouble();
48010447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("INVZ2_LeakagePower_011_1").toDouble();
48110447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("INVZ3_LeakagePower_101_0").toDouble();
48210447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("INVZ4_LeakagePower_010_0").toDouble();
48310447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("NAND1_LeakagePower_11").toDouble();
48410447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("NAND2_LeakagePower_10").toDouble();
48510447Snilay@cs.wisc.edu        leakage_101 += getGenProperties()->get("NAND3_LeakagePower_01").toDouble();
48610447Snilay@cs.wisc.edu
48710447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("INV1_LeakagePower_1").toDouble();
48810447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("INV2_LeakagePower_1").toDouble();
48910447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("INV3_LeakagePower_0").toDouble();
49010447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("INV4_LeakagePower_0").toDouble();
49110447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("INVZ1_LeakagePower_101_0").toDouble();
49210447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("INVZ2_LeakagePower_010_0").toDouble();
49310447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("INVZ3_LeakagePower_010_0").toDouble();
49410447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("INVZ4_LeakagePower_101_0").toDouble();
49510447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("NAND1_LeakagePower_00").toDouble();
49610447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("NAND2_LeakagePower_11").toDouble();
49710447Snilay@cs.wisc.edu        leakage_110 += getGenProperties()->get("NAND3_LeakagePower_10").toDouble();
49810447Snilay@cs.wisc.edu
49910447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("INV1_LeakagePower_1").toDouble();
50010447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("INV2_LeakagePower_1").toDouble();
50110447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("INV3_LeakagePower_1").toDouble();
50210447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("INV4_LeakagePower_0").toDouble();
50310447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("INVZ1_LeakagePower_101_0").toDouble();
50410447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("INVZ2_LeakagePower_010_0").toDouble();
50510447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("INVZ3_LeakagePower_100_1").toDouble();
50610447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("INVZ4_LeakagePower_011_1").toDouble();
50710447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("NAND1_LeakagePower_10").toDouble();
50810447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("NAND2_LeakagePower_11").toDouble();
50910447Snilay@cs.wisc.edu        leakage_111 += getGenProperties()->get("NAND3_LeakagePower_10").toDouble();
51010447Snilay@cs.wisc.edu
51110447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->!A!B!CI", leakage_000);
51210447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->!A!BCI", leakage_001);
51310447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->!AB!CI", leakage_010);
51410447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->!ABCI", leakage_011);
51510447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->A!B!CI", leakage_100);
51610447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->A!BCI", leakage_101);
51710447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->AB!CI", leakage_110);
51810447Snilay@cs.wisc.edu        cache->set(cell_name + "->Leakage->ABCI", leakage_111);
51910447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->!A!B!CI=" + (String) leakage_000);
52010447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->!A!BCI=" + (String) leakage_001);
52110447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->!AB!CI=" + (String) leakage_010);
52210447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->!ABCI=" + (String) leakage_011);
52310447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->A!B!CI=" + (String) leakage_100);
52410447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->A!BCI=" + (String) leakage_101);
52510447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->AB!CI=" + (String) leakage_110);
52610447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Leakage->ABCI=" + (String) leakage_111);
52710447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
52810447Snilay@cs.wisc.edu
52910447Snilay@cs.wisc.edu        /*
53010447Snilay@cs.wisc.edu        // Cache event energy results
53110447Snilay@cs.wisc.edu        double event_a_flip = 0.0;
53210447Snilay@cs.wisc.edu        event_a_flip += getGenProperties()->get("INV1_A_Flip").toDouble() + getGenProperties()->get("INV1_ZN_Flip").toDouble();
53310447Snilay@cs.wisc.edu        event_a_flip += getGenProperties()->get("INVZ1_OE_Flip").toDouble() + getGenProperties()->get("INVZ1_OEN_Flip").toDouble();
53410447Snilay@cs.wisc.edu        event_a_flip += getGenProperties()->get("INVZ2_OE_Flip").toDouble() + getGenProperties()->get("INVZ2_OEN_Flip").toDouble();
53510447Snilay@cs.wisc.edu        event_a_flip += getGenProperties()->get("NAND2_A1_Flip").toDouble();
53610447Snilay@cs.wisc.edu        cache->set(cell_name + "->Event_A_Flip", event_a_flip);
53710447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Event_A_Flip=" + (String) event_a_flip);
53810447Snilay@cs.wisc.edu
53910447Snilay@cs.wisc.edu        double event_b_flip = 0.0;
54010447Snilay@cs.wisc.edu        event_b_flip += getGenProperties()->get("INV2_A_Flip").toDouble() + getGenProperties()->get("INV2_ZN_Flip").toDouble();
54110447Snilay@cs.wisc.edu        event_b_flip += getGenProperties()->get("INVZ1_A_Flip").toDouble();
54210447Snilay@cs.wisc.edu        event_b_flip += getGenProperties()->get("INVZ2_A_Flip").toDouble();
54310447Snilay@cs.wisc.edu        event_b_flip += getGenProperties()->get("NAND2_A1_Flip").toDouble();
54410447Snilay@cs.wisc.edu        cache->set(cell_name + "->Event_B_Flip", event_b_flip);
54510447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Event_B_Flip=" + (String) event_b_flip);
54610447Snilay@cs.wisc.edu
54710447Snilay@cs.wisc.edu        double event_ci_flip = 0.0;
54810447Snilay@cs.wisc.edu        event_ci_flip += getGenProperties()->get("INV3_A_Flip").toDouble() + getGenProperties()->get("INV3_ZN_Flip").toDouble();
54910447Snilay@cs.wisc.edu        event_ci_flip += getGenProperties()->get("INVZ3_OE_Flip").toDouble() + getGenProperties()->get("INVZ3_OEN_Flip").toDouble();
55010447Snilay@cs.wisc.edu        event_ci_flip += getGenProperties()->get("INVZ4_OE_Flip").toDouble() + getGenProperties()->get("INVZ4_OEN_Flip").toDouble();
55110447Snilay@cs.wisc.edu        event_ci_flip += getGenProperties()->get("NAND1_A1_Flip").toDouble();
55210447Snilay@cs.wisc.edu        cache->set(cell_name + "->Event_CI_Flip", event_ci_flip);
55310447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Event_CI_Flip=" + (String) event_ci_flip);
55410447Snilay@cs.wisc.edu
55510447Snilay@cs.wisc.edu        double event_p_flip = 0.0;
55610447Snilay@cs.wisc.edu        event_p_flip += getGenProperties()->get("INV4_A_Flip").toDouble() + getGenProperties()->get("INV4_ZN_Flip").toDouble();
55710447Snilay@cs.wisc.edu        event_p_flip += getGenProperties()->get("INVZ1_ZN_Flip").toDouble();
55810447Snilay@cs.wisc.edu        event_p_flip += getGenProperties()->get("INVZ2_ZN_Flip").toDouble();
55910447Snilay@cs.wisc.edu        event_p_flip += getGenProperties()->get("NAND1_A2_Flip").toDouble();
56010447Snilay@cs.wisc.edu        cache->set(cell_name + "->Event_P_Flip", event_p_flip);
56110447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Event_P_Flip=" + (String) event_p_flip);
56210447Snilay@cs.wisc.edu
56310447Snilay@cs.wisc.edu        double event_s_flip = 0.0;
56410447Snilay@cs.wisc.edu        event_s_flip += getGenProperties()->get("INVZ3_ZN_Flip").toDouble();
56510447Snilay@cs.wisc.edu        event_s_flip += getGenProperties()->get("INVZ4_ZN_Flip").toDouble();
56610447Snilay@cs.wisc.edu        cache->set(cell_name + "->Event_S_Flip", event_s_flip);
56710447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Event_S_Flip=" + (String) event_s_flip);
56810447Snilay@cs.wisc.edu
56910447Snilay@cs.wisc.edu        double event_cp_flip = 0.0;
57010447Snilay@cs.wisc.edu        event_cp_flip += getGenProperties()->get("NAND1_ZN_Flip").toDouble();
57110447Snilay@cs.wisc.edu        event_cp_flip += getGenProperties()->get("NAND3_A2_Flip").toDouble();
57210447Snilay@cs.wisc.edu        cache->set(cell_name + "->Event_CP_Flip", event_cp_flip);
57310447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Event_CP_Flip=" + (String) event_cp_flip);
57410447Snilay@cs.wisc.edu
57510447Snilay@cs.wisc.edu        double event_g_flip = 0.0;
57610447Snilay@cs.wisc.edu        event_g_flip += getGenProperties()->get("NAND2_ZN_Flip").toDouble();
57710447Snilay@cs.wisc.edu        event_g_flip += getGenProperties()->get("NAND3_A2_Flip").toDouble();
57810447Snilay@cs.wisc.edu        cache->set(cell_name + "->Event_G_Flip", event_g_flip);
57910447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Event_G_Flip=" + (String) event_g_flip);
58010447Snilay@cs.wisc.edu
58110447Snilay@cs.wisc.edu        double event_co_flip = 0.0;
58210447Snilay@cs.wisc.edu        event_co_flip += getGenProperties()->get("NAND3_ZN_Flip").toDouble();
58310447Snilay@cs.wisc.edu        cache->set(cell_name + "->Event_CO_Flip", event_co_flip);
58410447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Event_CO_Flip=" + (String) event_co_flip);
58510447Snilay@cs.wisc.edu        */
58610447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
58710447Snilay@cs.wisc.edu        // Get Node Capacitances
58810447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
58910447Snilay@cs.wisc.edu        double a_cap = getNet("A")->getTotalDownstreamCap();
59010447Snilay@cs.wisc.edu        double b_cap = getNet("B")->getTotalDownstreamCap();
59110447Snilay@cs.wisc.edu        double ci_cap = getNet("CI")->getTotalDownstreamCap();
59210447Snilay@cs.wisc.edu        double a_b_cap = getNet("A_b")->getTotalDownstreamCap();
59310447Snilay@cs.wisc.edu        double b_b_cap = getNet("B_b")->getTotalDownstreamCap();
59410447Snilay@cs.wisc.edu        double ci_b_cap = getNet("CI_b")->getTotalDownstreamCap();
59510447Snilay@cs.wisc.edu        double p_cap = getNet("P")->getTotalDownstreamCap();
59610447Snilay@cs.wisc.edu        double p_b_cap = getNet("P_b")->getTotalDownstreamCap();
59710447Snilay@cs.wisc.edu        double s_cap = getNet("S")->getTotalDownstreamCap();
59810447Snilay@cs.wisc.edu        double cp_cap = getNet("CP")->getTotalDownstreamCap();
59910447Snilay@cs.wisc.edu        double g_cap = getNet("G")->getTotalDownstreamCap();
60010447Snilay@cs.wisc.edu        double co_cap = getNet("CO")->getTotalDownstreamCap();
60110447Snilay@cs.wisc.edu
60210447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->A", a_cap);
60310447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->B", b_cap);
60410447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->CI", ci_cap);
60510447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->A_b", a_b_cap);
60610447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->B_b", b_b_cap);
60710447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->CI_b", ci_b_cap);
60810447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->P", p_cap);
60910447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->P_b", p_b_cap);
61010447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->S", s_cap);
61110447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->CP", cp_cap);
61210447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->G", g_cap);
61310447Snilay@cs.wisc.edu        cache->set(cell_name + "->Cap->CO", co_cap);
61410447Snilay@cs.wisc.edu
61510447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->A=" + (String) a_cap);
61610447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->B=" + (String) b_cap);
61710447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->CI=" + (String) ci_cap);
61810447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->A_b=" + (String) a_b_cap);
61910447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->B_b=" + (String) b_b_cap);
62010447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->CI_b=" + (String) ci_b_cap);
62110447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->P=" + (String) p_cap);
62210447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->P_b=" + (String) p_b_cap);
62310447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->S=" + (String) s_cap);
62410447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->CP=" + (String) cp_cap);
62510447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->G=" + (String) g_cap);
62610447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Cap->CO=" + (String) co_cap);
62710447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
62810447Snilay@cs.wisc.edu
62910447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
63010447Snilay@cs.wisc.edu        // Build Internal Delay Model
63110447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
63210447Snilay@cs.wisc.edu        // Build abstracted timing model
63310447Snilay@cs.wisc.edu        double s_ron = (getDriver("INVZ3_RonZN")->getOutputRes() + getDriver("INVZ4_RonZN")->getOutputRes()) / 2;
63410447Snilay@cs.wisc.edu        double co_ron = getDriver("NAND3_RonZN")->getOutputRes();
63510447Snilay@cs.wisc.edu
63610447Snilay@cs.wisc.edu        double a_to_s_delay = 0.0;
63710447Snilay@cs.wisc.edu        a_to_s_delay += getDriver("INV1_RonZN")->calculateDelay();
63810447Snilay@cs.wisc.edu        a_to_s_delay += max(getDriver("INVZ1_RonZN")->calculateDelay(), getDriver("INVZ2_RonZN")->calculateDelay());
63910447Snilay@cs.wisc.edu        a_to_s_delay += max(getDriver("INVZ3_RonZN")->calculateDelay(), getDriver("INV4_RonZN")->calculateDelay() + getDriver("INVZ4_RonZN")->calculateDelay());
64010447Snilay@cs.wisc.edu
64110447Snilay@cs.wisc.edu        double b_to_s_delay = 0.0;
64210447Snilay@cs.wisc.edu        b_to_s_delay += max(getDriver("INVZ1_RonZN")->calculateDelay(), getDriver("INV2_RonZN")->calculateDelay() + getDriver("INVZ2_RonZN")->calculateDelay());
64310447Snilay@cs.wisc.edu        b_to_s_delay += max(getDriver("INVZ3_RonZN")->calculateDelay(), getDriver("INV4_RonZN")->calculateDelay() + getDriver("INVZ4_RonZN")->calculateDelay());
64410447Snilay@cs.wisc.edu
64510447Snilay@cs.wisc.edu        double ci_to_s_delay = 0.0;
64610447Snilay@cs.wisc.edu        ci_to_s_delay += getDriver("INV3_RonZN")->calculateDelay();
64710447Snilay@cs.wisc.edu        ci_to_s_delay += max(getDriver("INVZ3_RonZN")->calculateDelay(), getDriver("INVZ4_RonZN")->calculateDelay());
64810447Snilay@cs.wisc.edu
64910447Snilay@cs.wisc.edu        double a_to_co_delay = 0.0;
65010447Snilay@cs.wisc.edu        a_to_co_delay += max(getDriver("NAND2_RonZN")->calculateDelay(),              //Generate path
65110447Snilay@cs.wisc.edu                            getDriver("INV1_RonZN")->calculateDelay() +             //Carry propagate path
65210447Snilay@cs.wisc.edu                            max(getDriver("INVZ1_RonZN")->calculateDelay(), getDriver("INVZ2_RonZN")->calculateDelay()) +
65310447Snilay@cs.wisc.edu                            getDriver("NAND1_RonZN")->calculateDelay());
65410447Snilay@cs.wisc.edu        a_to_co_delay += getDriver("NAND3_RonZN")->calculateDelay();
65510447Snilay@cs.wisc.edu
65610447Snilay@cs.wisc.edu        double b_to_co_delay = 0.0;
65710447Snilay@cs.wisc.edu        b_to_co_delay += max(getDriver("NAND2_RonZN")->calculateDelay(),              //Generate path
65810447Snilay@cs.wisc.edu                            max(getDriver("INVZ1_RonZN")->calculateDelay(),         //Carry propagate path
65910447Snilay@cs.wisc.edu                                getDriver("INV2_RonZN")->calculateDelay() + getDriver("INVZ2_RonZN")->calculateDelay()) +
66010447Snilay@cs.wisc.edu                                getDriver("NAND1_RonZN")->calculateDelay());
66110447Snilay@cs.wisc.edu        b_to_co_delay += getDriver("NAND3_RonZN")->calculateDelay();
66210447Snilay@cs.wisc.edu
66310447Snilay@cs.wisc.edu        double ci_to_co_delay = 0.0;
66410447Snilay@cs.wisc.edu        ci_to_co_delay += getDriver("NAND1_RonZN")->calculateDelay();
66510447Snilay@cs.wisc.edu        ci_to_co_delay += getDriver("NAND3_RonZN")->calculateDelay();
66610447Snilay@cs.wisc.edu
66710447Snilay@cs.wisc.edu        cache->set(cell_name + "->DriveRes->S", s_ron);
66810447Snilay@cs.wisc.edu        cache->set(cell_name + "->DriveRes->CO", co_ron);
66910447Snilay@cs.wisc.edu
67010447Snilay@cs.wisc.edu        cache->set(cell_name + "->Delay->A_to_S", a_to_s_delay);
67110447Snilay@cs.wisc.edu        cache->set(cell_name + "->Delay->B_to_S", b_to_s_delay);
67210447Snilay@cs.wisc.edu        cache->set(cell_name + "->Delay->CI_to_S", ci_to_s_delay);
67310447Snilay@cs.wisc.edu        cache->set(cell_name + "->Delay->A_to_CO", a_to_co_delay);
67410447Snilay@cs.wisc.edu        cache->set(cell_name + "->Delay->B_to_CO", b_to_co_delay);
67510447Snilay@cs.wisc.edu        cache->set(cell_name + "->Delay->CI_to_CO", ci_to_co_delay);
67610447Snilay@cs.wisc.edu
67710447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->DriveRes->S=" + (String) s_ron);
67810447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->DriveRes->CO=" + (String) co_ron);
67910447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Delay->A_to_S=" + (String) a_to_s_delay);
68010447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Delay->B_to_S=" + (String) b_to_s_delay);
68110447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Delay->CI_to_S=" + (String) ci_to_s_delay);
68210447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Delay->A_to_CO=" + (String) a_to_co_delay);
68310447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Delay->B_to_CO=" + (String) b_to_co_delay);
68410447Snilay@cs.wisc.edu        Log::printLine(cell_name + "->Delay->CI_to_CO=" + (String) ci_to_co_delay);
68510447Snilay@cs.wisc.edu        // --------------------------------------------------------------------
68610447Snilay@cs.wisc.edu
68710447Snilay@cs.wisc.edu        return;
68810447Snilay@cs.wisc.edu
68910447Snilay@cs.wisc.edu    }
69010447Snilay@cs.wisc.edu
69110447Snilay@cs.wisc.edu} // namespace DSENT
69210447Snilay@cs.wisc.edu
693