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