Decoder.cc revision 10447
110447Snilay@cs.wisc.edu#include "model/electrical/Decoder.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/EventInfo.h" 710447Snilay@cs.wisc.edu#include "model/TransitionInfo.h" 810447Snilay@cs.wisc.edu#include "model/std_cells/StdCellLib.h" 910447Snilay@cs.wisc.edu#include "model/std_cells/StdCell.h" 1010447Snilay@cs.wisc.edu 1110447Snilay@cs.wisc.edunamespace DSENT 1210447Snilay@cs.wisc.edu{ 1310447Snilay@cs.wisc.edu using std::ceil; 1410447Snilay@cs.wisc.edu 1510447Snilay@cs.wisc.edu Decoder::Decoder(const String& instance_name_, const TechModel* tech_model_) 1610447Snilay@cs.wisc.edu : ElectricalModel(instance_name_, tech_model_) 1710447Snilay@cs.wisc.edu { 1810447Snilay@cs.wisc.edu initParameters(); 1910447Snilay@cs.wisc.edu initProperties(); 2010447Snilay@cs.wisc.edu } 2110447Snilay@cs.wisc.edu 2210447Snilay@cs.wisc.edu Decoder::~Decoder() 2310447Snilay@cs.wisc.edu {} 2410447Snilay@cs.wisc.edu 2510447Snilay@cs.wisc.edu void Decoder::initParameters() 2610447Snilay@cs.wisc.edu { 2710447Snilay@cs.wisc.edu addParameterName("NumberOutputs"); 2810447Snilay@cs.wisc.edu } 2910447Snilay@cs.wisc.edu 3010447Snilay@cs.wisc.edu void Decoder::initProperties() 3110447Snilay@cs.wisc.edu { 3210447Snilay@cs.wisc.edu return; 3310447Snilay@cs.wisc.edu } 3410447Snilay@cs.wisc.edu 3510447Snilay@cs.wisc.edu Decoder* Decoder::clone() const 3610447Snilay@cs.wisc.edu { 3710447Snilay@cs.wisc.edu // TODO 3810447Snilay@cs.wisc.edu return NULL; 3910447Snilay@cs.wisc.edu } 4010447Snilay@cs.wisc.edu 4110447Snilay@cs.wisc.edu void Decoder::constructModel() 4210447Snilay@cs.wisc.edu { 4310447Snilay@cs.wisc.edu // Get parameters 4410447Snilay@cs.wisc.edu unsigned int number_outputs = getParameter("NumberOutputs").toUInt(); 4510447Snilay@cs.wisc.edu 4610447Snilay@cs.wisc.edu ASSERT(number_outputs > 0, "[Error] " + getInstanceName() + " -> Number of outputs must be > 0!"); 4710447Snilay@cs.wisc.edu 4810447Snilay@cs.wisc.edu unsigned int number_addr_bits = (unsigned int)ceil(log2(number_outputs)); 4910447Snilay@cs.wisc.edu 5010447Snilay@cs.wisc.edu // Create ports 5110447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_addr_bits; ++i) 5210447Snilay@cs.wisc.edu { 5310447Snilay@cs.wisc.edu createInputPort("Addr" + (String)i); 5410447Snilay@cs.wisc.edu } 5510447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_outputs; ++i) 5610447Snilay@cs.wisc.edu { 5710447Snilay@cs.wisc.edu createOutputPort("Out" + (String)i); 5810447Snilay@cs.wisc.edu } 5910447Snilay@cs.wisc.edu 6010447Snilay@cs.wisc.edu // Create energy, power, and area results 6110447Snilay@cs.wisc.edu createElectricalResults(); 6210447Snilay@cs.wisc.edu createElectricalEventResult("Decode"); 6310447Snilay@cs.wisc.edu Result* decode_event = getEventResult("Decode"); 6410447Snilay@cs.wisc.edu 6510447Snilay@cs.wisc.edu getEventInfo("Idle")->setStaticTransitionInfos(); 6610447Snilay@cs.wisc.edu 6710447Snilay@cs.wisc.edu if(number_addr_bits == 0) 6810447Snilay@cs.wisc.edu { 6910447Snilay@cs.wisc.edu // Do not need a decoder 7010447Snilay@cs.wisc.edu } 7110447Snilay@cs.wisc.edu else if(number_addr_bits == 1) 7210447Snilay@cs.wisc.edu { 7310447Snilay@cs.wisc.edu const String& inv0_name = "Inv0"; 7410447Snilay@cs.wisc.edu 7510447Snilay@cs.wisc.edu StdCell* inv0 = getTechModel()->getStdCellLib()->createStdCell("INV", inv0_name); 7610447Snilay@cs.wisc.edu inv0->construct(); 7710447Snilay@cs.wisc.edu 7810447Snilay@cs.wisc.edu // Connect inputs and outputs 7910447Snilay@cs.wisc.edu portConnect(inv0, "A", "Addr0"); 8010447Snilay@cs.wisc.edu portConnect(inv0, "Y", "Out0"); 8110447Snilay@cs.wisc.edu assign("Out1", "Addr0"); 8210447Snilay@cs.wisc.edu 8310447Snilay@cs.wisc.edu // Add area, power, and event results 8410447Snilay@cs.wisc.edu addSubInstances(inv0, 1.0); 8510447Snilay@cs.wisc.edu addElectricalSubResults(inv0, 1.0); 8610447Snilay@cs.wisc.edu decode_event->addSubResult(inv0->getEventResult("INV"), inv0_name, 1.0); 8710447Snilay@cs.wisc.edu } 8810447Snilay@cs.wisc.edu else 8910447Snilay@cs.wisc.edu { 9010447Snilay@cs.wisc.edu unsigned int number_addr_bits_0 = (unsigned int)ceil((double)number_addr_bits / 2.0); 9110447Snilay@cs.wisc.edu unsigned int number_addr_bits_1 = (unsigned int)floor((double)number_addr_bits / 2.0); 9210447Snilay@cs.wisc.edu 9310447Snilay@cs.wisc.edu unsigned int number_outputs_0 = (unsigned int)pow(2.0, number_addr_bits_0); 9410447Snilay@cs.wisc.edu unsigned int number_outputs_1 = (unsigned int)ceil((double)number_outputs / (double)number_outputs_0); 9510447Snilay@cs.wisc.edu 9610447Snilay@cs.wisc.edu const String& dec0_name = "Dec_way0"; 9710447Snilay@cs.wisc.edu const String& dec1_name = "Dec_way1"; 9810447Snilay@cs.wisc.edu vector<String> nand2_names(number_outputs, ""); 9910447Snilay@cs.wisc.edu vector<String> inv_names(number_outputs, ""); 10010447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_outputs; ++i) 10110447Snilay@cs.wisc.edu { 10210447Snilay@cs.wisc.edu nand2_names[i] = "NAND2_" + (String)i; 10310447Snilay@cs.wisc.edu inv_names[i] = "INV_" + (String)i; 10410447Snilay@cs.wisc.edu } 10510447Snilay@cs.wisc.edu 10610447Snilay@cs.wisc.edu Decoder* dec0 = new Decoder(dec0_name, getTechModel()); 10710447Snilay@cs.wisc.edu dec0->setParameter("NumberOutputs", number_outputs_0); 10810447Snilay@cs.wisc.edu dec0->construct(); 10910447Snilay@cs.wisc.edu 11010447Snilay@cs.wisc.edu Decoder* dec1 = new Decoder(dec1_name, getTechModel()); 11110447Snilay@cs.wisc.edu dec1->setParameter("NumberOutputs", number_outputs_1); 11210447Snilay@cs.wisc.edu dec1->construct(); 11310447Snilay@cs.wisc.edu 11410447Snilay@cs.wisc.edu vector<StdCell*> nand2s(number_outputs, NULL); 11510447Snilay@cs.wisc.edu vector<StdCell*> invs(number_outputs, NULL); 11610447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_outputs; ++i) 11710447Snilay@cs.wisc.edu { 11810447Snilay@cs.wisc.edu nand2s[i] = getTechModel()->getStdCellLib()->createStdCell("NAND2", nand2_names[i]); 11910447Snilay@cs.wisc.edu nand2s[i]->construct(); 12010447Snilay@cs.wisc.edu invs[i] = getTechModel()->getStdCellLib()->createStdCell("INV", inv_names[i]); 12110447Snilay@cs.wisc.edu invs[i]->construct(); 12210447Snilay@cs.wisc.edu } 12310447Snilay@cs.wisc.edu 12410447Snilay@cs.wisc.edu // Connect inputs and outputs 12510447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_addr_bits_0; ++i) 12610447Snilay@cs.wisc.edu { 12710447Snilay@cs.wisc.edu portConnect(dec0, "Addr" + (String)i, "Addr" + (String)i); 12810447Snilay@cs.wisc.edu } 12910447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_addr_bits_1; ++i) 13010447Snilay@cs.wisc.edu { 13110447Snilay@cs.wisc.edu portConnect(dec1, "Addr" + (String)i, "Addr" + (String)(i + number_addr_bits_0)); 13210447Snilay@cs.wisc.edu } 13310447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_outputs_0; ++i) 13410447Snilay@cs.wisc.edu { 13510447Snilay@cs.wisc.edu createNet("way0Out" + (String)i); 13610447Snilay@cs.wisc.edu portConnect(dec0, "Out" + (String)i, "way0Out" + (String)i); 13710447Snilay@cs.wisc.edu } 13810447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_outputs_1; ++i) 13910447Snilay@cs.wisc.edu { 14010447Snilay@cs.wisc.edu createNet("way1Out" + (String)i); 14110447Snilay@cs.wisc.edu portConnect(dec1, "Out" + (String)i, "way1Out" + (String)i); 14210447Snilay@cs.wisc.edu } 14310447Snilay@cs.wisc.edu 14410447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_outputs; ++i) 14510447Snilay@cs.wisc.edu { 14610447Snilay@cs.wisc.edu createNet("nand" + (String)i + "Out"); 14710447Snilay@cs.wisc.edu portConnect(nand2s[i], "A", "way0Out" + (String)(i%number_outputs_0)); 14810447Snilay@cs.wisc.edu portConnect(nand2s[i], "B", "way1Out" + (String)((unsigned int)floor(i/number_outputs_0))); 14910447Snilay@cs.wisc.edu portConnect(nand2s[i], "Y", "nand" + (String)i + "Out"); 15010447Snilay@cs.wisc.edu portConnect(invs[i], "A", "nand" + (String)i + "Out"); 15110447Snilay@cs.wisc.edu portConnect(invs[i], "Y", "Out" + (String)i); 15210447Snilay@cs.wisc.edu } 15310447Snilay@cs.wisc.edu 15410447Snilay@cs.wisc.edu // Add area, power, and event results 15510447Snilay@cs.wisc.edu addSubInstances(dec0, 1.0); 15610447Snilay@cs.wisc.edu addElectricalSubResults(dec0, 1.0); 15710447Snilay@cs.wisc.edu decode_event->addSubResult(dec0->getEventResult("Decode"), dec0_name, 1.0); 15810447Snilay@cs.wisc.edu addSubInstances(dec1, 1.0); 15910447Snilay@cs.wisc.edu addElectricalSubResults(dec1, 1.0); 16010447Snilay@cs.wisc.edu decode_event->addSubResult(dec1->getEventResult("Decode"), dec1_name, 1.0); 16110447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_outputs; ++i) 16210447Snilay@cs.wisc.edu { 16310447Snilay@cs.wisc.edu addSubInstances(nand2s[i], 1.0); 16410447Snilay@cs.wisc.edu addElectricalSubResults(nand2s[i], 1.0); 16510447Snilay@cs.wisc.edu decode_event->addSubResult(nand2s[i]->getEventResult("NAND2"), nand2_names[i], 1.0); 16610447Snilay@cs.wisc.edu 16710447Snilay@cs.wisc.edu addSubInstances(invs[i], 1.0); 16810447Snilay@cs.wisc.edu addElectricalSubResults(invs[i], 1.0); 16910447Snilay@cs.wisc.edu decode_event->addSubResult(invs[i]->getEventResult("INV"), inv_names[i], 1.0); 17010447Snilay@cs.wisc.edu } 17110447Snilay@cs.wisc.edu } 17210447Snilay@cs.wisc.edu return; 17310447Snilay@cs.wisc.edu } 17410447Snilay@cs.wisc.edu 17510447Snilay@cs.wisc.edu void Decoder::propagateTransitionInfo() 17610447Snilay@cs.wisc.edu { 17710447Snilay@cs.wisc.edu // The only thing can be updated are the input probabilities 17810447Snilay@cs.wisc.edu unsigned int number_outputs = getParameter("NumberOutputs").toUInt(); 17910447Snilay@cs.wisc.edu 18010447Snilay@cs.wisc.edu unsigned int number_addr_bits = (unsigned int)ceil(log2(number_outputs)); 18110447Snilay@cs.wisc.edu 18210447Snilay@cs.wisc.edu if(number_addr_bits == 0) 18310447Snilay@cs.wisc.edu { 18410447Snilay@cs.wisc.edu // Do not need a decoder 18510447Snilay@cs.wisc.edu } 18610447Snilay@cs.wisc.edu else if(number_addr_bits == 1) 18710447Snilay@cs.wisc.edu { 18810447Snilay@cs.wisc.edu ElectricalModel* inv0 = (ElectricalModel*)getSubInstance("Inv0"); 18910447Snilay@cs.wisc.edu propagatePortTransitionInfo(inv0, "A", "Addr0"); 19010447Snilay@cs.wisc.edu inv0->use(); 19110447Snilay@cs.wisc.edu 19210447Snilay@cs.wisc.edu // Since # addr bits is 1, the output 0 is directly connected 19310447Snilay@cs.wisc.edu propagatePortTransitionInfo("Out0", inv0, "Y"); 19410447Snilay@cs.wisc.edu propagatePortTransitionInfo("Out1", "Addr0"); 19510447Snilay@cs.wisc.edu } 19610447Snilay@cs.wisc.edu else 19710447Snilay@cs.wisc.edu { 19810447Snilay@cs.wisc.edu unsigned int number_addr_bits_0 = (unsigned int)ceil((double)number_addr_bits / 2.0); 19910447Snilay@cs.wisc.edu unsigned int number_addr_bits_1 = (unsigned int)floor((double)number_addr_bits / 2.0); 20010447Snilay@cs.wisc.edu 20110447Snilay@cs.wisc.edu unsigned int number_outputs_0 = (unsigned int)pow(2.0, number_addr_bits_0); 20210447Snilay@cs.wisc.edu 20310447Snilay@cs.wisc.edu // Update decoders with probabilities 20410447Snilay@cs.wisc.edu ElectricalModel* dec0 = (ElectricalModel*)getSubInstance("Dec_way0"); 20510447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_addr_bits_0; ++i) 20610447Snilay@cs.wisc.edu { 20710447Snilay@cs.wisc.edu propagatePortTransitionInfo(dec0, "Addr" + (String)i, "Addr" + (String)i); 20810447Snilay@cs.wisc.edu } 20910447Snilay@cs.wisc.edu dec0->use(); 21010447Snilay@cs.wisc.edu ElectricalModel* dec1 = (ElectricalModel*)getSubInstance("Dec_way1"); 21110447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_addr_bits_1; ++i) 21210447Snilay@cs.wisc.edu { 21310447Snilay@cs.wisc.edu propagatePortTransitionInfo(dec1, "Addr" + (String)i, "Addr" + (String)(i + number_addr_bits_0)); 21410447Snilay@cs.wisc.edu } 21510447Snilay@cs.wisc.edu dec1->use(); 21610447Snilay@cs.wisc.edu 21710447Snilay@cs.wisc.edu for(unsigned int i = 0; i < number_outputs; ++i) 21810447Snilay@cs.wisc.edu { 21910447Snilay@cs.wisc.edu ElectricalModel* nand2 = (ElectricalModel*)getSubInstance("NAND2_" + (String)i); 22010447Snilay@cs.wisc.edu propagatePortTransitionInfo(nand2, "A", dec0, "Out" + (String)(i%number_outputs_0)); 22110447Snilay@cs.wisc.edu propagatePortTransitionInfo(nand2, "B", dec1, "Out" + (String)((unsigned int)floor(i/number_outputs_0))); 22210447Snilay@cs.wisc.edu nand2->use(); 22310447Snilay@cs.wisc.edu 22410447Snilay@cs.wisc.edu ElectricalModel* inv = (ElectricalModel*)getSubInstance("INV_" + (String)i); 22510447Snilay@cs.wisc.edu propagatePortTransitionInfo(inv, "A", nand2, "Y"); 22610447Snilay@cs.wisc.edu inv->use(); 22710447Snilay@cs.wisc.edu 22810447Snilay@cs.wisc.edu propagatePortTransitionInfo("Out" + (String)i, inv, "Y"); 22910447Snilay@cs.wisc.edu } 23010447Snilay@cs.wisc.edu } 23110447Snilay@cs.wisc.edu return; 23210447Snilay@cs.wisc.edu } 23310447Snilay@cs.wisc.edu 23410447Snilay@cs.wisc.edu} // namespace DSENT 23510447Snilay@cs.wisc.edu 236