X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/blast.git/blobdiff_plain/7b1c7e44123b9b2626205a89e27b2a4712ea30c6..4327c2b8817b627249d98d889835726217c81a4e:/FunctionalBlock.cpp?ds=sidebyside

diff --git a/FunctionalBlock.cpp b/FunctionalBlock.cpp
index e7239e0..0eb4036 100644
--- a/FunctionalBlock.cpp
+++ b/FunctionalBlock.cpp
@@ -8,7 +8,7 @@
 #include "ArithmeticEvaluator.h"
 
 
-FunctionalBlock::FunctionalBlock(GroupBlock *_parent, ReferenceBlock *_reference) throw(Exception) :  AbstractBlock() {
+FunctionalBlock::FunctionalBlock(Graph *_graph, GroupBlock *_parent, ReferenceBlock *_reference, bool createIfaces) throw(Exception) :  AbstractBlock(_graph) {
   //if (! _reference->isReferenceBlock()) throw(Exception(BLOCK_INVALID_TYPE));
   //if (! _group->isGroupBlock()) throw(Exception(BLOCK_INVALID_TYPE));
   reference = _reference;
@@ -29,6 +29,18 @@ FunctionalBlock::FunctionalBlock(GroupBlock *_parent, ReferenceBlock *_reference
   lengthPP = -1;
   delta = -1;
   evaluator = NULL;
+
+  BlockParameter* p;
+  // create parameters from reference block
+  QList<BlockParameter*> lstParam = reference->getParameters();
+  for(int i=0;i<lstParam.size();i++) {
+    p = lstParam.at(i)->clone();
+    addParameter(p);
+  }
+
+  if (createIfaces) {
+    populate();
+  }
 }
 
 FunctionalBlock::~FunctionalBlock() {
@@ -60,23 +72,17 @@ bool FunctionalBlock::isFunctionalBlock() {
   return true;
 }
 
-bool FunctionalBlock::isSourceBlock() {
+bool FunctionalBlock::isStimuliBlock() {
   if (parent == NULL) return true;
   return false;
 }
 
 void FunctionalBlock::populate() {
-  int i;
-  BlockParameter* p;
-  AbstractInterface* inter;
-
-  // create parameters from reference block
-  QList<BlockParameter*> lstParam = reference->getParameters();
-  for(i=0;i<lstParam.size();i++) {
-    p = lstParam.at(i)->clone();
-    addParameter(p);
-  }
+  int i;  
 
+  AbstractInterface* inter;
+  ConnectedInterface* toClk = NULL;
+  ConnectedInterface* toRst = NULL;
   // create interfaces from reference block
   QList<AbstractInterface *> lstRef = reference->getInterfaces();
   // store relation between functional and reference
@@ -90,8 +96,19 @@ void FunctionalBlock::populate() {
       exit(1);
     }
     hashIface.insert(lstRef.at(i),inter);
-
     addInterface(inter);
+    /* WARNING FOR THE FUTURE :
+       in case of there are several clock interfaces ofr that block
+       it would be a good idea to make the user choose which one
+       must be connected to defautl clk.
+       Presently, the first encountered is chosen
+     */
+    if ((toClk == NULL) && (inter->getPurpose() == AbstractInterface::Clock)) {
+      toClk = AI_TO_CON(inter);
+    }
+    if ((toRst == NULL) && (inter->getPurpose() == AbstractInterface::Reset)) {
+      toRst = AI_TO_CON(inter);
+    }
   }
     
   AbstractInterface* funCtlIface = NULL;
@@ -110,7 +127,6 @@ void FunctionalBlock::populate() {
   }
 }
 
-
 QString FunctionalBlock::getReferenceXmlFile() {
     return ((ReferenceBlock *)reference)->getXmlFile();
 }
@@ -124,11 +140,12 @@ void FunctionalBlock::createPatterns() throw(Exception) {
 #ifdef DEBUG_FCTNAME
   cout << "call to " << qPrintable(fctName) << endl;
 #endif
+
+  if (implementation->hasNoPatterns()) return;
   
   cout << "create patterns for block " << qPrintable(name) << endl;
   if (evaluator == NULL) evaluator = new ArithmeticEvaluator();
-  bool ok = true;  
-  if (! isGeneratorBlock()) {
+  if (! isSourceBlock()) {
     try {
       createDelta();
       createConsumptionPattern();    
@@ -143,7 +160,15 @@ void FunctionalBlock::createPatterns() throw(Exception) {
   }
   catch(Exception e) {
     throw(e);
-  }  
+  }
+  cout << "PP of " << qPrintable(name) << endl;
+  QMapIterator<AbstractInterface*,QList<char>* > it(productionPattern);
+  while (it.hasNext()) {
+    it.next();
+    QList<char>* pat = it.value();
+    foreach(char c, *pat) cout << (int)c;
+    cout << endl;
+  }
 }
 
 void FunctionalBlock::createDelta() throw(Exception) {
@@ -159,8 +184,7 @@ void FunctionalBlock::createDelta() throw(Exception) {
     return;
   }
   
-  // look for parameter names
-  bool ok = true;
+  // look for parameter names  
   double result = 0;
   try {
     result = evaluateExpression(deltaStr);
@@ -178,15 +202,17 @@ void FunctionalBlock::createConsumptionPattern()  throw(Exception) {
   cout << "call to " << qPrintable(fctName) << endl;
 #endif
   
-  lengthCP = -1;
-  bool ok = true; 
+  // first clear if already exists
+  clearConsumptionPattern();
+
+  lengthCP = -1;  
   QHash<QString,QString> consPattern = implementation->getConsumptionPattern();  
   
   foreach(AbstractInterface* iface, getControlInputs()) {       
     FunctionalInterface* connIface = AI_TO_FUN(iface);
     QString refName = connIface->getReference()->getName();    
     if (! consPattern.contains(refName)) {
-      throw(Exception(NO_IFACE_CP));
+      throw(Exception(NO_IFACE_CP,this));
       cerr << "no consumption pattern for reference interface " << qPrintable(refName) << endl;
     }
     QList<char>* pattern = NULL;
@@ -202,7 +228,7 @@ void FunctionalBlock::createConsumptionPattern()  throw(Exception) {
     }
     else {
       if (pattern->size() != lengthCP) {
-        throw(Exception(INVALID_IFACE_CP_LENGTH));
+        throw(Exception(INVALID_IFACE_CP_LENGTH,this));
       }
     }
   }          
@@ -213,6 +239,9 @@ void FunctionalBlock::createProductionPattern() throw(Exception){
 #ifdef DEBUG_FCTNAME
   cout << "call to " << qPrintable(fctName) << endl;
 #endif
+
+  // first clear if already exists
+  clearProductionPattern();
   
   lengthPP = -1;  
   QHash<QString,QString> prodPattern = implementation->getProductionPattern();  
@@ -221,7 +250,7 @@ void FunctionalBlock::createProductionPattern() throw(Exception){
     FunctionalInterface* connIface = AI_TO_FUN(iface);
     QString refName = connIface->getReference()->getName();    
     if (! prodPattern.contains(refName)) {
-      throw(Exception(NO_IFACE_PP));      
+      throw(Exception(NO_IFACE_PP,this));
     }
     QList<char>* pattern = NULL;
     try {
@@ -236,7 +265,7 @@ void FunctionalBlock::createProductionPattern() throw(Exception){
     }
     else {
       if (pattern->size() != lengthPP) {
-        throw(Exception(INVALID_IFACE_PP_LENGTH));
+        throw(Exception(INVALID_IFACE_PP_LENGTH,this));
       }
     }
   }      
@@ -247,6 +276,10 @@ void FunctionalBlock::createProductionCounter() throw(Exception) {
 #ifdef DEBUG_FCTNAME
   cout << "call to " << qPrintable(fctName) << endl;
 #endif
+
+  // first clear if already exists
+  productionCounter.clear();
+
   
   QStringList counterParts = implementation->getProductionCounter().split(",");
   foreach(QString s, counterParts) {
@@ -261,7 +294,7 @@ void FunctionalBlock::createProductionCounter() throw(Exception) {
       s.chop(1);
       QStringList gen = s.split(":");
       if (gen.size() != 3) {
-        throw(Exception(INVALID_IFACE_PC));
+        throw(Exception(INVALID_IFACE_PC,this));
       }
       int start = 0;
       int nb = 0;
@@ -304,14 +337,26 @@ QList<char>* FunctionalBlock::expandPattern(const QString& patternIn) throw(Exce
 #ifdef DEBUG_FCTNAME
   cout << "call to " << qPrintable(fctName) << endl;
 #endif
-  
-  QList<char> lst;
-  QString  p = patternIn;
+  /* expanding a pattern is done in two steps :
+      - 1 : finding all variables that correspond to an expression
+            and copy them in the pattern
+      - 2 : parsing the result
+
+      Note that the result MUST contain only variables that have a
+      integer/double value. Otherwise, expanding will fail.
+
+   */
+
+  // first step.
+
+  QString p = replaceExpressions(patternIn);
+
+  QList<char> lst;  
   p.append(')');
   int offset = 0;  
   QList<char>* patternOut = new QList<char>();
   try {
-    expandPatternRecur(p,&offset, patternOut); 
+    patternOut->append(expandPatternRecur(p,&offset));
   }
   catch(Exception e) {
     throw(e);
@@ -320,28 +365,55 @@ QList<char>* FunctionalBlock::expandPattern(const QString& patternIn) throw(Exce
   return patternOut;
 }
 
-void FunctionalBlock::expandPatternRecur(const QString& patternIn, int *offset, QList<char>* patternOut) throw(Exception) {  
+QString FunctionalBlock::replaceExpressions(const QString& patternIn) throw(Exception) {
+
+  QString res = patternIn;
+  bool stop = false;
+  QRegularExpression re("[$][a-zA-Z0-9_]+");
+
+  while (!stop) {
+    stop = true;
+    QRegularExpressionMatchIterator matcher = re.globalMatch(res);
+    while(matcher.hasNext()) {
+      QRegularExpressionMatch m = matcher.next();
+      QString param = m.captured(0);
+      QString paramName = param;
+      paramName.remove(0,1);
+      BlockParameter* p = getParameterFromName(paramName);
+      if ((p != NULL) && (p->getType() == BlockParameter::Expression)) {
+        res.replace(param,p->getStringValue());
+        stop = false;
+        cout << "found an expr: " << qPrintable(paramName) << ", patern => " << qPrintable(res) << endl;
+      }
+    }
+  }
+  return res;
+}
+
+QList<char> FunctionalBlock::expandPatternRecur(const QString& patternIn, int *offset) throw(Exception) {
   
+  QList<char> patternOut;
+
   while ((*offset < patternIn.size()) && (patternIn.at(*offset) != ')')) {
     
     QChar c = patternIn.at(*offset);
     if (c == '(') {
       *offset += 1;
       try {
-        expandPatternRecur(patternIn,offset, patternOut);
+        patternOut.append(expandPatternRecur(patternIn,offset));
       }
       catch(Exception e) {
         throw(e);
       }
     }
     else if (c == '0') {
-      patternOut->append(0);
+      patternOut.append(0);
     }
     else if (c == '1') {
-      patternOut->append(1);
+      patternOut.append(1);
     }
     else if (c == 'X') {
-      patternOut->append(-1);
+      patternOut.append(-1);
     }
     else if (c == '{') {
       *offset += 1;
@@ -351,7 +423,7 @@ void FunctionalBlock::expandPatternRecur(const QString& patternIn, int *offset,
         *offset += 1;
       }
       if (*offset == patternIn.size()) {
-        throw(Exception(INVALID_IFACE_PATTERN));
+        throw(Exception(INVALID_IFACE_PATTERN,this));
       }
       double repeat = 0;
       try {
@@ -360,12 +432,17 @@ void FunctionalBlock::expandPatternRecur(const QString& patternIn, int *offset,
       catch(Exception e) {
         throw(e);
       }
+      if (repeat == 0) {
+        // remove the last
+        patternOut.removeLast();
+      }
+      else {
       // repeat just the last value in currentGroup
-      char last = patternOut->last();      
-      //cout << "repeat last char " << repeat << " times : " << (int)last << endl;
-      
-      for(int i=1;i<(int)repeat;i++) {
-        patternOut->append(last);
+        char last = patternOut.last();
+        //cout << "repeat last char " << repeat << " times : " << (int)last << endl;
+        for(int i=1;i<(int)repeat;i++) {
+          patternOut.append(last);
+        }
       }
     }    
     *offset += 1;
@@ -380,7 +457,7 @@ void FunctionalBlock::expandPatternRecur(const QString& patternIn, int *offset,
       *offset += 1;
     }
     if (*offset == patternIn.size()) {
-      throw(Exception(INVALID_IFACE_PATTERN));
+      throw(Exception(INVALID_IFACE_PATTERN,this));
     }
     double repeat = 0;
     try {
@@ -389,16 +466,23 @@ void FunctionalBlock::expandPatternRecur(const QString& patternIn, int *offset,
     catch(Exception e) {
       throw(e);
     }
-    /*
+    if (repeat == 0) {
+      QList<char> voidList;
+      return voidList;
+    }
+    else {
+      /*
     cout << "repeat last group " << repeat << " times : ";
     foreach (char c, currentGroup) cout <<(int)c;
-    cout << endl;  
+    cout << endl;
     */
-    QList<char> single = *patternOut;
-    for(int i=1;i<(int)repeat;i++) {
-      patternOut->append(single);
-    }    
+      QList<char> single = patternOut;
+      for(int i=1;i<(int)repeat;i++) {
+        patternOut.append(single);
+      }
+    }
   }  
+  return patternOut;
 }
 
 double FunctionalBlock::evaluateExpression(const QString& expression) throw(Exception) {
@@ -413,14 +497,14 @@ double FunctionalBlock::evaluateExpression(const QString& expression) throw(Exce
   foreach (QString name, varNames) {
     QString paramName = name;
     paramName.remove(0,1);
-    BlockParameter* param = reference->getParameterFromName(paramName);    
+    BlockParameter* param = getParameterFromName(paramName);
     if (param == NULL) {
-      throw(Exception(EVAL_PARAM_UNKNOWN));
+      throw(Exception(EVAL_PARAM_UNKNOWN,this));
     }
     bool okVal;
-    int val = param->getDoubleValue(&okVal);
+    int val = param->getDoubleValue(&okVal);    
     if (!okVal) {
-      throw(Exception(EVAL_PARAM_NOVALUE));      
+      throw(Exception(EVAL_PARAM_NOVALUE,this));
     }
     vars.insert(name,(double)val);    
   }
@@ -432,11 +516,152 @@ double FunctionalBlock::evaluateExpression(const QString& expression) throw(Exce
   }
   catch(int index) {
     cerr << "Error at index " << index << ": " << qPrintable(evaluator->getError()) << endl;
-    throw(Exception(EVAL_INVALID_EXPR));
+    throw(Exception(EVAL_INVALID_EXPR,this));
   }
   return result;
 }
 
+void FunctionalBlock::computeAdmittanceDelays() throw(Exception) {
+  static QString fctName = "FunctionalBlock::computeAdmittanceDelays()";
+#ifdef DEBUG_FCTNAME
+  cout << "call to " << qPrintable(fctName) << endl;
+#endif
+  QList<int> inClock;
+  QList<int> delays;
+
+  clearAdmittanceDelays();
+
+  // trying to synchronize the first one in AP
+  QMapIterator<AbstractInterface*,QList<char>* > iterAP(admittance);
+  QMapIterator<AbstractInterface*,QList<char>* > iterIP(inputPattern);
+
+  while (iterAP.hasNext()) {
+    iterAP.next();
+    iterIP.next();
+    QList<char>* ap = iterAP.value();
+    QList<char>* ip = iterIP.value();
+    int first = 0;
+    while ((first < lengthIP) && (ip->at(first) == 0)) first++;
+    while ((first < lengthAP) && (ap->at(first) == 0)) first--;
+    delays.append(first);
+    inClock.append(0);
+    QList<int>* delays = new QList<int>();
+    admittanceDelays.insert(iterAP.key(), delays);
+  }
+
+  QMapIterator<AbstractInterface*,QList<int>* > iterDelays(admittanceDelays);
+
+  // get the delay to apply
+  int maxDelay = 0;
+  for(int i=0;i<delays.size();i++) {
+    if (delays[i] > maxDelay) maxDelay = delays[i];
+  }
+  // adding the delays to IP
+  iterIP.toFront();
+  int i = 0;
+  while (iterIP.hasNext()) {
+    iterIP.next();
+    iterDelays.next();
+    QList<char>* ip = iterIP.value();
+    QList<int>* d = iterDelays.value();
+    d->append(maxDelay-delays[i]);
+    cout << "prependind " << qPrintable(iterIP.key()->getName()) << " with " << (maxDelay-delays[i]) << " 0" << endl;
+    for(int j=0;j<maxDelay-delays[i];j++) {
+      ip->prepend(0);
+    }
+    for(int j=0;j<delays[i];j++) {
+      ip->append(0);
+    }
+    i++;
+  }
+  lengthIP += maxDelay;
+
+  cout << "IP length = " << lengthIP << ", AP length = " << lengthAP << endl;
+  bool stop = false;
+  int apIndex = 0;
+  int ipIndex = 0;
+  while (!stop) {
+
+    // if AP is a valid group, search for the next valid group in IP
+    if (isValidDataGroup(admittance,apIndex)) {
+
+      while ((ipIndex < lengthIP) && (! isValidDataGroup(inputPattern,ipIndex))) ipIndex++;
+      if (ipIndex == lengthIP) {
+        stop = true;
+        continue;
+      }
+    }
+
+    iterAP.toFront();
+    iterIP.toFront();
+    iterDelays.toFront();
+
+    if (samePatterns(inputPattern,ipIndex,admittance,apIndex)) {
+      while (iterAP.hasNext()) {
+        iterAP.next();
+        iterDelays.next();
+        QList<char>* ap = iterAP.value();
+        if (ap->at(apIndex) == 1) {
+          QList<int>* d = iterDelays.value();
+          d->append(0); // the 1 is at its good place, so no delay
+        }
+      }
+    }
+    else {
+      cout << "diff between IP and AP at " << apIndex << endl;
+      // search for the next 1 in IP for every input that has a 1 in AP
+
+      while (iterAP.hasNext()) {
+        iterAP.next();
+        iterIP.next();
+        iterDelays.next();
+        QList<char>* ap = iterAP.value();
+        QList<char>* ip = iterIP.value();
+        QList<int>* d = iterDelays.value();
+        // case 1: 1 in IP is too late
+        if ((ap->at(apIndex) == 1) && (ip->at(ipIndex) == 0)) {
+          int delay = 1;
+          while ( ((ipIndex+delay) < lengthIP) && (ip->at(ipIndex+delay) == 0) ) delay++;
+          cout << "found a delay of " << (-delay) << " for iface " << qPrintable(iterAP.key()->getName()) << endl;
+          // moving the 1 to its normal pos.
+          ip->replace(ipIndex,1);
+          ip->replace(ipIndex+delay,0);
+          d->append(-delay);
+        }
+        // case 2: 1 in IP is too soon
+        else if ((ap->at(apIndex) == 0) && (ip->at(ipIndex) == 1)) {
+          int delay = 1;
+          while ( ((apIndex+delay) < lengthAP) && (ap->at(apIndex+delay) == 0) ) delay++;
+          cout << "found a delay of " << delay << " for iface " << qPrintable(iterAP.key()->getName()) << endl;
+          // search for next 0 in IP to put the 1
+          int k = ipIndex+delay;
+          while ((k < lengthIP) && (ip->at(k) == 1)) k++;
+          ip->replace(ipIndex,0);
+          ip->replace(k,1);
+          d->append(delay);
+        }
+      }
+      if (! samePatterns(inputPattern,inClock,admittance,apIndex)) {
+         cout << "Abnormal case while searching for delays" << endl;
+      }
+    }
+
+    apIndex++;
+    ipIndex++;
+    if ((apIndex >= lengthAP) || (ipIndex >= lengthIP)) stop = true;
+  }
+  iterDelays.toFront();
+  while (iterDelays.hasNext()) {
+    iterDelays.next();
+    QList<int>* d = iterDelays.value();
+    foreach(int v, *d) {
+      cout << v << " ";
+    }
+    cout << endl;
+  }
+
+}
+
 void FunctionalBlock::createInputPattern()  throw(Exception) {
   static QString fctName = "FunctionalBlock::createInputPattern())";
 #ifdef DEBUG_FCTNAME
@@ -444,12 +669,25 @@ void FunctionalBlock::createInputPattern()  throw(Exception) {
 #endif
   
   lengthIP = -1;
-  foreach(AbstractInterface* iface, getControlInputs()) {      
+  foreach(AbstractInterface* iface, getControlInputs()) {
+
     ConnectedInterface* connIface = AI_TO_CON(iface);
+    // check if it is connected
+    if (connIface->getConnectedFrom() == NULL) {
+      throw(Exception(IFACE_NOT_CONNECTED,this));
+    }
+    // get the precursor output pattern
     QList<char>* out = connIface->getConnectedFrom()->getOutputPattern();
+    AbstractInputModifier* modifier = connIface->getInputModifier();
+    // check if the input is modified
+    if (modifier != NULL) {
+
+      out = modifier->getModifiedInput(out);
+    }
+
     if (out->size() == 0) {
       clearInputPattern();
-      throw(Exception(NO_IFACE_IP));
+      throw(Exception(NO_IFACE_IP,this));
     }
     if (lengthIP == -1) {
       lengthIP = out->size();
@@ -476,8 +714,7 @@ void FunctionalBlock::createAdmittance(int nbExec) throw(Exception) {
   static QString fctName = "FunctionalBlock::createAdmittance()";
 #ifdef DEBUG_FCTNAME
   cout << "call to " << qPrintable(fctName) << endl;
-#endif
-  bool ok = true;
+#endif  
   // firstly, copy CP in AP
   QMapIterator<AbstractInterface*,QList<char>* > iterC(consumptionPattern);
   while (iterC.hasNext()) {
@@ -553,8 +790,7 @@ void FunctionalBlock::checkInputPatternCompatibility() throw(Exception) {
 #ifdef DEBUG_FCTNAME
   cout << "call to " << qPrintable(fctName) << endl;
 #endif
-  
-  bool ok = true;
+    
   // firstly, create input pattern
   try {
     createInputPattern();
@@ -582,7 +818,7 @@ void FunctionalBlock::checkInputPatternCompatibility() throw(Exception) {
       while ((clock < lengthIP) && (! isValidDataGroup(inputPattern,clock))) clock++;
       if (clock == lengthIP) {
         cerr << "Abnormal case: end of IP has been reached without finding a valid group" << endl;
-        throw(Exception(IP_END_NULLCOL));        
+        throw(Exception(IP_END_NULLCOL,this));
       }
     }    
     /* at that point 2 cases of compat : IP(clock) and AP(i) are equal valid group, or
@@ -590,13 +826,13 @@ void FunctionalBlock::checkInputPatternCompatibility() throw(Exception) {
     */
     if (! samePatterns(inputPattern,clock,admittance,i)) {
       cout << "AP(" << i << ") and IP(" << clock << ") are not equal" << endl;
-      throw(Exception(IP_AP_NOTCOMPAT)); // IP and AP not compatible
+      throw(Exception(IP_AP_NOTCOMPAT,this)); // IP and AP not compatible
     }
     clock++;
     i++;
   }
   if (clock < lengthIP) {
-    throw(Exception(AP_TOO_SHORT));
+    throw(Exception(AP_TOO_SHORT,this));
     cerr << "Abnormal case: AP is to short" << endl;   
   }  
 }
@@ -606,12 +842,129 @@ void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {
 #ifdef DEBUG_FCTNAME
   cout << "call to " << qPrintable(fctName) << endl;
 #endif
-  
-  /* case 1: the block is a generator for which output pattern
-     must be computed for a nbExec following executions
-  */
-  
-  
+
+  clearOutputPattern();
+
+  if (specialType != NotSpecial) {
+    cerr << "Abnormal case: the block is special and output pattern is computed normally" << endl;
+    throw(Exception(INVALID_FUNBLOCK_USE,this));
+  }
+
+  cout << "computing output pattern of " << qPrintable(name) << endl;
+
+  // in case of inputPattern not created, do it
+  if (lengthIP <= 0) {
+
+    cout << "Strange case: input pattern is not created while it is time to compute output pattern !" << endl;
+    // collect the input patterns for each input
+    try {
+      createInputPattern();
+    }
+    catch(Exception e) {
+      throw(e);
+    }
+    cout << "input pattern array initialized with min. len " << lengthIP << endl;
+  }
+
+  // initialize the output pattern
+  lengthOP = 0;
+  foreach(AbstractInterface* iface, getControlOutputs()) {
+    FunctionalInterface* connIface = AI_TO_FUN(iface);
+    lengthOP = lengthIP+productionPattern.value(connIface)->size();
+    QList<char>* pattern = new QList<char>();
+    for(int i=0;i<lengthOP;i++) pattern->append(0);
+    connIface->setOutputPattern(pattern);
+    outputPattern.insert(connIface,pattern);
+  }
+  cout << "output pattern array initialized" << endl;
+
+  int clock = 0;
+  nbExec = 0;
+  // search for the beginning of the first execution.
+  while ((clock < lengthIP) && (! isValidDataGroup(inputPattern,clock))) clock++;
+  cout << "found 1st exec clock: " << clock << endl;
+
+  while (clock < lengthIP) {
+    // initialize counters for current execution.
+    int p = 0; // index in production pattern
+    int o = 0; // clock+o will give the clock cycle of each output group
+    int cip = 0; // clock+cip give the clock cycle of an input group
+    int ccp = 0; // ccp give a column in the consumptio pattern
+    int nip = 0; // number of input data groups already consumed during the current execution, used while exploring IP
+    int ncp = 0; // number of input data groups already consumed during the current execution, used while exploring CP
+    bool cannotCompleteExec = false;
+    for(int m=0;m<productionCounter.size();m++) {
+      // search for the first production in PP
+      while (!isValidDataGroup(productionPattern,p)) {
+        p += 1;
+        o += 1;
+      }
+      int gap = 0; // count the number of extra null columns
+      // search for PC(m) valid input group in IP
+      while (nip < productionCounter.at(m)) {
+        if (clock+cip < lengthIP) {
+          if (isValidDataGroup(inputPattern,clock+cip)) nip += 1;
+          cip += 1;
+          gap += 1;
+        }
+        else {
+          cannotCompleteExec = true;
+          break;
+        }
+      }
+
+      if (cannotCompleteExec) break; // no need to go further since the next search of input data group will lead to go outside inputPattern
+
+      // search for PC(m) valid input group in IP
+      while (ncp < productionCounter.at(m)) {
+        if (isValidDataGroup(consumptionPattern,ccp)) ncp += 1;
+        ccp += 1;
+        gap -= 1;
+      }
+      o += gap; // to take into acocunt of extra null columns
+      combinePatterns(productionPattern,p,outputPattern,clock+o);
+      p += 1;
+      o += 1;
+    }
+
+    if (cannotCompleteExec) break; // no need to go further since the next search of input data group will lead to go outside inputPattern
+
+    // current exec. taken into accunt
+    nbExec += 1;
+
+    // search for the next exec.
+    clock += 1;
+    nip = 0;
+    while ((clock < lengthIP) && (nip < delta)) {
+      if (isValidDataGroup(inputPattern,clock)) nip += 1;
+      if (nip < delta) clock += 1;
+    }
+    cout << "found exec " << nbExec << " at clock: " << clock << endl;
+  }
+  // find the last valid output data group
+  while(! isValidDataGroup(outputPattern,lengthOP-1)) {
+    removeDataGroup(outputPattern,lengthOP-1);
+    lengthOP -= 1;
+  }
+
+  // clear input pattern
+  clearInputPattern();
+
+  setOutputPatternComputed(true);
+
+}
+
+/*
+
+void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {
+  static QString fctName = "FunctionalBlock::computeOutputPattern()";
+#ifdef DEBUG_FCTNAME
+  cout << "call to " << qPrintable(fctName) << endl;
+#endif
+
+  // case 1: the block is a generator for which output pattern
+  //   must be computed for a nbExec following executions
+
   if (nbExec > 0) {
     cout << "computing output pattern of " << qPrintable(name) << " for " << nbExec << " executions" << endl;
     foreach(AbstractInterface* iface, getControlOutputs()) {
@@ -623,15 +976,15 @@ void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {
       // assign pattern to interface
       connIface->setOutputPattern(pattern);
       // store it in QMap
-      outputPattern.insert(connIface,pattern);      
+      outputPattern.insert(connIface,pattern);
     }
   }
   else {
     cout << "computing output pattern of " << qPrintable(name) << endl;
-    
+
     // in case of inputPattern not created, do it
     if (lengthIP <= 0) {
-      // collect the input patterns for each input    
+      // collect the input patterns for each input
       try {
         createInputPattern();
       }
@@ -640,11 +993,11 @@ void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {
       }
       cout << "input pattern array initialized with min. len " << lengthIP << endl;
     }
-    
-    // initialize the output pattern    
+
+    // initialize the output pattern
     lengthOP = 0;
     foreach(AbstractInterface* iface, getControlOutputs()) {
-      FunctionalInterface* connIface = AI_TO_FUN(iface);      
+      FunctionalInterface* connIface = AI_TO_FUN(iface);
       lengthOP = lengthIP+productionPattern.value(connIface)->size();
       QList<char>* pattern = new QList<char>();
       for(int i=0;i<lengthOP;i++) pattern->append(0);
@@ -652,13 +1005,13 @@ void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {
       outputPattern.insert(connIface,pattern);
     }
     cout << "output pattern array initialized" << endl;
-    
+
     int clock = 0;
     nbExec = 0;
     // search for the beginning of the first execution.
     while ((clock < lengthIP) && (! isValidDataGroup(inputPattern,clock))) clock++;
     cout << "found 1st exec clock: " << clock << endl;
-    
+
     while (clock < lengthIP) {
       // initialize counters for current execution.
       int p = 0; // index in production pattern
@@ -685,11 +1038,11 @@ void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {
           else {
             cannotCompleteExec = true;
             break;
-          }        
-        }        
-        
+          }
+        }
+
         if (cannotCompleteExec) break; // no need to go further since the next search of input data group will lead to go outside inputPattern
-        
+
         // search for PC(m) valid input group in IP
         while (ncp < productionCounter.at(m)) {
           if (isValidDataGroup(consumptionPattern,ccp)) ncp += 1;
@@ -701,14 +1054,14 @@ void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {
         p += 1;
         o += 1;
       }
-      
+
       if (cannotCompleteExec) break; // no need to go further since the next search of input data group will lead to go outside inputPattern
-      
+
       // current exec. taken into accunt
       nbExec += 1;
-      
+
       // search for the next exec.
-      clock += 1;      
+      clock += 1;
       nip = 0;
       while ((clock < lengthIP) && (nip < delta)) {
         if (isValidDataGroup(inputPattern,clock)) nip += 1;
@@ -724,9 +1077,9 @@ void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {
 
     // clear input pattern
     clearInputPattern();
-  }  
+  }
 }
-
+*/
 bool FunctionalBlock::samePatterns(const QMap<AbstractInterface*, QList<char>* >& patternSrc, int srcCol, const QMap<AbstractInterface*, QList<char>* >& patternDest, int destCol) {
   
   if (patternSrc.size() != patternDest.size()) return false;
@@ -744,6 +1097,26 @@ bool FunctionalBlock::samePatterns(const QMap<AbstractInterface*, QList<char>* >
   return true;
 }
 
+bool FunctionalBlock::samePatterns(const QMap<AbstractInterface*, QList<char>* >& patternSrc, const QList<int> &srcCols, const QMap<AbstractInterface*, QList<char>* >& patternDest, int destCol) {
+  if (patternSrc.size() != srcCols.size()) return false;
+  if (patternSrc.size() != patternDest.size()) return false;
+
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(patternSrc);
+  QListIterator<int> iterSrcCol(srcCols);
+  QMapIterator<AbstractInterface*, QList<char>* > iterDest(patternDest);
+  while (iterSrc.hasNext()) {
+    iterSrc.next();
+    int srcCol = iterSrcCol.next();
+    iterDest.next();
+    QList<char>* srcPat = iterSrc.value();
+    QList<char>* destPat = iterDest.value();
+    if (srcCol >= srcPat->size()) return false;
+    if (destCol >= destPat->size()) return false;
+    if (srcPat->at(srcCol) != destPat->at(destCol)) return false;
+  }
+  return true;
+}
+
 bool FunctionalBlock::canCombinePatterns(const QMap<AbstractInterface*, QList<char>* >& patternSrc, int srcCol, QMap<AbstractInterface*, QList<char>* > patternDest, int destCol) {
   if (patternSrc.size() != patternDest.size()) return false;
   QMapIterator<AbstractInterface*, QList<char>* > iterSrc(patternSrc);
@@ -828,6 +1201,19 @@ bool FunctionalBlock::isValidDataGroup(const QMap<AbstractInterface *, QList<cha
   return false;
 }
 
+bool FunctionalBlock::isValidDataGroup(const QMap<AbstractInterface*, QList<char>* >& pattern, const QList<int> offsets) {
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(pattern);
+  QListIterator<int> iterOffsets(offsets);
+  while (iterSrc.hasNext()) {
+    iterSrc.next();
+    int offset = iterOffsets.next();
+    QList<char>* srcPat = iterSrc.value();
+    if (offset >= srcPat->size()) return false;
+    if (srcPat->at(offset) == 1) return true;
+  }
+  return false;
+}
+
 bool FunctionalBlock::isOnlyXDataGroup(const QMap<AbstractInterface *, QList<char> *> &pattern, int offset) {
   QMapIterator<AbstractInterface*, QList<char>* > iterSrc(pattern);  
   while (iterSrc.hasNext()) {
@@ -873,6 +1259,30 @@ void FunctionalBlock::clearInputPattern() {
   lengthIP = -1;
 }
 
+void FunctionalBlock::clearOutputPattern() {
+
+  QMapIterator<AbstractInterface*,QList<char>* > iterO(outputPattern);
+  while (iterO.hasNext()) {
+    iterO.next();
+    ConnectedInterface* connIface = AI_TO_CON(iterO.key());
+    connIface->resetOutputPattern();
+    QList<char>* pattern = iterO.value();
+    if (pattern != NULL) delete pattern;
+  }
+  outputPattern.clear();
+  lengthOP = -1;
+}
+
+void FunctionalBlock::clearAdmittanceDelays() {
+  QMapIterator<AbstractInterface*, QList<int>* > iterA(admittanceDelays);
+  while (iterA.hasNext()) {
+    iterA.next();
+    QList<int>* d = iterA.value();
+    if (d != NULL) delete d;
+  }
+  admittanceDelays.clear();
+}
+
 int FunctionalBlock::createTriggers() {
   triggers.clear();
   /* NB: this method returns the number of executions that have been started
@@ -894,3 +1304,357 @@ int FunctionalBlock::createTriggers() {
   }      
   return triggers.size();
 }
+
+QList<QString> FunctionalBlock::getExternalResources() {
+
+  BlockImplementation* impl = reference->getImplementations().at(0); // for now only take first impl available
+  QList<QString> list = impl->getResources();
+  foreach(QString s, list) {
+    cout << qPrintable(s) << " ";
+  }
+  cout << endl;
+
+  return list;
+}
+
+
+void FunctionalBlock::generateVHDL(const QString& path) throw(Exception){
+    
+  BlockImplementation* impl = reference->getImplementations().at(0); // for now only take first impl available  
+
+  QFile implFile(impl->getXmlFile());
+
+  // reading in into QDomDocument
+  QDomDocument document("implFile");
+
+  if (!implFile.open(QIODevice::ReadOnly)) {
+    throw(Exception(IMPLFILE_NOACCESS));
+  }
+  if (!document.setContent(&implFile)) {
+    implFile.close();
+    throw(Exception(IMPLFILE_NOACCESS));
+  }
+  implFile.close();
+
+  bool genController = false;
+  QString coreFile = "";
+  QString controllerFile = "";
+
+  if (reference->isWBConfigurable()) {
+    genController = true;
+    controllerFile = path;
+    controllerFile += "/";
+    controllerFile.append(name);
+    controllerFile.append("_ctrl.vhd");    
+  }
+  else {
+    controllerFile = "nofile.vhd";    
+  }
+  coreFile = path;
+  coreFile += "/";
+  coreFile.append(name);
+  coreFile.append(".vhd");
+
+  QFile vhdlCore(coreFile);
+  QFile vhdlController(controllerFile);
+
+  if (!vhdlCore.open(QIODevice::WriteOnly)) {
+    throw(Exception(VHDLFILE_NOACCESS));
+  }
+
+  if (genController) {
+    if (!vhdlController.open(QIODevice::WriteOnly)) {
+      throw(Exception(VHDLFILE_NOACCESS));
+    }
+  }
+  QTextStream outCore(&vhdlCore);
+  QTextStream outController;
+  if (genController) {
+    outController.setDevice(&vhdlController);
+  }
+
+  try {
+    //Get the root element
+    QDomElement impl = document.documentElement();
+    QDomElement eltComments = impl.firstChildElement("comments");
+    generateComments(outCore,eltComments, coreFile);
+    QDomElement eltLibs = eltComments.nextSiblingElement("libraries");
+    generateLibraries(outCore, eltLibs);
+    generateEntity(outCore, genController);
+    QDomElement eltArch = eltLibs.nextSiblingElement("architecture");
+    generateArchitecture(outCore, eltArch );
+    if (genController) {
+      generateController(outController);
+    }
+  }
+  catch(Exception err) {
+    throw(err);
+  }
+
+  vhdlCore.close();
+  vhdlController.close();
+  
+ }
+
+void FunctionalBlock::generateComments(QTextStream& out, QDomElement &elt, QString coreFile) throw(Exception) {
+
+  for(int i = 0; i < 50; i++) {
+    out << "--";
+  }
+  out << "\n--" << endl;
+  QString fileName = coreFile;
+  out << "--  File        : " << fileName << endl;
+  out << "--" << endl;
+  QDomElement eltAuthor = elt.firstChildElement("author");
+  QString firstName = eltAuthor.attribute("firstname","");
+  QString lastName = eltAuthor.attribute("lastname","");
+  QString mail = eltAuthor.attribute("mail","");
+  out << "--  Author(s)   : "<<firstName+" "<<lastName<<" ("<<mail<<")" << endl;
+  out << "--" << endl;
+  QDomElement eltLog = eltAuthor.nextSiblingElement("log");
+  QString crea = eltLog.attribute("creation","");
+  out << "--  Creation Date   : "<<crea<< endl;
+  out << "--" << endl;
+  QDomNodeList listModifs = eltLog.elementsByTagName("modification");
+  for(int j=0;j<listModifs.length();j++) {
+    QDomNode nodeModif = listModifs.at(j);
+    QDomElement eltModif = nodeModif.toElement();
+  }
+  out << "-- Description   : " << endl;
+  out << reference->getDescription() << endl;
+  out << "--" << endl;
+  QDomElement eltNote = eltLog.nextSiblingElement("notes");
+  QDomElement note = eltNote.firstChildElement();
+  QString noteTxt = note.text();
+  out << "--  Notes          :\n"<<noteTxt<<endl;
+  out << "--" << endl;
+  for(int i = 0; i < 50; i++) {
+    out << "--";
+  }
+  out << endl << endl;
+}
+
+void FunctionalBlock::generateLibraries(QTextStream& out, QDomElement &elt) throw(Exception) {
+  
+  QDomNodeList listLib = elt.elementsByTagName("library");
+  for(int i = 0; i < listLib.length(); i++) {
+    QDomNode nodeLib = listLib.item(i);
+    QDomElement eltLib = nodeLib.toElement();
+    QString nameLib = eltLib.attribute("name","none");
+    out << "library " << nameLib << ";" << endl;
+    QDomNodeList listPack = eltLib.elementsByTagName("package");
+    for(int j = 0; j < listPack.length(); j++) {
+      QDomNode nodePack = listPack.item(j);
+      QDomElement eltPack = nodePack.toElement();
+      QString namePack = eltPack.attribute("name","none");
+      QString usePack = eltPack.attribute("use","none");
+      out << "use " << nameLib << "." << namePack << "." << usePack << ";" << endl;
+    }
+    out << endl;
+  }
+}
+
+
+void FunctionalBlock::generateEntityOrComponentBody(QTextStream& out, int indentLevel, bool hasController) throw(Exception) {
+
+  int i=0;
+  QString indent = "";
+  for(i=0;i<indentLevel;i++) {
+    indent += " ";
+  }
+  
+  //QList<BlockParameter*> listParams = reference->getParameters();
+  QList<AbstractInterface*> listInputs = getInputs();
+  QList<AbstractInterface*> listOutputs = getOutputs();
+  QList<AbstractInterface*> listBidirs = getBidirs();    
+
+  // Generation of the generics
+  QList<BlockParameter*> listGenerics = getGenericParameters();
+  if ((!listGenerics.isEmpty()) || (hasController)) {
+    out << indent << "  generic (" << endl;
+    if (hasController) {
+      out << indent << "    wb_data_width : integer = 16;" << endl;
+      out << indent << "    wb_addr_width : integer = 12";
+      if (!listGenerics.isEmpty()) out << indent << ";";
+      out << endl;
+    }
+    for(i=0;i<listGenerics.size()-1;i++) {
+      out << indent << "    " << listGenerics.at(i)->toVHDL(BlockParameter::Entity, 0) << endl;
+    }
+    out << indent << "    " << listGenerics.at(i)->toVHDL(BlockParameter::Entity,BlockParameter::NoComma) << endl;
+
+    out << indent << "    );" << endl;
+  }
+
+  out << indent << "  port (" << endl;
+
+  QString ports = "";
+  QTextStream outPorts(&ports);
+
+  // Generation of the clk & rst signals
+  outPorts << indent << "    -- clk/rst" << endl;
+  foreach(AbstractInterface* iface, listInputs) {
+    if(iface->getPurpose() == AbstractInterface::Clock || iface->getPurpose() == AbstractInterface::Reset) {
+      outPorts << indent << "    " << iface->getName() << " : in std_logic;" << endl;
+    }
+  }
+  foreach(AbstractInterface* iface, listOutputs) {
+    if(iface->getPurpose() == AbstractInterface::Clock || iface->getPurpose() == AbstractInterface::Reset) {
+      outPorts << indent << "    " << iface->getName() << " : out std_logic;" << endl;
+    }
+  }
+
+  if (hasController) {
+    // Generation of the wishbone signals
+    outPorts << indent << "    -- registers r/w via wishbone" << endl;
+    QList<BlockParameter*> listWB = reference->getWishboneParameters();
+    for(i=0;i<listWB.size()-1;i++) {
+      outPorts << indent << "    " << listWB.at(i)->toVHDL(BlockParameter::Entity, 0) << endl;
+    }
+    outPorts << indent << "    " << listWB.at(i)->toVHDL(BlockParameter::Entity,BlockParameter::NoComma) << endl;
+  }
+
+  // Generation of the data/control signals
+
+  QList<AbstractInterface*> listIface = getInterfaces(AbstractInterface::Input, AbstractInterface::Data);
+  if (listIface.size()>0) {
+    outPorts << indent << "    -- input data ports" << endl;
+    foreach(AbstractInterface* iface, listIface) {
+      outPorts << indent << "    " << iface->toVHDL(AbstractInterface::Entity, 0) << endl;
+    }
+  }
+  listIface = getInterfaces(AbstractInterface::Input, AbstractInterface::Control);
+  if (listIface.size()>0) {
+    outPorts << indent << "    -- input control ports" << endl;
+    foreach(AbstractInterface* iface, listIface) {
+      outPorts << indent << "    " << iface->toVHDL(AbstractInterface::Entity, 0) << endl;
+    }
+  }
+  listIface = getInterfaces(AbstractInterface::Output, AbstractInterface::Data);
+  if (listIface.size()>0) {
+    outPorts << indent << "    -- output data ports" << endl;
+    foreach(AbstractInterface* iface, listIface) {
+      outPorts << indent << "    " << iface->toVHDL(AbstractInterface::Entity, 0) << endl;
+    }
+  }
+  listIface = getInterfaces(AbstractInterface::Output, AbstractInterface::Control);
+  if (listIface.size()>0) {
+    outPorts << indent << "    -- output control ports" << endl;
+    foreach(AbstractInterface* iface, listIface) {
+      outPorts << indent << "    " << iface->toVHDL(AbstractInterface::Entity, 0) << endl;
+    }
+  }
+  listIface = getInterfaces(AbstractInterface::InOut, AbstractInterface::Data);
+  if (listIface.size()>0) {
+    outPorts << indent << "    -- bidirs data ports" << endl;
+    foreach(AbstractInterface* iface, listIface) {
+      outPorts << indent << "    " << iface->toVHDL(AbstractInterface::Entity, 0) << endl;
+    }
+  }
+
+  ports.chop(2);
+  ports += "\n";
+  out << ports;
+  out << indent << "    );" << endl << endl;
+
+}
+
+void FunctionalBlock::generateArchitecture(QTextStream& out, QDomElement &elt ) throw(Exception) {
+  QRegularExpression rxPort("@\\{([a-zA-Z0-9_]+)\\}");
+  QString expr;
+  QString code = elt.text();
+  //cout << qPrintable(code) << endl;
+  out << "architecture rtl of " << name << " is" << endl;
+
+  QStringList listLine = code.split("\n");
+  for(int i =0; i < listLine.size(); i++) {
+    QString line = listLine.at(i).simplified();
+
+    /*
+    if(listLine.at(i).contains(QRegularExpression("@foreach{"))) {
+      while(listLine.at(i).compare("@endforeach") != -1) {
+        expr = expr + listLine.at(i) + '\n';
+        i++;
+      }
+      expr = expr + listLine.at(i);
+      out << evalComplex(expr, 1) << '\n';
+    }
+    if(listLine.at(i).contains(QRegularExpression("@caseeach{"))) {
+      while(listLine.at(i).compare("@endcaseeach") != -1) {
+        expr = expr + listLine.at(i) + '\n';
+        i++;
+      }
+      expr = expr + listLine.at(i);
+      out << evalComplex(expr, 2) << '\n';
+    }
+*/
+    if(line.contains("@{")) {
+      QMap<QString,QString> modifs;
+      //cout << qPrintable(line) << endl;
+      QRegularExpressionMatchIterator matchPort = rxPort.globalMatch(line);
+      while(matchPort.hasNext()) {
+        QRegularExpressionMatch m = matchPort.next();
+        QString refName = m.captured(1);
+        AbstractInterface* refIface = reference->getIfaceFromName(refName);
+        QString funName = getIfaceUserName(refIface);
+        if (!funName.isEmpty()) {
+          modifs.insert(m.captured(0),funName);
+          //cout << "replace " << qPrintable(refIface->getName()) << " by " << qPrintable(funIface->getName()) << endl;
+        }
+      }
+      QMapIterator<QString,QString> iterM(modifs);
+      while(iterM.hasNext()) {
+        iterM.next();
+        QString oldName = iterM.key();
+        QString newName = iterM.value();
+        line.replace(oldName,newName);
+      }
+    }
+    out << line << endl;
+  }
+
+  out << "end rtl;" << endl;
+}
+
+void FunctionalBlock::generateController(QTextStream &out) throw(Exception) {
+  
+}
+
+QString FunctionalBlock::getIfaceUserName(AbstractInterface* refIface) {
+
+  if (! refIface->isReferenceInterface()) return "";
+
+  AbstractInterface* funcIface = NULL;
+
+  if (refIface->getDirection() == AbstractInterface::Input) {
+    foreach(AbstractInterface* iface, getInputs()) {
+      FunctionalInterface* fi = AI_TO_FUN(iface);
+      if (fi->getReference() == refIface) {
+        funcIface = iface;
+        break;
+      }
+    }
+  }
+  else if (refIface->getDirection() == AbstractInterface::Output) {
+    foreach(AbstractInterface* iface, getOutputs()) {
+      FunctionalInterface* fi = AI_TO_FUN(iface);
+      if (fi->getReference() == refIface) {
+        funcIface = iface;
+        break;
+      }
+    }
+  }
+  else if (refIface->getDirection() == AbstractInterface::InOut) {
+    foreach(AbstractInterface* iface, getBidirs()) {
+      FunctionalInterface* fi = AI_TO_FUN(iface);
+      if (fi->getReference() == refIface) {
+        funcIface = iface;
+        break;
+      }
+    }
+  }
+  if (funcIface == NULL) return "";
+
+  return funcIface->getName();
+}
+