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/NOR2.h" 2310447Snilay@cs.wisc.edu 2410447Snilay@cs.wisc.edu#include <cmath> 2510447Snilay@cs.wisc.edu 2610447Snilay@cs.wisc.edu#include "model/PortInfo.h" 2710447Snilay@cs.wisc.edu#include "model/TransitionInfo.h" 2810447Snilay@cs.wisc.edu#include "model/EventInfo.h" 2910447Snilay@cs.wisc.edu#include "model/std_cells/StdCellLib.h" 3010447Snilay@cs.wisc.edu#include "model/std_cells/CellMacros.h" 3110447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalNet.h" 3210447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalDriver.h" 3310447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalLoad.h" 3410447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalDelay.h" 3510447Snilay@cs.wisc.edu 3610447Snilay@cs.wisc.edunamespace DSENT 3710447Snilay@cs.wisc.edu{ 3810447Snilay@cs.wisc.edu using std::ceil; 3910447Snilay@cs.wisc.edu using std::max; 4010447Snilay@cs.wisc.edu 4110447Snilay@cs.wisc.edu NOR2::NOR2(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 initProperties(); 4510447Snilay@cs.wisc.edu } 4610447Snilay@cs.wisc.edu 4710447Snilay@cs.wisc.edu NOR2::~NOR2() 4810447Snilay@cs.wisc.edu {} 4910447Snilay@cs.wisc.edu 5010447Snilay@cs.wisc.edu void NOR2::initProperties() 5110447Snilay@cs.wisc.edu { 5210447Snilay@cs.wisc.edu return; 5310447Snilay@cs.wisc.edu } 5410447Snilay@cs.wisc.edu 5510447Snilay@cs.wisc.edu void NOR2::constructModel() 5610447Snilay@cs.wisc.edu { 5710447Snilay@cs.wisc.edu // All constructModel should do is create Area/NDDPower/Energy Results as 5810447Snilay@cs.wisc.edu // well as instantiate any sub-instances using only the hard parameters 5910447Snilay@cs.wisc.edu 6010447Snilay@cs.wisc.edu createInputPort("A"); 6110447Snilay@cs.wisc.edu createInputPort("B"); 6210447Snilay@cs.wisc.edu createOutputPort("Y"); 6310447Snilay@cs.wisc.edu 6410447Snilay@cs.wisc.edu createLoad("A_Cap"); 6510447Snilay@cs.wisc.edu createLoad("B_Cap"); 6610447Snilay@cs.wisc.edu createDelay("A_to_Y_delay"); 6710447Snilay@cs.wisc.edu createDelay("B_to_Y_delay"); 6810447Snilay@cs.wisc.edu createDriver("Y_Ron", true); 6910447Snilay@cs.wisc.edu 7010447Snilay@cs.wisc.edu ElectricalLoad* a_cap = getLoad("A_Cap"); 7110447Snilay@cs.wisc.edu ElectricalLoad* b_cap = getLoad("A_Cap"); 7210447Snilay@cs.wisc.edu ElectricalDelay* a_to_y_delay = getDelay("A_to_Y_delay"); 7310447Snilay@cs.wisc.edu ElectricalDelay* b_to_y_delay = getDelay("B_to_Y_delay"); 7410447Snilay@cs.wisc.edu ElectricalDriver* y_ron = getDriver("Y_Ron"); 7510447Snilay@cs.wisc.edu 7610447Snilay@cs.wisc.edu getNet("A")->addDownstreamNode(a_cap); 7710447Snilay@cs.wisc.edu getNet("B")->addDownstreamNode(b_cap); 7810447Snilay@cs.wisc.edu a_cap->addDownstreamNode(a_to_y_delay); 7910447Snilay@cs.wisc.edu b_cap->addDownstreamNode(b_to_y_delay); 8010447Snilay@cs.wisc.edu a_to_y_delay->addDownstreamNode(y_ron); 8110447Snilay@cs.wisc.edu b_to_y_delay->addDownstreamNode(y_ron); 8210447Snilay@cs.wisc.edu y_ron->addDownstreamNode(getNet("Y")); 8310447Snilay@cs.wisc.edu 8410447Snilay@cs.wisc.edu // Create Area result 8510447Snilay@cs.wisc.edu // Create NDD Power result 8610447Snilay@cs.wisc.edu createElectricalAtomicResults(); 8710447Snilay@cs.wisc.edu // Create NOR Event Energy Result 8810447Snilay@cs.wisc.edu createElectricalEventAtomicResult("NOR2"); 8910447Snilay@cs.wisc.edu 9010447Snilay@cs.wisc.edu getEventInfo("Idle")->setStaticTransitionInfos(); 9110447Snilay@cs.wisc.edu 9210447Snilay@cs.wisc.edu return; 9310447Snilay@cs.wisc.edu } 9410447Snilay@cs.wisc.edu 9510447Snilay@cs.wisc.edu void NOR2::updateModel() 9610447Snilay@cs.wisc.edu { 9710447Snilay@cs.wisc.edu // All updateModel should do is calculate numbers for the Area/NDDPower/Energy 9810447Snilay@cs.wisc.edu // Results as anything else that needs to be done using either soft or hard parameters 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 // Standard cell cache string 10510447Snilay@cs.wisc.edu String cell_name = "NOR2_X" + (String) drive_strength; 10610447Snilay@cs.wisc.edu 10710447Snilay@cs.wisc.edu // Get timing parameters 10810447Snilay@cs.wisc.edu getLoad("A_Cap")->setLoadCap(cache->get(cell_name + "->Cap->A")); 10910447Snilay@cs.wisc.edu getLoad("B_Cap")->setLoadCap(cache->get(cell_name + "->Cap->B")); 11010447Snilay@cs.wisc.edu getDelay("A_to_Y_delay")->setDelay(cache->get(cell_name + "->Delay->A_to_Y")); 11110447Snilay@cs.wisc.edu getDelay("B_to_Y_delay")->setDelay(cache->get(cell_name + "->Delay->B_to_Y")); 11210447Snilay@cs.wisc.edu getDriver("Y_Ron")->setOutputRes(cache->get(cell_name + "->DriveRes->Y")); 11310447Snilay@cs.wisc.edu 11410447Snilay@cs.wisc.edu // Set the cell area 11510447Snilay@cs.wisc.edu getAreaResult("Active")->setValue(cache->get(cell_name + "->ActiveArea")); 11610447Snilay@cs.wisc.edu getAreaResult("Metal1Wire")->setValue(cache->get(cell_name + "->ActiveArea")); 11710447Snilay@cs.wisc.edu 11810447Snilay@cs.wisc.edu return; 11910447Snilay@cs.wisc.edu } 12010447Snilay@cs.wisc.edu 12110447Snilay@cs.wisc.edu void NOR2::useModel() 12210447Snilay@cs.wisc.edu { 12310447Snilay@cs.wisc.edu // Get parameters 12410447Snilay@cs.wisc.edu double drive_strength = getDrivingStrength(); 12510447Snilay@cs.wisc.edu Map<double>* cache = getTechModel()->getStdCellLib()->getStdCellCache(); 12610447Snilay@cs.wisc.edu 12710447Snilay@cs.wisc.edu // Standard cell cache string 12810447Snilay@cs.wisc.edu String cell_name = "NOR2_X" + (String) drive_strength; 12910447Snilay@cs.wisc.edu 13010447Snilay@cs.wisc.edu // Propagate the transition info and get the 0->1 transtion count 13110447Snilay@cs.wisc.edu propagateTransitionInfo(); 13210447Snilay@cs.wisc.edu double P_A = getInputPort("A")->getTransitionInfo().getProbability1(); 13310447Snilay@cs.wisc.edu double P_B = getInputPort("B")->getTransitionInfo().getProbability1(); 13410447Snilay@cs.wisc.edu double Y_num_trans_01 = getOutputPort("Y")->getTransitionInfo().getNumberTransitions01(); 13510447Snilay@cs.wisc.edu 13610447Snilay@cs.wisc.edu // Calculate leakage 13710447Snilay@cs.wisc.edu double leakage = 0; 13810447Snilay@cs.wisc.edu leakage += cache->get(cell_name + "->Leakage->!A!B") * (1 - P_A) * (1 - P_B); 13910447Snilay@cs.wisc.edu leakage += cache->get(cell_name + "->Leakage->!AB") * (1 - P_A) * P_B; 14010447Snilay@cs.wisc.edu leakage += cache->get(cell_name + "->Leakage->A!B") * P_A * (1 - P_B); 14110447Snilay@cs.wisc.edu leakage += cache->get(cell_name + "->Leakage->AB") * P_A * P_B; 14210447Snilay@cs.wisc.edu getNddPowerResult("Leakage")->setValue(leakage); 14310447Snilay@cs.wisc.edu 14410447Snilay@cs.wisc.edu // Get VDD 14510447Snilay@cs.wisc.edu double vdd = getTechModel()->get("Vdd"); 14610447Snilay@cs.wisc.edu // Get capacitances 14710447Snilay@cs.wisc.edu double y_cap = cache->get(cell_name + "->Cap->Y"); 14810447Snilay@cs.wisc.edu double y_load_cap = getNet("Y")->getTotalDownstreamCap(); 14910447Snilay@cs.wisc.edu 15010447Snilay@cs.wisc.edu // Calculate NOR2Event energy 15110447Snilay@cs.wisc.edu double energy_per_trans_01 = (y_cap + y_load_cap) * vdd * vdd; 15210447Snilay@cs.wisc.edu getEventResult("NOR2")->setValue(energy_per_trans_01 * Y_num_trans_01); 15310447Snilay@cs.wisc.edu 15410447Snilay@cs.wisc.edu return; 15510447Snilay@cs.wisc.edu } 15610447Snilay@cs.wisc.edu 15710447Snilay@cs.wisc.edu void NOR2::propagateTransitionInfo() 15810447Snilay@cs.wisc.edu { 15910447Snilay@cs.wisc.edu // Get input signal transition info 16010447Snilay@cs.wisc.edu const TransitionInfo& trans_A = getInputPort("A")->getTransitionInfo(); 16110447Snilay@cs.wisc.edu const TransitionInfo& trans_B = getInputPort("B")->getTransitionInfo(); 16210447Snilay@cs.wisc.edu 16310447Snilay@cs.wisc.edu double max_freq_mult = max(trans_A.getFrequencyMultiplier(), trans_B.getFrequencyMultiplier()); 16410447Snilay@cs.wisc.edu const TransitionInfo& scaled_trans_A = trans_A.scaleFrequencyMultiplier(max_freq_mult); 16510447Snilay@cs.wisc.edu const TransitionInfo& scaled_trans_B = trans_B.scaleFrequencyMultiplier(max_freq_mult); 16610447Snilay@cs.wisc.edu 16710447Snilay@cs.wisc.edu double A_prob_00 = scaled_trans_A.getNumberTransitions00() / max_freq_mult; 16810447Snilay@cs.wisc.edu double A_prob_01 = scaled_trans_A.getNumberTransitions01() / max_freq_mult; 16910447Snilay@cs.wisc.edu double A_prob_10 = A_prob_01; 17010447Snilay@cs.wisc.edu double A_prob_11 = scaled_trans_A.getNumberTransitions11() / max_freq_mult; 17110447Snilay@cs.wisc.edu double B_prob_00 = scaled_trans_B.getNumberTransitions00() / max_freq_mult; 17210447Snilay@cs.wisc.edu double B_prob_01 = scaled_trans_B.getNumberTransitions01() / max_freq_mult; 17310447Snilay@cs.wisc.edu double B_prob_10 = B_prob_01; 17410447Snilay@cs.wisc.edu double B_prob_11 = scaled_trans_B.getNumberTransitions11() / max_freq_mult; 17510447Snilay@cs.wisc.edu 17610447Snilay@cs.wisc.edu // Set output transition info 17710447Snilay@cs.wisc.edu double Y_prob_00 = A_prob_00 * B_prob_11 + 17810447Snilay@cs.wisc.edu A_prob_01 * (B_prob_10 + B_prob_11) + 17910447Snilay@cs.wisc.edu A_prob_10 * (B_prob_01 + B_prob_11) + 18010447Snilay@cs.wisc.edu A_prob_11; 18110447Snilay@cs.wisc.edu double Y_prob_01 = A_prob_00 * B_prob_10 + 18210447Snilay@cs.wisc.edu A_prob_10 * (B_prob_00 + B_prob_10); 18310447Snilay@cs.wisc.edu double Y_prob_11 = A_prob_00 * B_prob_00; 18410447Snilay@cs.wisc.edu 18510447Snilay@cs.wisc.edu // Check that probabilities add up to 1.0 with some finite tolerance 18610447Snilay@cs.wisc.edu ASSERT(LibUtil::Math::isEqual((Y_prob_00 + Y_prob_01 + Y_prob_01 + Y_prob_11), 1.0), 18710447Snilay@cs.wisc.edu "[Error] " + getInstanceName() + "Output transition probabilities must add up to 1 (" + 18810447Snilay@cs.wisc.edu (String) Y_prob_00 + ", " + (String) Y_prob_01 + ", " + (String) Y_prob_11 + ")!"); 18910447Snilay@cs.wisc.edu 19010447Snilay@cs.wisc.edu // Turn probability of transitions per cycle into number of transitions per time unit 19110447Snilay@cs.wisc.edu TransitionInfo trans_Y(Y_prob_00 * max_freq_mult, Y_prob_01 * max_freq_mult, Y_prob_11 * max_freq_mult); 19210447Snilay@cs.wisc.edu getOutputPort("Y")->setTransitionInfo(trans_Y); 19310447Snilay@cs.wisc.edu return; 19410447Snilay@cs.wisc.edu } 19510447Snilay@cs.wisc.edu 19610447Snilay@cs.wisc.edu void NOR2::cacheStdCell(StdCellLib* cell_lib_, double drive_strength_) 19710447Snilay@cs.wisc.edu { 19810447Snilay@cs.wisc.edu // Standard cell cache string 19910447Snilay@cs.wisc.edu String cell_name = "NOR2_X" + (String) drive_strength_; 20010447Snilay@cs.wisc.edu 20110447Snilay@cs.wisc.edu Log::printLine("=== " + cell_name + " ==="); 20210447Snilay@cs.wisc.edu 20310447Snilay@cs.wisc.edu // Get parameters 20410447Snilay@cs.wisc.edu double gate_pitch = cell_lib_->getTechModel()->get("Gate->PitchContacted"); 20510447Snilay@cs.wisc.edu Map<double>* cache = cell_lib_->getStdCellCache(); 20610447Snilay@cs.wisc.edu 20710447Snilay@cs.wisc.edu // Now actually build the full standard cell model 20810447Snilay@cs.wisc.edu // Create the two input ports 20910447Snilay@cs.wisc.edu createInputPort("A"); 21010447Snilay@cs.wisc.edu createInputPort("B"); 21110447Snilay@cs.wisc.edu createOutputPort("Y"); 21210447Snilay@cs.wisc.edu 21310447Snilay@cs.wisc.edu // Adds macros 21410447Snilay@cs.wisc.edu CellMacros::addNor2(this, "NOR", true, true, true, "A", "B", "Y"); 21510447Snilay@cs.wisc.edu CellMacros::updateNor2(this, "NOR", drive_strength_); 21610447Snilay@cs.wisc.edu 21710447Snilay@cs.wisc.edu // Cache area result 21810447Snilay@cs.wisc.edu double area = gate_pitch * getTotalHeight() * (1 + getGenProperties()->get("NOR_GatePitches").toDouble()); 21910447Snilay@cs.wisc.edu cache->set(cell_name + "->ActiveArea", area); 22010447Snilay@cs.wisc.edu Log::printLine(cell_name + "->ActiveArea=" + (String) area); 22110447Snilay@cs.wisc.edu 22210447Snilay@cs.wisc.edu // -------------------------------------------------------------------- 22310447Snilay@cs.wisc.edu // Leakage Model Calculation 22410447Snilay@cs.wisc.edu // -------------------------------------------------------------------- 22510447Snilay@cs.wisc.edu double leakage_00 = getGenProperties()->get("NOR_LeakagePower_00").toDouble(); 22610447Snilay@cs.wisc.edu double leakage_01 = getGenProperties()->get("NOR_LeakagePower_01").toDouble(); 22710447Snilay@cs.wisc.edu double leakage_10 = getGenProperties()->get("NOR_LeakagePower_10").toDouble(); 22810447Snilay@cs.wisc.edu double leakage_11 = getGenProperties()->get("NOR_LeakagePower_11").toDouble(); 22910447Snilay@cs.wisc.edu cache->set(cell_name + "->Leakage->!A!B", leakage_00); 23010447Snilay@cs.wisc.edu cache->set(cell_name + "->Leakage->!AB", leakage_01); 23110447Snilay@cs.wisc.edu cache->set(cell_name + "->Leakage->A!B", leakage_10); 23210447Snilay@cs.wisc.edu cache->set(cell_name + "->Leakage->AB", leakage_11); 23310447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Leakage->!A!B=" + (String) leakage_00); 23410447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Leakage->!AB=" + (String) leakage_01); 23510447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Leakage->A!B=" + (String) leakage_10); 23610447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Leakage->AB=" + (String) leakage_11); 23710447Snilay@cs.wisc.edu // -------------------------------------------------------------------- 23810447Snilay@cs.wisc.edu 23910447Snilay@cs.wisc.edu /* 24010447Snilay@cs.wisc.edu // Cache event energy results 24110447Snilay@cs.wisc.edu double event_a_flip = getGenProperties()->get("NOR_A1_Flip").toDouble(); 24210447Snilay@cs.wisc.edu double event_b_flip = getGenProperties()->get("NOR_A2_Flip").toDouble(); 24310447Snilay@cs.wisc.edu double event_zn_flip = getGenProperties()->get("NOR_ZN_Flip").toDouble(); 24410447Snilay@cs.wisc.edu 24510447Snilay@cs.wisc.edu cache->set(cell_name + "->Event_A_Flip", event_a_flip); 24610447Snilay@cs.wisc.edu cache->set(cell_name + "->Event_B_Flip", event_b_flip); 24710447Snilay@cs.wisc.edu cache->set(cell_name + "->Event_ZN_Flip", event_zn_flip); 24810447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Event_A_Flip=" + (String) event_a_flip); 24910447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Event_B_Flip=" + (String) event_b_flip); 25010447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Event_ZN_Flip=" + (String) event_zn_flip); 25110447Snilay@cs.wisc.edu */ 25210447Snilay@cs.wisc.edu 25310447Snilay@cs.wisc.edu // -------------------------------------------------------------------- 25410447Snilay@cs.wisc.edu // Get Node Capacitances 25510447Snilay@cs.wisc.edu // -------------------------------------------------------------------- 25610447Snilay@cs.wisc.edu // Build abstracted timing model 25710447Snilay@cs.wisc.edu double a_cap = getNet("A")->getTotalDownstreamCap(); 25810447Snilay@cs.wisc.edu double b_cap = getNet("B")->getTotalDownstreamCap(); 25910447Snilay@cs.wisc.edu double y_cap = getNet("Y")->getTotalDownstreamCap(); 26010447Snilay@cs.wisc.edu 26110447Snilay@cs.wisc.edu cache->set(cell_name + "->Cap->A", a_cap); 26210447Snilay@cs.wisc.edu cache->set(cell_name + "->Cap->B", b_cap); 26310447Snilay@cs.wisc.edu cache->set(cell_name + "->Cap->Y", y_cap); 26410447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Cap->A_Cap=" + (String) a_cap); 26510447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Cap->B_Cap=" + (String) b_cap); 26610447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Cap->Y_Cap=" + (String) y_cap); 26710447Snilay@cs.wisc.edu // -------------------------------------------------------------------- 26810447Snilay@cs.wisc.edu 26910447Snilay@cs.wisc.edu // -------------------------------------------------------------------- 27010447Snilay@cs.wisc.edu // Build Internal Delay Model 27110447Snilay@cs.wisc.edu // -------------------------------------------------------------------- 27210447Snilay@cs.wisc.edu double y_ron = getDriver("NOR_RonZN")->getOutputRes(); 27310447Snilay@cs.wisc.edu double a_to_y_delay = getDriver("NOR_RonZN")->calculateDelay(); 27410447Snilay@cs.wisc.edu double b_to_y_delay = getDriver("NOR_RonZN")->calculateDelay(); 27510447Snilay@cs.wisc.edu 27610447Snilay@cs.wisc.edu cache->set(cell_name + "->DriveRes->Y", y_ron); 27710447Snilay@cs.wisc.edu cache->set(cell_name + "->Delay->A_to_Y", a_to_y_delay); 27810447Snilay@cs.wisc.edu cache->set(cell_name + "->Delay->B_to_Y", b_to_y_delay); 27910447Snilay@cs.wisc.edu Log::printLine(cell_name + "->DriveRes->Y=" + (String) y_ron); 28010447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Delay->A_to_Y=" + (String) a_to_y_delay); 28110447Snilay@cs.wisc.edu Log::printLine(cell_name + "->Delay->B_to_Y=" + (String) b_to_y_delay); 28210447Snilay@cs.wisc.edu // -------------------------------------------------------------------- 28310447Snilay@cs.wisc.edu 28410447Snilay@cs.wisc.edu return; 28510447Snilay@cs.wisc.edu 28610447Snilay@cs.wisc.edu } 28710447Snilay@cs.wisc.edu 28810447Snilay@cs.wisc.edu} // namespace DSENT 28910447Snilay@cs.wisc.edu 290