TestModel.cc revision 10447
110447Snilay@cs.wisc.edu#include "model/electrical/TestModel.h" 210447Snilay@cs.wisc.edu 310447Snilay@cs.wisc.edu#include <cmath> 410447Snilay@cs.wisc.edu 510447Snilay@cs.wisc.edu#include "model/std_cells/StdCell.h" 610447Snilay@cs.wisc.edu#include "model/std_cells/StdCellLib.h" 710447Snilay@cs.wisc.edu#include "model/electrical/RippleAdder.h" 810447Snilay@cs.wisc.edu#include "model/electrical/Multiplexer.h" 910447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalNet.h" 1010447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalDriver.h" 1110447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalLoad.h" 1210447Snilay@cs.wisc.edu#include "model/timing_graph/ElectricalTimingTree.h" 1310447Snilay@cs.wisc.edu 1410447Snilay@cs.wisc.edunamespace DSENT 1510447Snilay@cs.wisc.edu{ 1610447Snilay@cs.wisc.edu TestModel::TestModel(const String& instance_name_, const TechModel* tech_model_) 1710447Snilay@cs.wisc.edu : ElectricalModel(instance_name_, tech_model_) 1810447Snilay@cs.wisc.edu { 1910447Snilay@cs.wisc.edu initProperties(); 2010447Snilay@cs.wisc.edu } 2110447Snilay@cs.wisc.edu 2210447Snilay@cs.wisc.edu TestModel::~TestModel() 2310447Snilay@cs.wisc.edu {} 2410447Snilay@cs.wisc.edu 2510447Snilay@cs.wisc.edu void TestModel::initProperties() 2610447Snilay@cs.wisc.edu { 2710447Snilay@cs.wisc.edu return; 2810447Snilay@cs.wisc.edu } 2910447Snilay@cs.wisc.edu 3010447Snilay@cs.wisc.edu TestModel* TestModel::clone() const 3110447Snilay@cs.wisc.edu { 3210447Snilay@cs.wisc.edu return NULL; 3310447Snilay@cs.wisc.edu } 3410447Snilay@cs.wisc.edu 3510447Snilay@cs.wisc.edu void TestModel::constructModel() 3610447Snilay@cs.wisc.edu { 3710447Snilay@cs.wisc.edu unsigned int num_bits = 64; 3810447Snilay@cs.wisc.edu unsigned int mux_bits = 1; 3910447Snilay@cs.wisc.edu 4010447Snilay@cs.wisc.edu // Create the instance 4110447Snilay@cs.wisc.edu createNet("CK"); 4210447Snilay@cs.wisc.edu createNet("CI"); 4310447Snilay@cs.wisc.edu getNet("CI")->setDistributedCap(100e-15); 4410447Snilay@cs.wisc.edu getNet("CI")->setDistributedRes(10); 4510447Snilay@cs.wisc.edu createNet("CO"); 4610447Snilay@cs.wisc.edu createNet("A", makeNetIndex(0, num_bits - 1)); 4710447Snilay@cs.wisc.edu createNet("B", makeNetIndex(0, num_bits - 1)); 4810447Snilay@cs.wisc.edu createNet("S", makeNetIndex(0, num_bits - 1)); 4910447Snilay@cs.wisc.edu 5010447Snilay@cs.wisc.edu StdCell* ci_reg = getTechModel()->getStdCellLib()->createStdCell("DFFQ", "DFFQ-CI"); 5110447Snilay@cs.wisc.edu ci_reg->setProperty("P(D)", 0.5); 5210447Snilay@cs.wisc.edu ci_reg->setProperty("P(CK)", 0.5); 5310447Snilay@cs.wisc.edu ci_reg->construct(); 5410447Snilay@cs.wisc.edu portConnect(ci_reg, "Q", "CI"); 5510447Snilay@cs.wisc.edu portConnect(ci_reg, "CK", "CK"); 5610447Snilay@cs.wisc.edu //ci_reg->connect("Q", getNet("CI")); 5710447Snilay@cs.wisc.edu //ci_reg->connect("CK", getNet("CK")); 5810447Snilay@cs.wisc.edu addSubInstances(ci_reg, 1.0); 5910447Snilay@cs.wisc.edu 6010447Snilay@cs.wisc.edu StdCell* co_reg = getTechModel()->getStdCellLib()->createStdCell("DFFQ", "DFFQ-CO"); 6110447Snilay@cs.wisc.edu co_reg->setProperty("P(D)", 0.5); 6210447Snilay@cs.wisc.edu co_reg->setProperty("P(CK)", 0.5); 6310447Snilay@cs.wisc.edu co_reg->construct(); 6410447Snilay@cs.wisc.edu portConnect(co_reg, "D", "CO"); 6510447Snilay@cs.wisc.edu portConnect(co_reg, "CK", "CK"); 6610447Snilay@cs.wisc.edu //co_reg->connect("D", getNet("CO")); 6710447Snilay@cs.wisc.edu //co_reg->connect("CK", getNet("CK")); 6810447Snilay@cs.wisc.edu addSubInstances(co_reg, 1.0); 6910447Snilay@cs.wisc.edu 7010447Snilay@cs.wisc.edu for (unsigned int i = 0; i < num_bits; i++) 7110447Snilay@cs.wisc.edu { 7210447Snilay@cs.wisc.edu StdCell* a_reg = getTechModel()->getStdCellLib()->createStdCell("DFFQ", "DFFQ-A[" + (String) i + "]"); 7310447Snilay@cs.wisc.edu a_reg->setProperty("P(D)", 0.5); 7410447Snilay@cs.wisc.edu a_reg->setProperty("P(CK)", 0.5); 7510447Snilay@cs.wisc.edu a_reg->construct(); 7610447Snilay@cs.wisc.edu portConnect(a_reg, "Q", "A", makeNetIndex(i)); 7710447Snilay@cs.wisc.edu portConnect(a_reg, "CK", "CK"); 7810447Snilay@cs.wisc.edu //a_reg->connect("Q", getNet("A[" + (String) i + "]")); 7910447Snilay@cs.wisc.edu //a_reg->connect("CK", getNet("CK")); 8010447Snilay@cs.wisc.edu addSubInstances(a_reg, 1.0); 8110447Snilay@cs.wisc.edu 8210447Snilay@cs.wisc.edu StdCell* b_reg = getTechModel()->getStdCellLib()->createStdCell("DFFQ", "DFFQ-B[" + (String) i + "]"); 8310447Snilay@cs.wisc.edu b_reg->setProperty("P(D)", 0.5); 8410447Snilay@cs.wisc.edu b_reg->setProperty("P(CK)", 0.5); 8510447Snilay@cs.wisc.edu b_reg->construct(); 8610447Snilay@cs.wisc.edu portConnect(b_reg, "Q", "B", makeNetIndex(i)); 8710447Snilay@cs.wisc.edu portConnect(b_reg, "CK", "CK"); 8810447Snilay@cs.wisc.edu //b_reg->connect("Q", getNet("B[" + (String) i + "]")); 8910447Snilay@cs.wisc.edu //b_reg->connect("CK", getNet("CK")); 9010447Snilay@cs.wisc.edu addSubInstances(b_reg, 1.0); 9110447Snilay@cs.wisc.edu 9210447Snilay@cs.wisc.edu StdCell* s_reg = getTechModel()->getStdCellLib()->createStdCell("DFFQ", "DFFQ-S[" + (String) i + "]"); 9310447Snilay@cs.wisc.edu s_reg->setProperty("P(D)", 0.5); 9410447Snilay@cs.wisc.edu s_reg->setProperty("P(CK)", 0.5); 9510447Snilay@cs.wisc.edu s_reg->construct(); 9610447Snilay@cs.wisc.edu portConnect(s_reg, "D", "S", makeNetIndex(i)); 9710447Snilay@cs.wisc.edu portConnect(s_reg, "CK", "CK"); 9810447Snilay@cs.wisc.edu //s_reg->connect("D", getNet("A[" + (String) i + "]")); 9910447Snilay@cs.wisc.edu //s_reg->connect("CK", getNet("CK")); 10010447Snilay@cs.wisc.edu addSubInstances(s_reg, 1.0); 10110447Snilay@cs.wisc.edu } 10210447Snilay@cs.wisc.edu 10310447Snilay@cs.wisc.edu 10410447Snilay@cs.wisc.edu //Create some adders! 10510447Snilay@cs.wisc.edu 10610447Snilay@cs.wisc.edu ElectricalModel* ripple_adder = new RippleAdder("Adder_1", getTechModel()); 10710447Snilay@cs.wisc.edu ripple_adder->setParameter("NumberBits", num_bits); 10810447Snilay@cs.wisc.edu ripple_adder->setProperty("P(A)", 0.5); 10910447Snilay@cs.wisc.edu ripple_adder->setProperty("P(B)", 0.5); 11010447Snilay@cs.wisc.edu ripple_adder->setProperty("P(CI)", 0.5); 11110447Snilay@cs.wisc.edu 11210447Snilay@cs.wisc.edu ripple_adder->construct(); 11310447Snilay@cs.wisc.edu addSubInstances(ripple_adder, 1.0); 11410447Snilay@cs.wisc.edu portConnect(ripple_adder, "CI", "CI"); 11510447Snilay@cs.wisc.edu portConnect(ripple_adder, "CO", "CO"); 11610447Snilay@cs.wisc.edu portConnect(ripple_adder, "A", "A"); 11710447Snilay@cs.wisc.edu portConnect(ripple_adder, "B", "B"); 11810447Snilay@cs.wisc.edu portConnect(ripple_adder, "S", "S"); 11910447Snilay@cs.wisc.edu 12010447Snilay@cs.wisc.edu ElectricalModel* multiplexer = new Multiplexer("Mux_1", getTechModel()); 12110447Snilay@cs.wisc.edu multiplexer->setParameter("NumberInputs", 2); 12210447Snilay@cs.wisc.edu multiplexer->setParameter("NumberBits", mux_bits); 12310447Snilay@cs.wisc.edu multiplexer->setParameter("BitDuplicate", "FALSE"); 12410447Snilay@cs.wisc.edu //multiplexer->setProperty("P(In)", "[0.5, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5]"); 12510447Snilay@cs.wisc.edu //multiplexer->setProperty("P(Sel)", "[0.5, 0.5, 0.5]"); 12610447Snilay@cs.wisc.edu //multiplexer->setProperty("Act(In)", "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]"); 12710447Snilay@cs.wisc.edu //multiplexer->setProperty("Act(Sel)", "[2.0, 4.0, 8.0]"); 12810447Snilay@cs.wisc.edu multiplexer->setProperty("P(In)", "[0.5, 0.5]"); 12910447Snilay@cs.wisc.edu multiplexer->setProperty("P(Sel)", "[0.5]"); 13010447Snilay@cs.wisc.edu multiplexer->setProperty("Act(In)", "[1.0, 1.0]"); 13110447Snilay@cs.wisc.edu multiplexer->setProperty("Act(Sel)", "[1.0]"); 13210447Snilay@cs.wisc.edu multiplexer->construct(); 13310447Snilay@cs.wisc.edu 13410447Snilay@cs.wisc.edu createNet("In0", makeNetIndex(0, mux_bits-1)); 13510447Snilay@cs.wisc.edu createNet("In1", makeNetIndex(0, mux_bits-1)); 13610447Snilay@cs.wisc.edu createNet("In2", makeNetIndex(0, mux_bits-1)); 13710447Snilay@cs.wisc.edu createNet("In3", makeNetIndex(0, mux_bits-1)); 13810447Snilay@cs.wisc.edu createNet("In4", makeNetIndex(0, mux_bits-1)); 13910447Snilay@cs.wisc.edu createNet("Out", makeNetIndex(0, mux_bits-1)); 14010447Snilay@cs.wisc.edu 14110447Snilay@cs.wisc.edu portConnect(multiplexer, "In0", "In0"); 14210447Snilay@cs.wisc.edu portConnect(multiplexer, "In1", "In1"); 14310447Snilay@cs.wisc.edu //portConnect(multiplexer, "In2", "In2"); 14410447Snilay@cs.wisc.edu //portConnect(multiplexer, "In3", "In3"); 14510447Snilay@cs.wisc.edu //portConnect(multiplexer, "In4", "In4"); 14610447Snilay@cs.wisc.edu portConnect(multiplexer, "Out", "Out"); 14710447Snilay@cs.wisc.edu 14810447Snilay@cs.wisc.edu for (unsigned int i = 0; i < mux_bits; ++i) 14910447Snilay@cs.wisc.edu { 15010447Snilay@cs.wisc.edu String n = (String) i; 15110447Snilay@cs.wisc.edu 15210447Snilay@cs.wisc.edu createLoad("OutLoad[" + n + "]"); 15310447Snilay@cs.wisc.edu getLoad("OutLoad[" + n + "]")->setLoadCap(100e-15); 15410447Snilay@cs.wisc.edu 15510447Snilay@cs.wisc.edu getNet("Out", makeNetIndex(i))->addDownstreamNode(getLoad("OutLoad[" + n + "]")); 15610447Snilay@cs.wisc.edu } 15710447Snilay@cs.wisc.edu createNet("Sel", makeNetIndex(0, 2)); 15810447Snilay@cs.wisc.edu assign("Sel", makeNetIndex(0), "CK"); 15910447Snilay@cs.wisc.edu assign("Sel", makeNetIndex(1), "CK"); 16010447Snilay@cs.wisc.edu assign("Sel", makeNetIndex(2), "CK"); 16110447Snilay@cs.wisc.edu 16210447Snilay@cs.wisc.edu //portConnect(multiplexer, "Sel", "Sel"); 16310447Snilay@cs.wisc.edu 16410447Snilay@cs.wisc.edu addSubInstances(multiplexer, 1.0); 16510447Snilay@cs.wisc.edu 16610447Snilay@cs.wisc.edu //ElectricalTimingAbstract* abstract = new ElectricalTimingAbstract("HAHAHA", getTechModel(), ripple_adder); 16710447Snilay@cs.wisc.edu //abstract->buildAbstract(); 16810447Snilay@cs.wisc.edu 16910447Snilay@cs.wisc.edu return; 17010447Snilay@cs.wisc.edu } 17110447Snilay@cs.wisc.edu 17210447Snilay@cs.wisc.edu void TestModel::updateModel() 17310447Snilay@cs.wisc.edu { 17410447Snilay@cs.wisc.edu Model::updateModel(); 17510447Snilay@cs.wisc.edu 17610447Snilay@cs.wisc.edu //ElectricalTimingTree* t = new ElectricalTimingTree("Add", this); 17710447Snilay@cs.wisc.edu //t->performTimingOpt(getNet("CK"), 4.21300e-8); 17810447Snilay@cs.wisc.edu //t->performTimingOpt(getNet("CK"), 1e-9); 17910447Snilay@cs.wisc.edu //delete t; 18010447Snilay@cs.wisc.edu 18110447Snilay@cs.wisc.edu ElectricalTimingTree* t2 = new ElectricalTimingTree("Mux", this); 18210447Snilay@cs.wisc.edu t2->performTimingOpt(getNet("In1", makeNetIndex(0)), 500e-12); 18310447Snilay@cs.wisc.edu delete t2; 18410447Snilay@cs.wisc.edu 18510447Snilay@cs.wisc.edu 18610447Snilay@cs.wisc.edu } 18710447Snilay@cs.wisc.edu 18810447Snilay@cs.wisc.edu void TestModel::evaluateModel() 18910447Snilay@cs.wisc.edu { 19010447Snilay@cs.wisc.edu Model::evaluateModel(); 19110447Snilay@cs.wisc.edu 19210447Snilay@cs.wisc.edu //ripple_adder->getNddPowerResult("LeakagePower")->print("RippleAdder->Leakage", 10, cout); 19310447Snilay@cs.wisc.edu getSubInstance("Adder_1")->getNddPowerResult("Leakage")->print("RippleAdder->Leakage", 0, cout); 19410447Snilay@cs.wisc.edu //ripple_adder->getAreaResult("TotalArea")->print("RippleAdder->TotalArea", 10, cout); 19510447Snilay@cs.wisc.edu getSubInstance("Adder_1")->getAreaResult("Active")->print("RippleAdder->ActiveArea", 0, cout); 19610447Snilay@cs.wisc.edu //ripple_adder->getEventResult("AddEvent")->print("RippleAdder->AddEvent", 10, cout); 19710447Snilay@cs.wisc.edu getSubInstance("Adder_1")->getEventResult("Add")->print("RippleAdder->Add", 0, cout); 19810447Snilay@cs.wisc.edu 19910447Snilay@cs.wisc.edu getSubInstance("Mux_1")->getNddPowerResult("Leakage")->print("Multiplexer->Leakage", 0, cout); 20010447Snilay@cs.wisc.edu getSubInstance("Mux_1")->getAreaResult("Active")->print("Multiplexer->ActiveArea", 0, cout); 20110447Snilay@cs.wisc.edu getSubInstance("Mux_1")->getEventResult("Mux")->print("Multiplexer->MuxEvent", 0, cout); 20210447Snilay@cs.wisc.edu cout << "Multiplexer->P(Out) = " << getSubInstance("Mux_1")->getGenProperties()->get("P(Out)") << endl; 20310447Snilay@cs.wisc.edu 20410447Snilay@cs.wisc.edu getSubInstance("DFFQ-CI")->getNddPowerResult("Leakage")->print("DFFQ-CI->Leakage", 0, cout); 20510447Snilay@cs.wisc.edu getSubInstance("DFFQ-CI")->getAreaResult("Active")->print("DFFQ-CI->ActiveArea", 0, cout); 20610447Snilay@cs.wisc.edu getSubInstance("DFFQ-CI")->getEventResult("DFF")->print("DFFQ-CI->DFF", 0, cout); 20710447Snilay@cs.wisc.edu getSubInstance("DFFQ-CI")->getEventResult("CK")->print("DFFQ-CI->CK", 0, cout); 20810447Snilay@cs.wisc.edu 20910447Snilay@cs.wisc.edu //ripple_adder->getNddPowerResult("LeakagePower")->print("RippleAdder->Leakage", 10, cout); 21010447Snilay@cs.wisc.edu getSubInstance("Adder_1")->getNddPowerResult("Leakage")->print("RippleAdder->Leakage", 0, cout); 21110447Snilay@cs.wisc.edu //ripple_adder->getAreaResult("TotalArea")->print("RippleAdder->TotalArea", 10, cout); 21210447Snilay@cs.wisc.edu getSubInstance("Adder_1")->getAreaResult("Active")->print("RippleAdder->ActiveArea", 0, cout); 21310447Snilay@cs.wisc.edu //ripple_adder->getEventResult("AddEvent")->print("RippleAdder->AddEvent", 10, cout); 21410447Snilay@cs.wisc.edu getSubInstance("Adder_1")->getEventResult("Add")->print("RippleAdder->AddEvent", 0, cout); 21510447Snilay@cs.wisc.edu } 21610447Snilay@cs.wisc.edu 21710447Snilay@cs.wisc.edu} // namespace DSENT 21810447Snilay@cs.wisc.edu 219