]> 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 0db21c42398801f2097a9cc7c506f6ffb1d51da4..98e5e87a5d92f28f9a1556ccf1aaf911d5dea14a 100644 (file)
@@ -8,18 +8,13 @@
 #include "ArithmeticEvaluator.h"\r
 \r
 \r
-FunctionalBlock::FunctionalBlock(GroupBlock *_parent, ReferenceBlock *_reference) 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
   parent = _parent;\r
   name = reference->getName();\r
-  consumptionPattern = NULL;\r
-  lengthCP = 0;\r
-  nbConsumingPorts = 0;\r
-  productionPattern = NULL;\r
-  lengthPP = 0;\r
-  nbProducingPorts = 0;\r
+\r
   if (reference->getImplementations().isEmpty()) {\r
     implementation = NULL;\r
     cout << "block has no implementation" << endl;\r
@@ -27,8 +22,30 @@ FunctionalBlock::FunctionalBlock(GroupBlock *_parent, ReferenceBlock *_reference
   else {\r
     implementation = reference->getImplementations().at(0);\r
   }\r
+  lengthAP = -1;\r
+  lengthCP = -1;\r
+  lengthIP = -1;\r
+  lengthOP = -1;\r
+  lengthPP = -1;\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
 }\r
 \r
+FunctionalBlock::~FunctionalBlock() {\r
+  if (evaluator != NULL) delete evaluator;\r
+}\r
 \r
 void FunctionalBlock::parametersValidation(QList<AbstractBlock*>* checkedBlocks, QList<AbstractBlock *> *blocksToConfigure) {\r
   /*\r
@@ -55,23 +72,17 @@ bool FunctionalBlock::isFunctionalBlock() {
   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
-  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
+  AbstractInterface* inter;\r
+  ConnectedInterface* toClk = NULL;\r
+  ConnectedInterface* toRst = NULL;\r
   // create interfaces from reference block\r
   QList<AbstractInterface *> lstRef = reference->getInterfaces();\r
   // store relation between functional and reference\r
@@ -85,8 +96,19 @@ void FunctionalBlock::populate() {
       exit(1);\r
     }\r
     hashIface.insert(lstRef.at(i),inter);\r
-\r
     addInterface(inter);\r
+    /* WARNING FOR THE FUTURE :\r
+       in case of there are several clock interfaces ofr that block\r
+       it would be a good idea to make the user choose which one\r
+       must be connected to defautl clk.\r
+       Presently, the first encountered is chosen\r
+     */\r
+    if ((toClk == NULL) && (inter->getPurpose() == AbstractInterface::Clock)) {\r
+      toClk = AI_TO_CON(inter);\r
+    }\r
+    if ((toRst == NULL) && (inter->getPurpose() == AbstractInterface::Reset)) {\r
+      toRst = AI_TO_CON(inter);\r
+    }\r
   }\r
     \r
   AbstractInterface* funCtlIface = NULL;\r
@@ -105,7 +127,6 @@ void FunctionalBlock::populate() {
   }\r
 }\r
 \r
-\r
 QString FunctionalBlock::getReferenceXmlFile() {\r
     return ((ReferenceBlock *)reference)->getXmlFile();\r
 }\r
@@ -114,109 +135,151 @@ QString FunctionalBlock::getReferenceHashMd5() {
     return ((ReferenceBlock *)reference)->getHashMd5();\r
 }\r
 \r
