]> AND Private Git Repository - blast.git/blobdiff - FunctionalBlock.cpp
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
finished testbench generation
[blast.git] / FunctionalBlock.cpp
index ab9611d9f9aa3e9fc2276068418cf93b44cf76ee..98e5e87a5d92f28f9a1556ccf1aaf911d5dea14a 100644 (file)
@@ -8,7 +8,7 @@
 #include "ArithmeticEvaluator.h"\r
 \r
 \r
 #include "ArithmeticEvaluator.h"\r
 \r
 \r
-FunctionalBlock::FunctionalBlock(GroupBlock *_parent, ReferenceBlock *_reference, bool createIfaces) throw(Exception) :  AbstractBlock() {\r
+FunctionalBlock::FunctionalBlock(Graph *_graph, GroupBlock *_parent, ReferenceBlock *_reference, bool createIfaces) throw(Exception) :  AbstractBlock(_graph) {\r
   //if (! _reference->isReferenceBlock()) throw(Exception(BLOCK_INVALID_TYPE));\r
   //if (! _group->isGroupBlock()) throw(Exception(BLOCK_INVALID_TYPE));\r
   reference = _reference;\r
   //if (! _reference->isReferenceBlock()) throw(Exception(BLOCK_INVALID_TYPE));\r
   //if (! _group->isGroupBlock()) throw(Exception(BLOCK_INVALID_TYPE));\r
   reference = _reference;\r
@@ -30,10 +30,17 @@ FunctionalBlock::FunctionalBlock(GroupBlock *_parent, ReferenceBlock *_reference
   delta = -1;\r
   evaluator = NULL;\r
 \r
   delta = -1;\r
   evaluator = NULL;\r
 \r
+  BlockParameter* p;\r
+  // create parameters from reference block\r
+  QList<BlockParameter*> lstParam = reference->getParameters();\r
+  for(int i=0;i<lstParam.size();i++) {\r
+    p = lstParam.at(i)->clone();\r
+    addParameter(p);\r
+  }\r
+\r
   if (createIfaces) {\r
     populate();\r
   }\r
   if (createIfaces) {\r
     populate();\r
   }\r
-\r
 }\r
 \r
 FunctionalBlock::~FunctionalBlock() {\r
 }\r
 \r
 FunctionalBlock::~FunctionalBlock() {\r
@@ -65,23 +72,15 @@ bool FunctionalBlock::isFunctionalBlock() {
   return true;\r
 }\r
 \r
   return true;\r
 }\r
 \r
-bool FunctionalBlock::isSourceBlock() {\r
+bool FunctionalBlock::isStimuliBlock() {\r
   if (parent == NULL) return true;\r
   return false;\r
 }\r
 \r
 void FunctionalBlock::populate() {\r
   if (parent == NULL) return true;\r
   return false;\r
 }\r
 \r
 void FunctionalBlock::populate() {\r
-  int i;\r
-  BlockParameter* p;\r
-  AbstractInterface* inter;\r
-\r
-  // create parameters from reference block\r
-  QList<BlockParameter*> lstParam = reference->getParameters();\r
-  for(i=0;i<lstParam.size();i++) {\r
-    p = lstParam.at(i)->clone();\r
-    addParameter(p);\r
-  }\r
+  int i;  \r
 \r
 \r
+  AbstractInterface* inter;\r
   ConnectedInterface* toClk = NULL;\r
   ConnectedInterface* toRst = NULL;\r
   // create interfaces from reference block\r
   ConnectedInterface* toClk = NULL;\r
   ConnectedInterface* toRst = NULL;\r
   // create interfaces from reference block\r
@@ -146,7 +145,7 @@ void FunctionalBlock::createPatterns() throw(Exception) {
   \r
   cout << "create patterns for block " << qPrintable(name) << endl;\r
   if (evaluator == NULL) evaluator = new ArithmeticEvaluator();\r
   \r
   cout << "create patterns for block " << qPrintable(name) << endl;\r
   if (evaluator == NULL) evaluator = new ArithmeticEvaluator();\r
-  if (! isGeneratorBlock()) {\r
+  if (! isSourceBlock()) {\r
     try {\r
       createDelta();\r
       createConsumptionPattern();    \r
     try {\r
       createDelta();\r
       createConsumptionPattern();    \r
@@ -669,6 +668,7 @@ void FunctionalBlock::createInputPattern()  throw(Exception) {
   cout << "call to " << qPrintable(fctName) << endl;\r
 #endif\r
   \r
   cout << "call to " << qPrintable(fctName) << endl;\r
 #endif\r
   \r
+  cout << "creating input pattern" << endl;\r
   lengthIP = -1;\r
   foreach(AbstractInterface* iface, getControlInputs()) {\r
 \r
   lengthIP = -1;\r
   foreach(AbstractInterface* iface, getControlInputs()) {\r
 \r
@@ -846,125 +846,113 @@ void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {
 \r
   clearOutputPattern();\r
 \r
 \r
   clearOutputPattern();\r
 \r
-  /* case 1: the block is a generator for which output pattern\r
-     must be computed for a nbExec following executions\r
-  */\r
+  if (specialType != NotSpecial) {\r
+    cerr << "Abnormal case: the block is special and output pattern is computed normally" << endl;\r
+    throw(Exception(INVALID_FUNBLOCK_USE,this));\r
+  }\r
 \r
 \r
-  if (nbExec > 0) {\r
-    cout << "computing output pattern of " << qPrintable(name) << " for " << nbExec << " executions" << endl;\r
-    foreach(AbstractInterface* iface, getControlOutputs()) {\r
-      FunctionalInterface* connIface = AI_TO_FUN(iface);\r
-      // create output pattern\r
-      QList<char>* pp = productionPattern.value(connIface);\r
-      QList<char>* pattern = new QList<char>(*pp);\r
-      for(int i=1;i<nbExec;i++) pattern->append(*pp);\r
-      // assign pattern to interface\r
-      connIface->setOutputPattern(pattern);\r
-      // store it in QMap\r
-      outputPattern.insert(connIface,pattern);      \r
+  cout << "computing output pattern of " << qPrintable(name) << endl;\r
+\r
+  // in case of inputPattern not created, do it\r
+  if (lengthIP <= 0) {\r
+\r
+    cout << "Strange case: input pattern is not created while it is time to compute output pattern !" << endl;\r
+    // collect the input patterns for each input\r
+    try {\r
+      createInputPattern();\r
     }\r
     }\r
+    catch(Exception e) {\r
+      throw(e);\r
+    }\r
+    cout << "input pattern array initialized with min. len " << lengthIP << endl;\r
   }\r
   }\r
-  else {\r
-    cout << "computing output pattern of " << qPrintable(name) << endl;\r
-    \r
-    // in case of inputPattern not created, do it\r
-    if (lengthIP <= 0) {\r
 \r
 \r
-      cout << "Strange case: input pattern is not created while it is time to compute output pattern !" << endl;\r
-      // collect the input patterns for each input    \r
-      try {\r
-        createInputPattern();\r
-      }\r
-      catch(Exception e) {\r
-        throw(e);\r
+  // initialize the output pattern\r
+  lengthOP = 0;\r
+  foreach(AbstractInterface* iface, getControlOutputs()) {\r
+    FunctionalInterface* connIface = AI_TO_FUN(iface);\r
+    lengthOP = lengthIP+productionPattern.value(connIface)->size();\r
+    QList<char>* pattern = new QList<char>();\r
+    for(int i=0;i<lengthOP;i++) pattern->append(0);\r
+    connIface->setOutputPattern(pattern);\r
+    outputPattern.insert(connIface,pattern);\r
+  }\r
+  cout << "output pattern array initialized" << endl;\r
+\r
+  int clock = 0;\r
+  nbExec = 0;\r
+  // search for the beginning of the first execution.\r
+  while ((clock < lengthIP) && (! isValidDataGroup(inputPattern,clock))) clock++;\r
+  cout << "found 1st exec clock: " << clock << endl;\r
+\r
+  while (clock < lengthIP) {\r
+    // initialize counters for current execution.\r
+    int p = 0; // index in production pattern\r
+    int o = 0; // clock+o will give the clock cycle of each output group\r
+    int cip = 0; // clock+cip give the clock cycle of an input group\r
+    int ccp = 0; // ccp give a column in the consumptio pattern\r
+    int nip = 0; // number of input data groups already consumed during the current execution, used while exploring IP\r
+    int ncp = 0; // number of input data groups already consumed during the current execution, used while exploring CP\r
+    bool cannotCompleteExec = false;\r
+    for(int m=0;m<productionCounter.size();m++) {\r
+      // search for the first production in PP\r
+      while (!isValidDataGroup(productionPattern,p)) {\r
+        p += 1;\r
+        o += 1;\r
       }\r
       }\r
-      cout << "input pattern array initialized with min. len " << lengthIP << endl;\r
-    }\r
-    \r
-    // initialize the output pattern    \r
-    lengthOP = 0;\r
-    foreach(AbstractInterface* iface, getControlOutputs()) {\r
-      FunctionalInterface* connIface = AI_TO_FUN(iface);      \r
-      lengthOP = lengthIP+productionPattern.value(connIface)->size();\r
-      QList<char>* pattern = new QList<char>();\r
-      for(int i=0;i<lengthOP;i++) pattern->append(0);\r
-      connIface->setOutputPattern(pattern);\r
-      outputPattern.insert(connIface,pattern);\r
-    }\r
-    cout << "output pattern array initialized" << endl;\r
-    \r
-    int clock = 0;\r
-    nbExec = 0;\r
-    // search for the beginning of the first execution.\r
-    while ((clock < lengthIP) && (! isValidDataGroup(inputPattern,clock))) clock++;\r
-    cout << "found 1st exec clock: " << clock << endl;\r
-    \r
-    while (clock < lengthIP) {\r
-      // initialize counters for current execution.\r
-      int p = 0; // index in production pattern\r
-      int o = 0; // clock+o will give the clock cycle of each output group\r
-      int cip = 0; // clock+cip give the clock cycle of an input group\r
-      int ccp = 0; // ccp give a column in the consumptio pattern\r
-      int nip = 0; // number of input data groups already consumed during the current execution, used while exploring IP\r
-      int ncp = 0; // number of input data groups already consumed during the current execution, used while exploring CP\r
-      bool cannotCompleteExec = false;\r
-      for(int m=0;m<productionCounter.size();m++) {\r
-        // search for the first production in PP\r
-        while (!isValidDataGroup(productionPattern,p)) {\r
-          p += 1;\r
-          o += 1;\r
+      int gap = 0; // count the number of extra null columns\r
+      // search for PC(m) valid input group in IP\r
+      while (nip < productionCounter.at(m)) {\r
+        if (clock+cip < lengthIP) {\r
+          if (isValidDataGroup(inputPattern,clock+cip)) nip += 1;\r
+          cip += 1;\r
+          gap += 1;\r
         }\r
         }\r
-        int gap = 0; // count the number of extra null columns\r
-        // search for PC(m) valid input group in IP\r
-        while (nip < productionCounter.at(m)) {\r
-          if (clock+cip < lengthIP) {\r
-            if (isValidDataGroup(inputPattern,clock+cip)) nip += 1;\r
-            cip += 1;\r
-            gap += 1;\r
-          }\r
-          else {\r
-            cannotCompleteExec = true;\r
-            break;\r
-          }        \r
-        }        \r
-        \r
-        if (cannotCompleteExec) break; // no need to go further since the next search of input data group will lead to go outside inputPattern\r
-        \r
-        // search for PC(m) valid input group in IP\r
-        while (ncp < productionCounter.at(m)) {\r
-          if (isValidDataGroup(consumptionPattern,ccp)) ncp += 1;\r
-          ccp += 1;\r
-          gap -= 1;\r
+        else {\r
+          cannotCompleteExec = true;\r
+          break;\r
         }\r
         }\r
-        o += gap; // to take into acocunt of extra null columns\r
-        combinePatterns(productionPattern,p,outputPattern,clock+o);\r
-        p += 1;\r
-        o += 1;\r
       }\r
       }\r
-      \r
+\r
       if (cannotCompleteExec) break; // no need to go further since the next search of input data group will lead to go outside inputPattern\r
       if (cannotCompleteExec) break; // no need to go further since the next search of input data group will lead to go outside inputPattern\r
-      \r
-      // current exec. taken into accunt\r
-      nbExec += 1;\r
-      \r
-      // search for the next exec.\r
-      clock += 1;      \r
-      nip = 0;\r
-      while ((clock < lengthIP) && (nip < delta)) {\r
-        if (isValidDataGroup(inputPattern,clock)) nip += 1;\r
-        if (nip < delta) clock += 1;\r
+\r
+      // search for PC(m) valid input group in IP\r
+      while (ncp < productionCounter.at(m)) {\r
+        if (isValidDataGroup(consumptionPattern,ccp)) ncp += 1;\r
+        ccp += 1;\r
+        gap -= 1;\r
       }\r
       }\r
-      cout << "found exec " << nbExec << " at clock: " << clock << endl;\r
+      o += gap; // to take into acocunt of extra null columns\r
+      combinePatterns(productionPattern,p,outputPattern,clock+o);\r
+      p += 1;\r
+      o += 1;\r
     }\r
     }\r
-    // find the last valid output data group\r
-    while(! isValidDataGroup(outputPattern,lengthOP-1)) {\r
-      removeDataGroup(outputPattern,lengthOP-1);\r
-      lengthOP -= 1;\r
+\r
+    if (cannotCompleteExec) break; // no need to go further since the next search of input data group will lead to go outside inputPattern\r
+\r
+    // current exec. taken into accunt\r
+    nbExec += 1;\r
+\r
+    // search for the next exec.\r
+    clock += 1;\r
+    nip = 0;\r
+    while ((clock < lengthIP) && (nip < delta)) {\r
+      if (isValidDataGroup(inputPattern,clock)) nip += 1;\r
+      if (nip < delta) clock += 1;\r
     }\r
     }\r
+    cout << "found exec " << nbExec << " at clock: " << clock << endl;\r
+  }\r
+  // find the last valid output data group\r
+  while(! isValidDataGroup(outputPattern,lengthOP-1)) {\r
+    removeDataGroup(outputPattern,lengthOP-1);\r
+    lengthOP -= 1;\r
+  }\r
+\r
+  // clear input pattern\r
+  clearInputPattern();\r
+\r
+  setOutputPatternComputed(true);\r
 \r
 \r
-    // clear input pattern\r
-    clearInputPattern();\r
-  }  \r
 }\r
 \r
 /*\r
 }\r
 \r
 /*\r
@@ -1424,23 +1412,29 @@ void FunctionalBlock::generateComments(QTextStream& out, QDomElement &elt, QStri
   QString mail = eltAuthor.attribute("mail","");\r
   out << "--  Author(s)   : "<<firstName+" "<<lastName<<" ("<<mail<<")" << endl;\r
   out << "--" << endl;\r
   QString mail = eltAuthor.attribute("mail","");\r
   out << "--  Author(s)   : "<<firstName+" "<<lastName<<" ("<<mail<<")" << endl;\r
   out << "--" << endl;\r
-  QDomElement eltDate = eltAuthor.nextSiblingElement("date");\r
-  QString crea = eltDate.attribute("creation","");\r
+  QDomElement eltLog = eltAuthor.nextSiblingElement("log");\r
+  QString crea = eltLog.attribute("creation","");\r
   out << "--  Creation Date   : "<<crea<< endl;\r
   out << "--" << endl;\r
   out << "--  Creation Date   : "<<crea<< endl;\r
   out << "--" << endl;\r
-  QDomElement eltRelated = eltDate.nextSiblingElement("related_files");\r
-  QString relateds = eltRelated.attribute("list","");\r
-  out << "--  Related files   :\n"<<relateds<<endl;\r
-  out << "--" << endl;\r
-  QDomElement eltDesc = eltRelated.nextSiblingElement("description");\r
-  QDomElement desc = eltDesc.firstChildElement();\r
-  QString descTxt = desc.text();\r
-  out << "--  Decription      :\n"<<descTxt<<endl;\r
+  QDomNodeList listModifs = eltLog.elementsByTagName("modification");\r
+  for(int j=0;j<listModifs.length();j++) {\r
+    QDomNode nodeModif = listModifs.at(j);\r
+    QDomElement eltModif = nodeModif.toElement();\r
+  }\r
+  out << "-- Description   : " << endl;\r
+  QStringList lines = reference->getDescription().split("\n");\r
+  foreach(QString line, lines) {\r
+    out << "--   " << line << endl;\r
+  }\r
   out << "--" << endl;\r
   out << "--" << endl;\r
-  QDomElement eltNote = eltDesc.nextSiblingElement("description");\r
+  QDomElement eltNote = eltLog.nextSiblingElement("notes");\r
   QDomElement note = eltNote.firstChildElement();\r
   QString noteTxt = note.text();\r
   QDomElement note = eltNote.firstChildElement();\r
   QString noteTxt = note.text();\r
-  out << "--  Note          :\n"<<noteTxt<<endl;\r
+  out << "--  Notes          :" << endl;\r
+  lines = noteTxt.split("\n");\r
+  foreach(QString line, lines) {\r
+    out << "--   " << line << endl;\r
+  }\r
   out << "--" << endl;\r
   for(int i = 0; i < 50; i++) {\r
     out << "--";\r
   out << "--" << endl;\r
   for(int i = 0; i < 50; i++) {\r
     out << "--";\r