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