-bool FunctionalBlock::createPatterns() {\r
+void FunctionalBlock::createPatterns() throw(Exception) {\r
   static QString fctName = "FunctionalBlock::createPatterns()";\r
 #ifdef DEBUG_FCTNAME\r
   cout << "call to " << qPrintable(fctName) << endl;\r
 #endif\r
+\r
+  if (implementation->hasNoPatterns()) return;\r
   \r
   cout << "create patterns for block " << qPrintable(name) << endl;\r
-  evaluator = new ArithmeticEvaluator();\r
-  bool ok = true;\r
-  ok = ok & createDelta();\r
-  if (! isGeneratorBlock()) {\r
-    if (ok) ok = ok & createConsumptionPattern();\r
-    if (ok) ok = ok & createProductionCounter();\r
+  if (evaluator == NULL) evaluator = new ArithmeticEvaluator();\r
+  if (! isSourceBlock()) {\r
+    try {\r
+      createDelta();\r
+      createConsumptionPattern();    \r
+      createProductionCounter();\r
+    }\r
+    catch(Exception e) {\r
+      throw(e); // rethrow e\r
+    }\r
+  }\r
+  try {\r
+    createProductionPattern();\r
+  }\r
+  catch(Exception e) {\r
+    throw(e);\r
+  }\r
+  cout << "PP of " << qPrintable(name) << endl;\r
+  QMapIterator<AbstractInterface*,QList<char>* > it(productionPattern);\r
+  while (it.hasNext()) {\r
+    it.next();\r
+    QList<char>* pat = it.value();\r
+    foreach(char c, *pat) cout << (int)c;\r
+    cout << endl;\r
   }\r
-  if (ok) ok = ok & createProductionPattern();\r
-  delete evaluator;\r
-  return ok;\r
 }\r
 \r
-bool FunctionalBlock::createDelta() {\r
+void FunctionalBlock::createDelta() throw(Exception) {\r
   static QString fctName = "FunctionalBlock::createDelta()";\r
 #ifdef DEBUG_FCTNAME\r
   cout << "call to " << qPrintable(fctName) << endl;\r
 #endif \r
   \r
-  QString deltaStr = implementation->getDelta();\r
+  QString deltaStr = implementation->getDelta();  \r
   cout << "delta for " << qPrintable(name) << " = " << qPrintable(deltaStr) << endl;\r
+  if (deltaStr.isEmpty()) {\r
+    delta = -1;\r
+    return;\r
+  }\r
   \r
-  // look for parameter names\r
-  bool ok = true;\r
-  double result = evaluateExpression(deltaStr, &ok);\r
-  if (!ok) return false;\r
-  \r
+  // look for parameter names  \r
+  double result = 0;\r
+  try {\r
+    result = evaluateExpression(deltaStr);\r
+  }\r
+  catch(Exception e) {\r
+    throw(e);\r
+  }\r
   delta = result;\r
   cout << "delta = " << delta << endl;\r
-   \r
-  return true;\r
 }\r
 \r
-bool FunctionalBlock::createConsumptionPattern() {\r
+void FunctionalBlock::createConsumptionPattern()  throw(Exception) {\r
   static QString fctName = "FunctionalBlock::createConsumptionPattern()";\r
 #ifdef DEBUG_FCTNAME\r
   cout << "call to " << qPrintable(fctName) << endl;\r
 #endif\r
   \r
-  bool ok = true; \r
+  // first clear if already exists\r
+  clearConsumptionPattern();\r
+\r
+  lengthCP = -1;  \r
   QHash<QString,QString> consPattern = implementation->getConsumptionPattern();  \r
   \r
   foreach(AbstractInterface* iface, getControlInputs()) {       \r
     FunctionalInterface* connIface = AI_TO_FUN(iface);\r
     QString refName = connIface->getReference()->getName();    \r
     if (! consPattern.contains(refName)) {\r
+      throw(Exception(NO_IFACE_CP,this));\r
       cerr << "no consumption pattern for reference interface " << qPrintable(refName) << endl;\r
-      return false;\r
     }\r
-    QList<char> pattern = expandPattern(consPattern.value(refName),&ok);    \r
-    \r
-    if (!ok) return false;\r
-    connIface->setConsumptionPattern(pattern);\r
-    cout << qPrintable(refName) << " consumption pattern = ";\r
-    foreach(char c, pattern) {\r
-      cout << (int)c << " ";\r
+    QList<char>* pattern = NULL;\r
+    try {\r
+      pattern = expandPattern(consPattern.value(refName));\r
     }\r
-    cout << endl;\r
-    \r
-  }        \r
-  return true;\r
+    catch(Exception e) {\r
+      throw(e);\r
+    }\r
+    consumptionPattern.insert(connIface,pattern);\r
+    if (lengthCP == -1) {\r
+      lengthCP = pattern->size();\r
+    }\r
+    else {\r
+      if (pattern->size() != lengthCP) {\r
+        throw(Exception(INVALID_IFACE_CP_LENGTH,this));\r
+      }\r
+    }\r
+  }          \r
 }\r
 \r
-bool FunctionalBlock::createProductionPattern() {  \r
+void FunctionalBlock::createProductionPattern() throw(Exception){  \r
   static QString fctName = "FunctionalBlock::createProductionPattern()";\r
 #ifdef DEBUG_FCTNAME\r
   cout << "call to " << qPrintable(fctName) << endl;\r
 #endif\r
+\r
+  // first clear if already exists\r
+  clearProductionPattern();\r
   \r
-  bool ok = true; \r
+  lengthPP = -1;  \r
   QHash<QString,QString> prodPattern = implementation->getProductionPattern();  \r
   \r
   foreach(AbstractInterface* iface, getControlOutputs()) {    \r
     FunctionalInterface* connIface = AI_TO_FUN(iface);\r
     QString refName = connIface->getReference()->getName();    \r
     if (! prodPattern.contains(refName)) {\r
-      cerr << "no production pattern for reference interface " << qPrintable(refName) << endl;\r
-      return false;\r
+      throw(Exception(NO_IFACE_PP,this));\r
     }\r
-    QList<char> pattern = expandPattern(prodPattern.value(refName),&ok);\r
-    if (!ok) return false;\r
-    connIface->setProductionPattern(pattern);\r
-    cout << qPrintable(refName) << " production pattern = ";\r
-    foreach(char c, pattern) {\r
-      cout << (int)c << " ";\r
+    QList<char>* pattern = NULL;\r
+    try {\r
+      pattern = expandPattern(prodPattern.value(refName));\r
     }\r
-    cout << endl;\r
-    \r
-  }    \r
-  return true;\r
+    catch(Exception e) {\r
+      throw(e);\r
+    }\r
+    productionPattern.insert(connIface,pattern);\r
+    if (lengthPP == -1) {\r
+      lengthPP = pattern->size();\r
+    }\r
+    else {\r
+      if (pattern->size() != lengthPP) {\r
+        throw(Exception(INVALID_IFACE_PP_LENGTH,this));\r
+      }\r
+    }\r
+  }      \r
 }\r
 \r
-bool FunctionalBlock::createProductionCounter() {\r
+void FunctionalBlock::createProductionCounter() throw(Exception) {\r
   static QString fctName = "FunctionalBlock::createProductionCounter()";\r
 #ifdef DEBUG_FCTNAME\r
   cout << "call to " << qPrintable(fctName) << endl;\r
 #endif\r
+\r
+  // first clear if already exists\r
+  productionCounter.clear();\r
+\r
   \r
   QStringList counterParts = implementation->getProductionCounter().split(",");\r
   foreach(QString s, counterParts) {\r
@@ -230,14 +293,20 @@ bool FunctionalBlock::createProductionCounter() {
       s.remove(0,1);\r
       s.chop(1);\r
       QStringList gen = s.split(":");\r
-      if (gen.size() != 3) return false;\r
+      if (gen.size() != 3) {\r
+        throw(Exception(INVALID_IFACE_PC,this));\r
+      }\r
       int start = 0;\r
       int nb = 0;\r
       int step = 0;\r
-      for(int i=0;i<3;i++) {\r
-        bool okVal;\r
-        double result = evaluateExpression(gen.at(i),&okVal);\r
-        if (!okVal) return false;\r
+      for(int i=0;i<3;i++) {        \r
+        double result = 0.0;\r
+        try {\r
+          result = evaluateExpression(gen.at(i));\r
+        }\r
+        catch(Exception e) {\r
+          throw(e);\r
+        }\r
         if (i==0) start = result;\r
         else if (i==1) nb = result;\r
         else if (i==2) step = result;\r
@@ -246,11 +315,14 @@ bool FunctionalBlock::createProductionCounter() {
         productionCounter.append(start+j*step);\r
       }\r
     }\r
-    else {\r
-      bool okVal;\r
-      double result = evaluateExpression(s,&okVal);\r
-      \r
-      if (!okVal) return false;\r
+    else {      \r
+      double result = 0.0;\r
+      try {\r
+        result = evaluateExpression(s);\r
+      }\r
+      catch(Exception e) {\r
+        throw(e);\r
+      }\r
       productionCounter.append(result);      \r
     }\r
   }\r
@@ -258,225 +330,690 @@ bool FunctionalBlock::createProductionCounter() {
     cout << val << ",";\r
   }\r
   cout << endl;\r
-  \r
-  return true;\r
 }\r
 \r
-QList<char> FunctionalBlock::expandPattern(const QString& pattern, bool* ok) {\r
+QList<char>* FunctionalBlock::expandPattern(const QString& patternIn) throw(Exception) {\r
   static QString fctName = "FunctionalBlock::expandPattern()";\r
 #ifdef DEBUG_FCTNAME\r
   cout << "call to " << qPrintable(fctName) << endl;\r
 #endif\r
-  \r
-  QList<char> lst;\r
-  QString  p = pattern;\r
+  /* expanding a pattern is done in two steps :\r
+      - 1 : finding all variables that correspond to an expression\r
+            and copy them in the pattern\r
+      - 2 : parsing the result\r
+\r
+      Note that the result MUST contain only variables that have a\r
+      integer/double value. Otherwise, expanding will fail.\r
+\r
+   */\r
+\r
+  // first step.\r
+\r
+  QString p = replaceExpressions(patternIn);\r
+\r
+  QList<char> lst;  \r
   p.append(')');\r
-  int offset = 0;\r
-  lst = expandPatternRecur(p,&offset,ok);   \r
-  return lst;\r
+  int offset = 0;  \r
+  QList<char>* patternOut = new QList<char>();\r
+  try {\r
+    patternOut->append(expandPatternRecur(p,&offset));\r
+  }\r
+  catch(Exception e) {\r
+    throw(e);\r
+  }\r
+\r
+  return patternOut;\r
 }\r
 \r
-QList<char> FunctionalBlock::expandPatternRecur(const QString& pattern, int *offset, bool *ok) {\r
-  \r
-  QList<char> currentGroup; \r
+QString FunctionalBlock::replaceExpressions(const QString& patternIn) throw(Exception) {\r
+\r
+  QString res = patternIn;\r
+  bool stop = false;\r
+  QRegularExpression re("[$][a-zA-Z0-9_]+");\r
+\r
+  while (!stop) {\r
+    stop = true;\r
+    QRegularExpressionMatchIterator matcher = re.globalMatch(res);\r
+    while(matcher.hasNext()) {\r
+      QRegularExpressionMatch m = matcher.next();\r
+      QString param = m.captured(0);\r
+      QString paramName = param;\r
+      paramName.remove(0,1);\r
+      BlockParameter* p = getParameterFromName(paramName);\r
+      if ((p != NULL) && (p->getType() == BlockParameter::Expression)) {\r
+        res.replace(param,p->getStringValue());\r
+        stop = false;\r
+        cout << "found an expr: " << qPrintable(paramName) << ", patern => " << qPrintable(res) << endl;\r
+      }\r
+    }\r
+  }\r
+  return res;\r
+}\r
+\r
+QList<char> FunctionalBlock::expandPatternRecur(const QString& patternIn, int *offset) throw(Exception) {\r
   \r
-  while ((*offset < pattern.size()) && (pattern.at(*offset) != ')')) {\r
+  QList<char> patternOut;\r
+\r
+  while ((*offset < patternIn.size()) && (patternIn.at(*offset) != ')')) {\r
     \r
-    QChar c = pattern.at(*offset);\r
+    QChar c = patternIn.at(*offset);\r
     if (c == '(') {\r
       *offset += 1;\r
-      currentGroup += expandPatternRecur(pattern,offset, ok);\r
-      if (!ok) {\r
-        return currentGroup;\r
+      try {\r
+        patternOut.append(expandPatternRecur(patternIn,offset));\r
+      }\r
+      catch(Exception e) {\r
+        throw(e);\r
       }\r
     }\r
     else if (c == '0') {\r
-      currentGroup.append(0);\r
+      patternOut.append(0);\r
     }\r
     else if (c == '1') {\r
-      currentGroup.append(1);\r
+      patternOut.append(1);\r
     }\r
     else if (c == 'X') {\r
-      currentGroup.append(-1);\r
+      patternOut.append(-1);\r
     }\r
     else if (c == '{') {\r
       *offset += 1;\r
       QString expr = "";      \r
-      while ((*offset < pattern.size()) && (pattern.at(*offset) != '}')) {\r
-        expr += pattern.at(*offset);        \r
+      while ((*offset < patternIn.size()) && (patternIn.at(*offset) != '}')) {\r
+        expr += patternIn.at(*offset);        \r
         *offset += 1;\r
       }\r
-      if (*offset == pattern.size()) {\r
-        *ok = false;\r
-        return currentGroup;\r
+      if (*offset == patternIn.size()) {\r
+        throw(Exception(INVALID_IFACE_PATTERN,this));\r
+      }\r
+      double repeat = 0;\r
+      try {\r
+        repeat = evaluateExpression(expr);\r
+      }\r
+      catch(Exception e) {\r
+        throw(e);\r
+      }\r
+      if (repeat == 0) {\r
+        // remove the last\r
+        patternOut.removeLast();\r
       }\r
-      double repeat = evaluateExpression(expr,ok);\r
-      if (!ok) {\r
-        return currentGroup;      \r
-      }            \r
+      else {\r
       // repeat just the last value in currentGroup\r
-      char last = currentGroup.last();      \r
-      //cout << "repeat last char " << repeat << " times : " << (int)last << endl;\r
-      \r
-      for(int i=1;i<(int)repeat;i++) {\r
-        currentGroup += last;\r
+        char last = patternOut.last();\r
+        //cout << "repeat last char " << repeat << " times : " << (int)last << endl;\r
+        for(int i=1;i<(int)repeat;i++) {\r
+          patternOut.append(last);\r
+        }\r
       }\r
     }    \r
     *offset += 1;\r
   }\r
   \r
   // must check if after ), there is a {\r
-  if ((*offset < pattern.size()-1) && (pattern.at(*offset+1) == '{')) {\r
+  if ((*offset < patternIn.size()-1) && (patternIn.at(*offset+1) == '{')) {\r
     *offset += 2;\r
     QString expr = "";      \r
-    while ((*offset < pattern.size()) && (pattern.at(*offset) != '}')) {\r
-      expr += pattern.at(*offset);        \r
+    while ((*offset < patternIn.size()) && (patternIn.at(*offset) != '}')) {\r
+      expr += patternIn.at(*offset);        \r
       *offset += 1;\r
     }\r
-    if (*offset == pattern.size()) {\r
-      *ok = false;\r
-      return currentGroup;\r
+    if (*offset == patternIn.size()) {\r
+      throw(Exception(INVALID_IFACE_PATTERN,this));\r
     }\r
-    double repeat = evaluateExpression(expr,ok);\r
-    if (!ok) {\r
-      return currentGroup;      \r
+    double repeat = 0;\r
+    try {\r
+      repeat = evaluateExpression(expr);\r
     }\r
-    /*\r
+    catch(Exception e) {\r
+      throw(e);\r
+    }\r
+    if (repeat == 0) {\r
+      QList<char> voidList;\r
+      return voidList;\r
+    }\r
+    else {\r
+      /*\r
     cout << "repeat last group " << repeat << " times : ";\r
     foreach (char c, currentGroup) cout <<(int)c;\r
-    cout << endl;  \r
+    cout << endl;\r
     */\r
-    QList<char> single = currentGroup;\r
-    for(int i=1;i<(int)repeat;i++) {\r
-      currentGroup += single;\r
-    }    \r
-  }\r
-  //*offset += 1;\r
-  return currentGroup;\r
+      QList<char> single = patternOut;\r
+      for(int i=1;i<(int)repeat;i++) {\r
+        patternOut.append(single);\r
+      }\r
+    }\r
+  }  \r
+  return patternOut;\r
 }\r
 \r
-double FunctionalBlock::evaluateExpression(const QString& expression, bool* ok) {\r
+double FunctionalBlock::evaluateExpression(const QString& expression) throw(Exception) {\r
   static QString fctName = "FunctionalBlock::evaluateExpression()";\r
 #ifdef DEBUG_FCTNAME\r
   cout << "call to " << qPrintable(fctName) << endl;\r
 #endif\r
-  \r
-  *ok = true;\r
+    \r
   QHash<QString,double> vars;\r
   evaluator->setExpression(expression);\r
   QList<QString> varNames = evaluator->getVariableNames();\r
   foreach (QString name, varNames) {\r
     QString paramName = name;\r
     paramName.remove(0,1);\r
-    BlockParameter* param = reference->getParameterFromName(paramName);    \r
+    BlockParameter* param = getParameterFromName(paramName);\r
     if (param == NULL) {\r
-      cerr << "found an unknown parameter in delta"<< endl;\r
-      *ok = false;\r
-      return 0.0;\r
+      throw(Exception(EVAL_PARAM_UNKNOWN,this));\r
     }\r
     bool okVal;\r
-    int val = param->getDoubleValue(&okVal);\r
+    int val = param->getDoubleValue(&okVal);    \r
     if (!okVal) {\r
-      cerr << "cannot obtain double value of paramter " << qPrintable(paramName) << endl;\r
-      *ok = false;\r
-      return 0.0;\r
+      throw(Exception(EVAL_PARAM_NOVALUE,this));\r
     }\r
     vars.insert(name,(double)val);    \r
-  }  \r
+  }\r
+  \r
   evaluator->setVariablesValue(vars);\r
-  double result;\r
+  double result = 0.0;\r
   try {\r
     result = evaluator->evaluate();\r
   }\r
   catch(int index) {\r
     cerr << "Error at index " << index << ": " << qPrintable(evaluator->getError()) << endl;\r
-    *ok = false;\r
-    return 0.0;\r
+    throw(Exception(EVAL_INVALID_EXPR,this));\r
   }\r
   return result;\r
 }\r
 \r
-bool FunctionalBlock::computeOutputPattern(int nbExec) {\r
-  static QString fctName = "FunctionalBlock::computeOutputPattern()";\r
+void FunctionalBlock::computeAdmittanceDelays() throw(Exception) {\r
+  static QString fctName = "FunctionalBlock::computeAdmittanceDelays()";\r
+#ifdef DEBUG_FCTNAME\r
+  cout << "call to " << qPrintable(fctName) << endl;\r
+#endif\r
+  QList<int> inClock;\r
+  QList<int> delays;\r
+\r
+  clearAdmittanceDelays();\r
+\r
+  // trying to synchronize the first one in AP\r
+  QMapIterator<AbstractInterface*,QList<char>* > iterAP(admittance);\r
+  QMapIterator<AbstractInterface*,QList<char>* > iterIP(inputPattern);\r
+\r
+  while (iterAP.hasNext()) {\r
+    iterAP.next();\r
+    iterIP.next();\r
+    QList<char>* ap = iterAP.value();\r
+    QList<char>* ip = iterIP.value();\r
+    int first = 0;\r
+    while ((first < lengthIP) && (ip->at(first) == 0)) first++;\r
+    while ((first < lengthAP) && (ap->at(first) == 0)) first--;\r
+    delays.append(first);\r
+    inClock.append(0);\r
+    QList<int>* delays = new QList<int>();\r
+    admittanceDelays.insert(iterAP.key(), delays);\r
+  }\r
+\r
+  QMapIterator<AbstractInterface*,QList<int>* > iterDelays(admittanceDelays);\r
+\r
+  // get the delay to apply\r
+  int maxDelay = 0;\r
+  for(int i=0;i<delays.size();i++) {\r
+    if (delays[i] > maxDelay) maxDelay = delays[i];\r
+  }\r
+  // adding the delays to IP\r
+  iterIP.toFront();\r
+  int i = 0;\r
+  while (iterIP.hasNext()) {\r
+    iterIP.next();\r
+    iterDelays.next();\r
+    QList<char>* ip = iterIP.value();\r
+    QList<int>* d = iterDelays.value();\r
+    d->append(maxDelay-delays[i]);\r
+    cout << "prependind " << qPrintable(iterIP.key()->getName()) << " with " << (maxDelay-delays[i]) << " 0" << endl;\r
+    for(int j=0;j<maxDelay-delays[i];j++) {\r
+      ip->prepend(0);\r
+    }\r
+    for(int j=0;j<delays[i];j++) {\r
+      ip->append(0);\r
+    }\r
+    i++;\r
+  }\r
+  lengthIP += maxDelay;\r
+\r
+  cout << "IP length = " << lengthIP << ", AP length = " << lengthAP << endl;\r
+  bool stop = false;\r
+  int apIndex = 0;\r
+  int ipIndex = 0;\r
+  while (!stop) {\r
+\r
+    // if AP is a valid group, search for the next valid group in IP\r
+    if (isValidDataGroup(admittance,apIndex)) {\r
+\r
+      while ((ipIndex < lengthIP) && (! isValidDataGroup(inputPattern,ipIndex))) ipIndex++;\r
+      if (ipIndex == lengthIP) {\r
+        stop = true;\r
+        continue;\r
+      }\r
+    }\r
+\r
+    iterAP.toFront();\r
+    iterIP.toFront();\r
+    iterDelays.toFront();\r
+\r
+    if (samePatterns(inputPattern,ipIndex,admittance,apIndex)) {\r
+      while (iterAP.hasNext()) {\r
+        iterAP.next();\r
+        iterDelays.next();\r
+        QList<char>* ap = iterAP.value();\r
+        if (ap->at(apIndex) == 1) {\r
+          QList<int>* d = iterDelays.value();\r
+          d->append(0); // the 1 is at its good place, so no delay\r
+        }\r
+      }\r
+    }\r
+    else {\r
+      cout << "diff between IP and AP at " << apIndex << endl;\r
+      // search for the next 1 in IP for every input that has a 1 in AP\r
+\r
+      while (iterAP.hasNext()) {\r
+        iterAP.next();\r
+        iterIP.next();\r
+        iterDelays.next();\r
+        QList<char>* ap = iterAP.value();\r
+        QList<char>* ip = iterIP.value();\r
+        QList<int>* d = iterDelays.value();\r
+        // case 1: 1 in IP is too late\r
+        if ((ap->at(apIndex) == 1) && (ip->at(ipIndex) == 0)) {\r
+          int delay = 1;\r
+          while ( ((ipIndex+delay) < lengthIP) && (ip->at(ipIndex+delay) == 0) ) delay++;\r
+          cout << "found a delay of " << (-delay) << " for iface " << qPrintable(iterAP.key()->getName()) << endl;\r
+          // moving the 1 to its normal pos.\r
+          ip->replace(ipIndex,1);\r
+          ip->replace(ipIndex+delay,0);\r
+          d->append(-delay);\r
+        }\r
+        // case 2: 1 in IP is too soon\r
+        else if ((ap->at(apIndex) == 0) && (ip->at(ipIndex) == 1)) {\r
+          int delay = 1;\r
+          while ( ((apIndex+delay) < lengthAP) && (ap->at(apIndex+delay) == 0) ) delay++;\r
+          cout << "found a delay of " << delay << " for iface " << qPrintable(iterAP.key()->getName()) << endl;\r
+          // search for next 0 in IP to put the 1\r
+          int k = ipIndex+delay;\r
+          while ((k < lengthIP) && (ip->at(k) == 1)) k++;\r
+          ip->replace(ipIndex,0);\r
+          ip->replace(k,1);\r
+          d->append(delay);\r
+        }\r
+      }\r
+      if (! samePatterns(inputPattern,inClock,admittance,apIndex)) {\r
+         cout << "Abnormal case while searching for delays" << endl;\r
+      }\r
+    }\r
+\r
+    apIndex++;\r
+    ipIndex++;\r
+    if ((apIndex >= lengthAP) || (ipIndex >= lengthIP)) stop = true;\r
+  }\r
+  iterDelays.toFront();\r
+  while (iterDelays.hasNext()) {\r
+    iterDelays.next();\r
+    QList<int>* d = iterDelays.value();\r
+    foreach(int v, *d) {\r
+      cout << v << " ";\r
+    }\r
+    cout << endl;\r
+  }\r
+\r
+}\r
+\r
+void FunctionalBlock::createInputPattern()  throw(Exception) {\r
+  static QString fctName = "FunctionalBlock::createInputPattern())";\r
 #ifdef DEBUG_FCTNAME\r
   cout << "call to " << qPrintable(fctName) << endl;\r
 #endif\r
   \r
-  /* case 1: the block is a generator for which output pattern\r
-     must be computed for a nbExec following executions\r
-  */\r
+  cout << "creating input pattern" << endl;\r
+  lengthIP = -1;\r
+  foreach(AbstractInterface* iface, getControlInputs()) {\r
+\r
+    ConnectedInterface* connIface = AI_TO_CON(iface);\r
+    // check if it is connected\r
+    if (connIface->getConnectedFrom() == NULL) {\r
+      throw(Exception(IFACE_NOT_CONNECTED,this));\r
+    }\r
+    // get the precursor output pattern\r
+    QList<char>* out = connIface->getConnectedFrom()->getOutputPattern();\r
+    AbstractInputModifier* modifier = connIface->getInputModifier();\r
+    // check if the input is modified\r
+    if (modifier != NULL) {\r
+\r
+      out = modifier->getModifiedInput(out);\r
+    }\r
+\r
+    if (out->size() == 0) {\r
+      clearInputPattern();\r
+      throw(Exception(NO_IFACE_IP,this));\r
+    }\r
+    if (lengthIP == -1) {\r
+      lengthIP = out->size();\r
+    }\r
+    else {\r
+      if (out->size() < lengthIP) lengthIP = out->size();\r
+    }\r
+    \r
+    QList<char>* in = new QList<char>(*out);\r
+    foreach(char c, *in) {\r
+      cout << (int)c;\r
+    }\r
+    cout << endl;    \r
+    inputPattern.insert(connIface,in);    \r
+  }\r
+  // search the last valid group in IP,\r
+  while(! isValidDataGroup(inputPattern,lengthIP-1)) {\r
+    //removeDataGroup(inputPattern,lengthIP-1);\r
+    lengthIP -= 1;\r
+  }\r
+}\r
+\r
+void FunctionalBlock::createAdmittance(int nbExec) throw(Exception) {\r
+  static QString fctName = "FunctionalBlock::createAdmittance()";\r
+#ifdef DEBUG_FCTNAME\r
+  cout << "call to " << qPrintable(fctName) << endl;\r
+#endif  \r
+  // firstly, copy CP in AP\r
+  QMapIterator<AbstractInterface*,QList<char>* > iterC(consumptionPattern);\r
+  while (iterC.hasNext()) {\r
+    iterC.next();\r
+    QList<char>* pattern = new QList<char>(*(iterC.value()));\r
+    admittance.insert(iterC.key(), pattern);    \r
+  }\r
+  lengthAP = lengthCP;\r
+  int clock = 0;  \r
+  cout << "trigger 1 at c.c. 0" << endl;\r
+  for(int i=1;i<nbExec;i++) {\r
+    // searching for the clock cycle for which a new exec starts\r
+    int nbGroup = 0;\r
+    while ((clock < lengthAP) && (nbGroup < delta)) {\r
+      if (isValidDataGroup(admittance,clock)) nbGroup+=1;\r
+      clock += 1;\r
+    }\r
+    while ((clock < lengthAP) && (! isValidDataGroup(admittance,clock))) clock+=1;\r
+    cout << "trigger " << (i+1) << " at c.c. " << clock << endl;\r
+    int sc = clock;\r
+    // combine CP with AP at sc\r
+    for(int j=0;j<lengthCP;j++) {\r
+      // first case : column of CP must be placed beyond AP's end.\r
+      if (sc == lengthAP) {\r
+        cout << i << "," << j << " append in AP at " << sc << endl;\r
+        appendToPattern(consumptionPattern,j,admittance,1);\r
+        lengthAP += 1;\r
+        sc += 1;              \r
+      }\r
+      // second case : CP and AP can be combined directly (i.e. no X | 1 to do)\r
+      else if (canCombinePatterns(consumptionPattern,j,admittance,sc)) {\r
+        cout << i << "," << j << " combine at " << sc << endl;\r
+        combinePatterns(consumptionPattern,j,admittance,sc);\r
+        sc += 1;\r
+      }\r
+      // third case : CP has an X column\r
+      else if (isOnlyXDataGroup(consumptionPattern,j)) {\r
+        cout << i << "," << j << " shift rigth AP to combine at " << sc << endl;\r
+        shiftRightPattern(admittance,sc);\r
+        lengthAP += 1;\r
+        if (! canCombinePatterns(consumptionPattern,j,admittance,sc)) {\r
+          cerr << "Abnormal case when combining AP and CP" << endl;\r
+        }\r
+        combinePatterns(consumptionPattern,j,admittance,sc);        \r
+        sc += 1;\r
+      }\r
+      // fourth case : AP has an X column\r
+      else if (isOnlyXDataGroup(admittance,sc)) {\r
+        cout << i << "," << j << " jump c.c. for CP at " << sc << endl;        \r
+        sc += 1;\r
+        j -= 1;\r
+      }\r
+      else {\r
+        throw(INVALID_DELTA_CP);        \r
+      }\r
+    }\r
+  }\r
+  // turn all X into 0\r
+  QMapIterator<AbstractInterface*,QList<char>* > iterA(admittance);\r
+  while (iterA.hasNext()) {\r
+    iterA.next();\r
+    QList<char>* pattern = iterA.value();\r
+    for(int i=0;i<pattern->size();i++) {\r
+      if (pattern->at(i) == -1) pattern->replace(i,0);\r
+      cout << (int)(pattern->at(i));\r
+    }\r
+    cout << endl;\r
+  }  \r
+}\r
+\r
+void FunctionalBlock::checkInputPatternCompatibility() throw(Exception) {\r
+  static QString fctName = "FunctionalBlock::checkInputPatternCompatibility()";\r
+#ifdef DEBUG_FCTNAME\r
+  cout << "call to " << qPrintable(fctName) << endl;\r
+#endif\r
+    \r
+  // firstly, create input pattern\r
+  try {\r
+    createInputPattern();\r
+  }\r
+  catch(Exception e) {\r
+    throw(e);\r
+  }\r
+  int nbExec = createTriggers();\r
+  cout << qPrintable(name) << " will exec. " << nbExec << " times." << endl;\r
   \r
+  try {\r
+    createAdmittance(nbExec);\r
+  }\r
+  catch(Exception e) {\r
+    cout << "cannot create admittance" << endl;\r
+    throw(e);\r
+  }\r
   \r
+  int clock = 0; // index in IP  \r
+  int i = 0; // index in AP  \r
+  while ((clock < lengthIP) && (i < lengthAP)) {\r
+     \r
+    // if AP is a valid group, search for the next valid group in IP\r
+    if (isValidDataGroup(admittance,i)) {\r
+      while ((clock < lengthIP) && (! isValidDataGroup(inputPattern,clock))) clock++;\r
+      if (clock == lengthIP) {\r
+        cerr << "Abnormal case: end of IP has been reached without finding a valid group" << endl;\r
+        throw(Exception(IP_END_NULLCOL,this));\r
+      }\r
+    }    \r
+    /* at that point 2 cases of compat : IP(clock) and AP(i) are equal valid group, or\r
+       are both null columns\r
+    */\r
+    if (! samePatterns(inputPattern,clock,admittance,i)) {\r
+      cout << "AP(" << i << ") and IP(" << clock << ") are not equal" << endl;\r
+      throw(Exception(IP_AP_NOTCOMPAT,this)); // IP and AP not compatible\r
+    }\r
+    clock++;\r
+    i++;\r
+  }\r
+  if (clock < lengthIP) {\r
+    throw(Exception(AP_TOO_SHORT,this));\r
+    cerr << "Abnormal case: AP is to short" << endl;   \r
+  }  \r
+}\r
+\r
+void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {\r
+  static QString fctName = "FunctionalBlock::computeOutputPattern()";\r
+#ifdef DEBUG_FCTNAME\r
+  cout << "call to " << qPrintable(fctName) << endl;\r
+#endif\r
+\r
+  clearOutputPattern();\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
+  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
+    catch(Exception e) {\r
+      throw(e);\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
+      }\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
+      }\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
+    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
+    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
+\r
+/*\r
+\r
+void FunctionalBlock::computeOutputPattern(int nbExec) throw(Exception) {\r
+  static QString fctName = "FunctionalBlock::computeOutputPattern()";\r
+#ifdef DEBUG_FCTNAME\r
+  cout << "call to " << qPrintable(fctName) << endl;\r
+#endif\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 (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
-      QList<char> pattern;\r
-      for(int i=0;i<nbExec;i++) pattern += connIface->getProductionPattern();\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
-    }    \r
+      // store it in QMap\r
+      outputPattern.insert(connIface,pattern);\r
+    }\r
   }\r
   else {\r
     cout << "computing output pattern of " << qPrintable(name) << endl;\r
-    \r
-    // initialize consumption and production patterns    \r
-    initConsumptionPattern();\r
-    initProductionPattern();\r
-    \r
-    // collect the input patterns for each input    \r
-    char** inputPattern = NULL;\r
-    int idIface = 0;\r
-    inputPattern = new char*[nbConsumingPorts];\r
-    int minLen = -1;\r
-    foreach(AbstractInterface* iface, getControlInputs()) {      \r
-      ConnectedInterface* connIface = AI_TO_CON(iface);\r
-      QList<char> in = connIface->getConnectedFrom()->getOutputPattern();\r
-      if (minLen == -1) {\r
-        minLen = in.size();\r
-      }\r
-      else {\r
-        if (in.size() < minLen) minLen = in.size();\r
-      }\r
-      if (in.size() > 0) {\r
-        inputPattern[idIface] = new char[in.size()];\r
-        int i = 0;\r
-        foreach(char c, in) inputPattern[idIface][i++] = c;\r
-      }\r
-      else {\r
-        inputPattern[idIface] = NULL;\r
+\r
+    // in case of inputPattern not created, do it\r
+    if (lengthIP <= 0) {\r
+      // collect the input patterns for each input\r
+      try {\r
+        createInputPattern();\r
       }\r
-      idIface += 1;      \r
-    }\r
-    // if some patterns are not available, ens now, returning false\r
-    if (minLen == 0) {\r
-      for(int i=0;i<nbConsumingPorts; i++) {\r
-        if (inputPattern[i] != NULL) delete [] inputPattern[i];\r
+      catch(Exception e) {\r
+        throw(e);\r
       }\r
-      delete [] inputPattern;\r
-      return false;\r
+      cout << "input pattern array initialized with min. len " << lengthIP << endl;\r
     }\r
-    cout << "input pattern array initialized with min. len " << minLen << endl;\r
-    // initialize the output pattern    \r
-    char** outputPattern = NULL;\r
-    outputPattern = new char*[nbProducingPorts];\r
-    int lengthOP = 0;\r
-    idIface = 0;\r
+\r
+    // initialize the output pattern\r
+    lengthOP = 0;\r
     foreach(AbstractInterface* iface, getControlOutputs()) {\r
       FunctionalInterface* connIface = AI_TO_FUN(iface);\r
-      lengthOP = minLen+connIface->getProductionPattern().size();\r
-      outputPattern[idIface] = new char[lengthOP];\r
-      memset(outputPattern[idIface],0,lengthOP);\r
-      idIface += 1;\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
+\r
     int clock = 0;\r
     nbExec = 0;\r
     // search for the beginning of the first execution.\r
-    while ((clock < minLen) && (! isValidDataGroup(inputPattern,nbConsumingPorts,clock))) clock++;\r
+    while ((clock < lengthIP) && (! isValidDataGroup(inputPattern,clock))) clock++;\r
     cout << "found 1st exec clock: " << clock << endl;\r
-    \r
-    while (clock < minLen) {\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
@@ -487,154 +1024,645 @@ bool FunctionalBlock::computeOutputPattern(int nbExec) {
       bool cannotCompleteExec = false;\r
       for(int m=0;m<productionCounter.size();m++) {\r
         // search for the first production in PP\r
-        while (!isValidDataGroup(productionPattern,nbProducingPorts,p)) {\r
+        while (!isValidDataGroup(productionPattern,p)) {\r
           p += 1;\r
           o += 1;\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 < minLen) {\r
-            if (isValidDataGroup(inputPattern,nbConsumingPorts,clock+cip)) nip += 1;\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
-        \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
+\r
         // search for PC(m) valid input group in IP\r
         while (ncp < productionCounter.at(m)) {\r
-          if (isValidDataGroup(consumptionPattern,nbConsumingPorts,ccp)) ncp += 1;\r
+          if (isValidDataGroup(consumptionPattern,ccp)) ncp += 1;\r
           ccp += 1;\r
           gap -= 1;\r
         }\r
         o += gap; // to take into acocunt of extra null columns\r
-        combinePatterns(productionPattern,p,outputPattern,clock+o,1,nbProducingPorts);\r
+        combinePatterns(productionPattern,p,outputPattern,clock+o);\r
         p += 1;\r
         o += 1;\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
+\r
       // current exec. taken into accunt\r
       nbExec += 1;\r
-      \r
+\r
       // search for the next exec.\r
-      clock += 1;      \r
+      clock += 1;\r
       nip = 0;\r
-      while ((clock < minLen) && (nip < delta)) {\r
-        if (isValidDataGroup(inputPattern,nbConsumingPorts,clock)) nip += 1;\r
+      while ((clock < lengthIP) && (nip < delta)) {\r
+        if (isValidDataGroup(inputPattern,clock)) nip += 1;\r
         if (nip < delta) clock += 1;\r
       }\r
+      cout << "found exec " << nbExec << " at clock: " << clock << endl;\r
     }\r
     // find the last valid output data group\r
-    while(! isValidDataGroup(outputPattern,nbProducingPorts,lengthOP-1)) lengthOP -= 1;\r
-    \r
-    //for(int i=0;i<lengthOP;i++) cout << (int)(outputPattern[0][i]);\r
-    //cout << endl;\r
-    // copy back outputPattern info each interface\r
-    idIface = 0;\r
-    foreach(AbstractInterface* iface, getControlOutputs()) {\r
-      ConnectedInterface* connIface = AI_TO_CON(iface);\r
-      QList<char> pattern;\r
-      for(int i=0;i<lengthOP;i++) pattern.append(outputPattern[idIface][i]);\r
-      connIface->setOutputPattern(pattern);      \r
-      idIface += 1;\r
-    }\r
-    \r
-    // clear inputPattern and outputPattern\r
-    for(int i=0;i<nbConsumingPorts; i++) {\r
-      delete [] inputPattern[i];\r
-    }\r
-    delete [] inputPattern;\r
-    for(int i=0;i<nbProducingPorts; i++) {\r
-      delete [] outputPattern[i];\r
+    while(! isValidDataGroup(outputPattern,lengthOP-1)) {\r
+      removeDataGroup(outputPattern,lengthOP-1);\r
+      lengthOP -= 1;\r
     }\r
-    delete [] outputPattern;\r
+\r
+    // clear input pattern\r
+    clearInputPattern();\r
+  }\r
+}\r
+*/\r
+bool FunctionalBlock::samePatterns(const QMap<AbstractInterface*, QList<char>* >& patternSrc, int srcCol, const QMap<AbstractInterface*, QList<char>* >& patternDest, int destCol) {\r
+  \r
+  if (patternSrc.size() != patternDest.size()) return false;\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(patternSrc);\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterDest(patternDest);\r
+  while (iterSrc.hasNext()) {\r
+    iterSrc.next();\r
+    iterDest.next();    \r
+    QList<char>* srcPat = iterSrc.value();\r
+    QList<char>* destPat = iterDest.value();\r
+    if (srcCol >= srcPat->size()) return false;\r
+    if (destCol >= destPat->size()) return false;\r
+    if (srcPat->at(srcCol) != destPat->at(destCol)) return false;    \r
   }\r
   return true;\r
 }\r
 \r
-bool FunctionalBlock::isValidDataGroup(char** pattern, int nbPorts, int clock) {\r
-  \r
-  for(int i=0;i<nbPorts;i++) {\r
-    if (pattern[i][clock] == 1) return true;\r
+bool FunctionalBlock::samePatterns(const QMap<AbstractInterface*, QList<char>* >& patternSrc, const QList<int> &srcCols, const QMap<AbstractInterface*, QList<char>* >& patternDest, int destCol) {\r
+  if (patternSrc.size() != srcCols.size()) return false;\r
+  if (patternSrc.size() != patternDest.size()) return false;\r
+\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(patternSrc);\r
+  QListIterator<int> iterSrcCol(srcCols);\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterDest(patternDest);\r
+  while (iterSrc.hasNext()) {\r
+    iterSrc.next();\r
+    int srcCol = iterSrcCol.next();\r
+    iterDest.next();\r
+    QList<char>* srcPat = iterSrc.value();\r
+    QList<char>* destPat = iterDest.value();\r
+    if (srcCol >= srcPat->size()) return false;\r
+    if (destCol >= destPat->size()) return false;\r
+    if (srcPat->at(srcCol) != destPat->at(destCol)) return false;\r
   }\r
-  return false;  \r
+  return true;\r
 }\r
 \r
-void FunctionalBlock::combinePatterns(char** patternSrc, int srcCol, char** patternDest, int destCol, int nbCols, int nbPorts ) {\r
-  \r
-  for (int i=0;i<nbCols;i++) {\r
-    for(int j=0;j<nbPorts;j++) {\r
-      patternDest[j][destCol+i] = patternDest[j][destCol+i] | patternSrc[j][srcCol+i];\r
+bool FunctionalBlock::canCombinePatterns(const QMap<AbstractInterface*, QList<char>* >& patternSrc, int srcCol, QMap<AbstractInterface*, QList<char>* > patternDest, int destCol) {\r
+  if (patternSrc.size() != patternDest.size()) return false;\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(patternSrc);\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterDest(patternDest);\r
+  while (iterSrc.hasNext()) {\r
+    iterSrc.next();\r
+    iterDest.next();    \r
+    QList<char>* srcPat = iterSrc.value();\r
+    QList<char>* destPat = iterDest.value();\r
+    if (srcCol >= srcPat->size()) return false;\r
+    if (destCol >= destPat->size()) return false;\r
+    if ((srcPat->at(srcCol) == -1) && (destPat->at(destCol) == 1)) return false;\r
+    if ((srcPat->at(srcCol) == 1) && (destPat->at(destCol) == -1)) return false;\r
+  }\r
+  return true;\r
+}\r
+\r
+void FunctionalBlock::combinePatterns(const QMap<AbstractInterface*, QList<char>* >& patternSrc, int srcCol, QMap<AbstractInterface*, QList<char>* > patternDest, int destCol) {\r
+  if (patternSrc.size() != patternDest.size()) return;\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(patternSrc);\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterDest(patternDest);\r
+  while (iterSrc.hasNext()) {\r
+    iterSrc.next();\r
+    iterDest.next();    \r
+    QList<char>* srcPat = iterSrc.value();\r
+    QList<char>* destPat = iterDest.value();\r
+    if (srcCol >= srcPat->size()) return;\r
+    if (destCol >= destPat->size()) return;\r
+    if ((srcPat->at(srcCol) == -1) && (destPat->at(destCol) == 1)) return;\r
+    if ((srcPat->at(srcCol) == 1) && (destPat->at(destCol) == -1)) return;    \r
+    destPat->replace(destCol,destPat->at(destCol) | srcPat->at(srcCol));\r
+  }  \r
+}\r
+\r
+void FunctionalBlock::appendToPattern(const QMap<AbstractInterface*, QList<char>* >& patternSrc, int srcCol, QMap<AbstractInterface*, QList<char>* > patternDest, int nbCols) {\r
+  if (patternSrc.size() != patternDest.size()) return;\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(patternSrc);\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterDest(patternDest);\r
+  while (iterSrc.hasNext()) {\r
+    iterSrc.next();\r
+    iterDest.next();    \r
+    QList<char>* srcPat = iterSrc.value();\r
+    QList<char>* destPat = iterDest.value();    \r
+    int i=0;\r
+    while ((srcCol+i < srcPat->size()) && (i<nbCols)) {\r
+      destPat->append(srcPat->at(srcCol+i));\r
+      i++;\r
+    }\r
+  }  \r
+}\r
+\r
+void FunctionalBlock::removeDataGroup(QMap<AbstractInterface *, QList<char> *> &pattern, int offset) {\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(pattern);  \r
+  while (iterSrc.hasNext()) {\r
+    iterSrc.next();    \r
+    QList<char>* srcPat = iterSrc.value();\r
+    if (offset < srcPat->size()) {\r
+      srcPat->removeAt(offset);\r
+    }\r
+  }\r
+}\r
+\r
+void FunctionalBlock::shiftRightPattern(const QMap<AbstractInterface *, QList<char> *> &pattern, int offset) {\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(pattern);  \r
+  while (iterSrc.hasNext()) {\r
+    iterSrc.next();    \r
+    QList<char>* srcPat = iterSrc.value();\r
+    if (offset < srcPat->size()) {\r
+      srcPat->insert(offset,0);\r
     }\r
   }\r
-  \r
+}\r
+\r
+bool FunctionalBlock::isValidDataGroup(const QMap<AbstractInterface *, QList<char> *> &pattern, int offset) {\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(pattern);  \r
+  while (iterSrc.hasNext()) {\r
+    iterSrc.next();    \r
+    QList<char>* srcPat = iterSrc.value();\r
+    if (offset >= srcPat->size()) return false;\r
+    if (srcPat->at(offset) == 1) return true;\r
+  }\r
+  return false;\r
+}\r
+\r
+bool FunctionalBlock::isValidDataGroup(const QMap<AbstractInterface*, QList<char>* >& pattern, const QList<int> offsets) {\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(pattern);\r
+  QListIterator<int> iterOffsets(offsets);\r
+  while (iterSrc.hasNext()) {\r
+    iterSrc.next();\r
+    int offset = iterOffsets.next();\r
+    QList<char>* srcPat = iterSrc.value();\r
+    if (offset >= srcPat->size()) return false;\r
+    if (srcPat->at(offset) == 1) return true;\r
+  }\r
+  return false;\r
+}\r
+\r
+bool FunctionalBlock::isOnlyXDataGroup(const QMap<AbstractInterface *, QList<char> *> &pattern, int offset) {\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterSrc(pattern);  \r
+  while (iterSrc.hasNext()) {\r
+    iterSrc.next();    \r
+    QList<char>* srcPat = iterSrc.value();\r
+    if (offset >= srcPat->size()) return false;\r
+    if (srcPat->at(offset) != -1) return false;\r
+  }\r
+  return true;  \r
 }\r
 \r
 void FunctionalBlock::clearConsumptionPattern() {\r
-  if (consumptionPattern == NULL) return;\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterP(consumptionPattern);  \r
+  while (iterP.hasNext()) {\r
+    iterP.next();\r
+    QList<char>* pattern = iterP.value();\r
+    if (pattern != NULL) delete pattern;\r
+  }\r
+  consumptionPattern.clear();\r
+  lengthCP = -1;      \r
+}  \r
+\r
+void FunctionalBlock::clearProductionPattern() {\r
+  QMapIterator<AbstractInterface*, QList<char>* > iterP(productionPattern);  \r
+  while (iterP.hasNext()) {\r
+    iterP.next();\r
+    QList<char>* pattern = iterP.value();\r
+    if (pattern != NULL) delete pattern;\r
+  }\r
+  productionPattern.clear();\r
+  lengthPP = -1;\r
+}  \r
+\r
+void FunctionalBlock::clearInputPattern() {\r
   \r
-  for(int i=0;i<nbConsumingPorts; i++) {\r
-    delete [] consumptionPattern[i];\r
+  QMapIterator<AbstractInterface*,QList<char>* > iterI(inputPattern);\r
+  while (iterI.hasNext()) {\r
+    iterI.next();\r
+    QList<char>* pattern = iterI.value();\r
+    if (pattern != NULL) delete pattern;\r
   }\r
-  delete [] consumptionPattern;      \r
+  inputPattern.clear();\r
+  lengthIP = -1;\r
 }\r
 \r
-void FunctionalBlock::clearProductionPattern() {\r
-  if (productionPattern == NULL) return;\r
-  for(int i=0;i<nbProducingPorts;i++) {\r
-    delete [] productionPattern[i];\r
+void FunctionalBlock::clearOutputPattern() {\r
+\r
+  QMapIterator<AbstractInterface*,QList<char>* > iterO(outputPattern);\r
+  while (iterO.hasNext()) {\r
+    iterO.next();\r
+    ConnectedInterface* connIface = AI_TO_CON(iterO.key());\r
+    connIface->resetOutputPattern();\r
+    QList<char>* pattern = iterO.value();\r
+    if (pattern != NULL) delete pattern;\r
   }\r
-  delete [] productionPattern;\r
+  outputPattern.clear();\r
+  lengthOP = -1;\r
 }\r
 \r
-void FunctionalBlock::initConsumptionPattern() {\r
-  static QString fctName = "FunctionalBlock::initConsumptionPattern()";\r
-#ifdef DEBUG_FCTNAME\r
-  cout << "call to " << qPrintable(fctName) << endl;\r
-#endif\r
+void FunctionalBlock::clearAdmittanceDelays() {\r
+  QMapIterator<AbstractInterface*, QList<int>* > iterA(admittanceDelays);\r
+  while (iterA.hasNext()) {\r
+    iterA.next();\r
+    QList<int>* d = iterA.value();\r
+    if (d != NULL) delete d;\r
+  }\r
+  admittanceDelays.clear();\r
+}\r
+\r
+int FunctionalBlock::createTriggers() {\r
+  triggers.clear();\r
+  /* NB: this method returns the number of executions that have been started\r
+     but not necessary completed.\r
+  */\r
+  if (delta <= 0) return 0;  \r
+  int offset = 0;\r
+  // search for the first exec.\r
+  while ((offset < lengthIP) && (! isValidDataGroup(inputPattern,offset))) offset++;\r
+  if (offset == lengthIP) return 0;\r
+  triggers.append(offset);  \r
+  int nbGroup = 0;\r
+  for(int i = offset;i<lengthIP;i++) {\r
+    if (isValidDataGroup(inputPattern,i)) nbGroup++;\r
+    if (nbGroup == delta+1) {\r
+      triggers.append(i);\r
+      nbGroup = 1;\r
+    }\r
+  }      \r
+  return triggers.size();\r
+}\r
+\r
+QList<QString> FunctionalBlock::getExternalResources() {\r
+\r
+  BlockImplementation* impl = reference->getImplementations().at(0); // for now only take first impl available\r
+  QList<QString> list = impl->getResources();\r
+  foreach(QString s, list) {\r
+    cout << qPrintable(s) << " ";\r
+  }\r
+  cout << endl;\r
+\r
+  return list;\r
+}\r
+\r
+\r
+void FunctionalBlock::generateVHDL(const QString& path) throw(Exception){\r
+    \r
+  BlockImplementation* impl = reference->getImplementations().at(0); // for now only take first impl available  \r
+\r
+  QFile implFile(impl->getXmlFile());\r
+\r
+  // reading in into QDomDocument\r
+  QDomDocument document("implFile");\r
+\r
+  if (!implFile.open(QIODevice::ReadOnly)) {\r
+    throw(Exception(IMPLFILE_NOACCESS));\r
+  }\r
+  if (!document.setContent(&implFile)) {\r
+    implFile.close();\r
+    throw(Exception(IMPLFILE_NOACCESS));\r
+  }\r
+  implFile.close();\r
+\r
+  bool genController = false;\r
+  QString coreFile = "";\r
+  QString controllerFile = "";\r
+\r
+  if (reference->isWBConfigurable()) {\r
+    genController = true;\r
+    controllerFile = path;\r
+    controllerFile += "/";\r
+    controllerFile.append(name);\r
+    controllerFile.append("_ctrl.vhd");    \r
+  }\r
+  else {\r
+    controllerFile = "nofile.vhd";    \r
+  }\r
+  coreFile = path;\r
+  coreFile += "/";\r
+  coreFile.append(name);\r
+  coreFile.append(".vhd");\r
+\r
+  QFile vhdlCore(coreFile);\r
+  QFile vhdlController(controllerFile);\r
+\r
+  if (!vhdlCore.open(QIODevice::WriteOnly)) {\r
+    throw(Exception(VHDLFILE_NOACCESS));\r
+  }\r
+\r
+  if (genController) {\r
+    if (!vhdlController.open(QIODevice::WriteOnly)) {\r
+      throw(Exception(VHDLFILE_NOACCESS));\r
+    }\r
+  }\r
+  QTextStream outCore(&vhdlCore);\r
+  QTextStream outController;\r
+  if (genController) {\r
+    outController.setDevice(&vhdlController);\r
+  }\r
+\r
+  try {\r
+    //Get the root element\r
+    QDomElement impl = document.documentElement();\r
+    QDomElement eltComments = impl.firstChildElement("comments");\r
+    generateComments(outCore,eltComments, coreFile);\r
+    QDomElement eltLibs = eltComments.nextSiblingElement("libraries");\r
+    generateLibraries(outCore, eltLibs);\r
+    generateEntity(outCore, genController);\r
+    QDomElement eltArch = eltLibs.nextSiblingElement("architecture");\r
+    generateArchitecture(outCore, eltArch );\r
+    if (genController) {\r
+      generateController(outController);\r
+    }\r
+  }\r
+  catch(Exception err) {\r
+    throw(err);\r
+  }\r
+\r
+  vhdlCore.close();\r
+  vhdlController.close();\r
   \r
-  if (consumptionPattern != NULL) clearConsumptionPattern();\r
+ }\r
+\r
+void FunctionalBlock::generateComments(QTextStream& out, QDomElement &elt, QString coreFile) throw(Exception) {\r
+\r
+  for(int i = 0; i < 50; i++) {\r
+    out << "--";\r
+  }\r
+  out << "\n--" << endl;\r
+  QString fileName = coreFile;\r
+  out << "--  File        : " << fileName << endl;\r
+  out << "--" << endl;\r
+  QDomElement eltAuthor = elt.firstChildElement("author");\r
+  QString firstName = eltAuthor.attribute("firstname","");\r
+  QString lastName = eltAuthor.attribute("lastname","");\r
+  QString mail = eltAuthor.attribute("mail","");\r
+  out << "--  Author(s)   : "<<firstName+" "<<lastName<<" ("<<mail<<")" << endl;\r
+  out << "--" << endl;\r
+  QDomElement eltLog = eltAuthor.nextSiblingElement("log");\r
+  QString crea = eltLog.attribute("creation","");\r
+  out << "--  Creation Date   : "<<crea<< endl;\r
+  out << "--" << 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
+  QDomElement eltNote = eltLog.nextSiblingElement("notes");\r
+  QDomElement note = eltNote.firstChildElement();\r
+  QString noteTxt = note.text();\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
+  }\r
+  out << endl << endl;\r
+}\r
+\r
+void FunctionalBlock::generateLibraries(QTextStream& out, QDomElement &elt) throw(Exception) {\r
   \r
-  nbConsumingPorts = getControlInputs().size();  \r
-  int idIface = 0;\r
-  consumptionPattern = new char*[nbConsumingPorts];  \r
-  foreach(AbstractInterface* iface, getControlInputs()) {\r
-    FunctionalInterface* connIface = AI_TO_FUN(iface);\r
-    QList<char> in = connIface->getConsumptionPattern();\r
-    lengthCP = in.size(); // normally, all inputs have the same lenght for CP\r
-    consumptionPattern[idIface] = new char[lengthCP];\r
-    int i = 0;\r
-    foreach(char c, in) consumptionPattern[idIface][i++] = c;\r
-    idIface += 1;    \r
+  QDomNodeList listLib = elt.elementsByTagName("library");\r
+  for(int i = 0; i < listLib.length(); i++) {\r
+    QDomNode nodeLib = listLib.item(i);\r
+    QDomElement eltLib = nodeLib.toElement();\r
+    QString nameLib = eltLib.attribute("name","none");\r
+    out << "library " << nameLib << ";" << endl;\r
+    QDomNodeList listPack = eltLib.elementsByTagName("package");\r
+    for(int j = 0; j < listPack.length(); j++) {\r
+      QDomNode nodePack = listPack.item(j);\r
+      QDomElement eltPack = nodePack.toElement();\r
+      QString namePack = eltPack.attribute("name","none");\r
+      QString usePack = eltPack.attribute("use","none");\r
+      out << "use " << nameLib << "." << namePack << "." << usePack << ";" << endl;\r
+    }\r
+    out << endl;\r
   }\r
 }\r
 \r
-void FunctionalBlock::initProductionPattern() {\r
-  static QString fctName = "FunctionalBlock::initProductionPattern()";\r
-#ifdef DEBUG_FCTNAME\r
-  cout << "call to " << qPrintable(fctName) << endl;\r
-#endif\r
+\r
+void FunctionalBlock::generateEntityOrComponentBody(QTextStream& out, int indentLevel, bool hasController) throw(Exception) {\r
+\r
+  int i=0;\r
+  QString indent = "";\r
+  for(i=0;i<indentLevel;i++) {\r
+    indent += " ";\r
+  }\r
   \r
-  if (productionPattern != NULL) clearProductionPattern();\r
+  //QList<BlockParameter*> listParams = reference->getParameters();\r
+  QList<AbstractInterface*> listInputs = getInputs();\r
+  QList<AbstractInterface*> listOutputs = getOutputs();\r
+  QList<AbstractInterface*> listBidirs = getBidirs();    \r
+\r
+  // Generation of the generics\r
+  QList<BlockParameter*> listGenerics = getGenericParameters();\r
+  if ((!listGenerics.isEmpty()) || (hasController)) {\r
+    out << indent << "  generic (" << endl;\r
+    if (hasController) {\r
+      out << indent << "    wb_data_width : integer = 16;" << endl;\r
+      out << indent << "    wb_addr_width : integer = 12";\r
+      if (!listGenerics.isEmpty()) out << indent << ";";\r
+      out << endl;\r
+    }\r
+    for(i=0;i<listGenerics.size()-1;i++) {\r
+      out << indent << "    " << listGenerics.at(i)->toVHDL(BlockParameter::Entity, 0) << endl;\r
+    }\r
+    out << indent << "    " << listGenerics.at(i)->toVHDL(BlockParameter::Entity,BlockParameter::NoComma) << endl;\r
+\r
+    out << indent << "    );" << endl;\r
+  }\r
+\r
+  out << indent << "  port (" << endl;\r
+\r
+  QString ports = "";\r
+  QTextStream outPorts(&ports);\r
+\r
+  // Generation of the clk & rst signals\r
+  outPorts << indent << "    -- clk/rst" << endl;\r
+  foreach(AbstractInterface* iface, listInputs) {\r
+    if(iface->getPurpose() == AbstractInterface::Clock || iface->getPurpose() == AbstractInterface::Reset) {\r
+      outPorts << indent << "    " << iface->getName() << " : in std_logic;" << endl;\r
+    }\r
+  }\r
+  foreach(AbstractInterface* iface, listOutputs) {\r
+    if(iface->getPurpose() == AbstractInterface::Clock || iface->getPurpose() == AbstractInterface::Reset) {\r
+      outPorts << indent << "    " << iface->getName() << " : out std_logic;" << endl;\r
+    }\r
+  }\r
+\r
+  if (hasController) {\r
+    // Generation of the wishbone signals\r
+    outPorts << indent << "    -- registers r/w via wishbone" << endl;\r
+    QList<BlockParameter*> listWB = reference->getWishboneParameters();\r
+    for(i=0;i<listWB.size()-1;i++) {\r
+      outPorts << indent << "    " << listWB.at(i)->toVHDL(BlockParameter::Entity, 0) << endl;\r
+    }\r
+    outPorts << indent << "    " << listWB.at(i)->toVHDL(BlockParameter::Entity,BlockParameter::NoComma) << endl;\r
+  }\r
+\r
+  // Generation of the data/control signals\r
+\r
+  QList<AbstractInterface*> listIface = getInterfaces(AbstractInterface::Input, AbstractInterface::Data);\r
+  if (listIface.size()>0) {\r
+    outPorts << indent << "    -- input data ports" << endl;\r
+    foreach(AbstractInterface* iface, listIface) {\r
+      outPorts << indent << "    " << iface->toVHDL(AbstractInterface::Entity, 0) << endl;\r
+    }\r
+  }\r
+  listIface = getInterfaces(AbstractInterface::Input, AbstractInterface::Control);\r
+  if (listIface.size()>0) {\r
+    outPorts << indent << "    -- input control ports" << endl;\r
+    foreach(AbstractInterface* iface, listIface) {\r
+      outPorts << indent << "    " << iface->toVHDL(AbstractInterface::Entity, 0) << endl;\r
+    }\r
+  }\r
+  listIface = getInterfaces(AbstractInterface::Output, AbstractInterface::Data);\r
+  if (listIface.size()>0) {\r
+    outPorts << indent << "    -- output data ports" << endl;\r
+    foreach(AbstractInterface* iface, listIface) {\r
+      outPorts << indent << "    " << iface->toVHDL(AbstractInterface::Entity, 0) << endl;\r
+    }\r
+  }\r
+  listIface = getInterfaces(AbstractInterface::Output, AbstractInterface::Control);\r
+  if (listIface.size()>0) {\r
+    outPorts << indent << "    -- output control ports" << endl;\r
+    foreach(AbstractInterface* iface, listIface) {\r
+      outPorts << indent << "    " << iface->toVHDL(AbstractInterface::Entity, 0) << endl;\r
+    }\r
+  }\r
+  listIface = getInterfaces(AbstractInterface::InOut, AbstractInterface::Data);\r
+  if (listIface.size()>0) {\r
+    outPorts << indent << "    -- bidirs data ports" << endl;\r
+    foreach(AbstractInterface* iface, listIface) {\r
+      outPorts << indent << "    " << iface->toVHDL(AbstractInterface::Entity, 0) << endl;\r
+    }\r
+  }\r
+\r
+  ports.chop(2);\r
+  ports += "\n";\r
+  out << ports;\r
+  out << indent << "    );" << endl << endl;\r
+\r
+}\r
+\r
+void FunctionalBlock::generateArchitecture(QTextStream& out, QDomElement &elt ) throw(Exception) {\r
+  QRegularExpression rxPort("@\\{([a-zA-Z0-9_]+)\\}");\r
+  QString expr;\r
+  QString code = elt.text();\r
+  //cout << qPrintable(code) << endl;\r
+  out << "architecture rtl of " << name << " is" << endl;\r
+\r
+  QStringList listLine = code.split("\n");\r
+  for(int i =0; i < listLine.size(); i++) {\r
+    QString line = listLine.at(i).simplified();\r
+\r
+    /*\r
+    if(listLine.at(i).contains(QRegularExpression("@foreach{"))) {\r
+      while(listLine.at(i).compare("@endforeach") != -1) {\r
+        expr = expr + listLine.at(i) + '\n';\r
+        i++;\r
+      }\r
+      expr = expr + listLine.at(i);\r
+      out << evalComplex(expr, 1) << '\n';\r
+    }\r
+    if(listLine.at(i).contains(QRegularExpression("@caseeach{"))) {\r
+      while(listLine.at(i).compare("@endcaseeach") != -1) {\r
+        expr = expr + listLine.at(i) + '\n';\r
+        i++;\r
+      }\r
+      expr = expr + listLine.at(i);\r
+      out << evalComplex(expr, 2) << '\n';\r
+    }\r
+*/\r
+    if(line.contains("@{")) {\r
+      QMap<QString,QString> modifs;\r
+      //cout << qPrintable(line) << endl;\r
+      QRegularExpressionMatchIterator matchPort = rxPort.globalMatch(line);\r
+      while(matchPort.hasNext()) {\r
+        QRegularExpressionMatch m = matchPort.next();\r
+        QString refName = m.captured(1);\r
+        AbstractInterface* refIface = reference->getIfaceFromName(refName);\r
+        QString funName = getIfaceUserName(refIface);\r
+        if (!funName.isEmpty()) {\r
+          modifs.insert(m.captured(0),funName);\r
+          //cout << "replace " << qPrintable(refIface->getName()) << " by " << qPrintable(funIface->getName()) << endl;\r
+        }\r
+      }\r
+      QMapIterator<QString,QString> iterM(modifs);\r
+      while(iterM.hasNext()) {\r
+        iterM.next();\r
+        QString oldName = iterM.key();\r
+        QString newName = iterM.value();\r
+        line.replace(oldName,newName);\r
+      }\r
+    }\r
+    out << line << endl;\r
+  }\r
+\r
+  out << "end rtl;" << endl;\r
+}\r
+\r
+void FunctionalBlock::generateController(QTextStream &out) throw(Exception) {\r
   \r
-  nbProducingPorts = getControlOutputs().size();  \r
-  int idIface = 0;\r
-  productionPattern = new char*[nbProducingPorts];  \r
-  foreach(AbstractInterface* iface, getControlOutputs()) {\r
-    FunctionalInterface* connIface = AI_TO_FUN(iface);\r
-    QList<char> in = connIface->getProductionPattern();\r
-    lengthPP = in.size(); // normally, all inputs have the same lenght for PP\r
-    productionPattern[idIface] = new char[lengthPP];\r
-    int i = 0;\r
-    foreach(char c, in) productionPattern[idIface][i++] = c;\r
-    idIface += 1;    \r
+}\r
+\r
+QString FunctionalBlock::getIfaceUserName(AbstractInterface* refIface) {\r
+\r
+  if (! refIface->isReferenceInterface()) return "";\r
+\r
+  AbstractInterface* funcIface = NULL;\r
+\r
+  if (refIface->getDirection() == AbstractInterface::Input) {\r
+    foreach(AbstractInterface* iface, getInputs()) {\r
+      FunctionalInterface* fi = AI_TO_FUN(iface);\r
+      if (fi->getReference() == refIface) {\r
+        funcIface = iface;\r
+        break;\r
+      }\r
+    }\r
+  }\r
+  else if (refIface->getDirection() == AbstractInterface::Output) {\r
+    foreach(AbstractInterface* iface, getOutputs()) {\r
+      FunctionalInterface* fi = AI_TO_FUN(iface);\r
+      if (fi->getReference() == refIface) {\r
+        funcIface = iface;\r
+        break;\r
+      }\r
+    }\r
   }\r
+  else if (refIface->getDirection() == AbstractInterface::InOut) {\r
+    foreach(AbstractInterface* iface, getBidirs()) {\r
+      FunctionalInterface* fi = AI_TO_FUN(iface);\r
+      if (fi->getReference() == refIface) {\r
+        funcIface = iface;\r
+        break;\r
+      }\r
+    }\r
+  }\r
+  if (funcIface == NULL) return "";\r
+\r
+  return funcIface->getName();\r
 }\r
+\r