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