Provide WCET-only as distribution

delayvector.cpp

@@ -47,6 +47,10 @@ sc_core::sc_time DelayVector::GetDelay()
         case DISTRIBUTION::UNIFORM:
             delay = this->GetUniformDelay();
             break;
+
+        case DISTRIBUTION::WCET:
+            delay = this->GetWCETDelay();
+            break;
     }
 
     return sc_core::sc_time(delay, sc_core::SC_NS);
@@ -83,6 +87,13 @@ double DelayVector::GetUniformDelay()
 
 
 
+double DelayVector::GetWCETDelay()
+{
+    return this->WCET;
+}
+
+
+
 void DelayVector::ReadDelayVector(const char *path)
 {
     std::ifstream ifs;

delayvector.hpp

@@ -11,7 +11,8 @@ enum DISTRIBUTION
 {
     INJECTED,
     GAUSSIAN,
-    UNIFORM
+    UNIFORM,
+    WCET
 };
 
 // Important:
@@ -31,6 +32,7 @@ class DelayVector
         double GetInjectedDelay();
         double GetGaussianDelay();
         double GetUniformDelay();
+        double GetWCETDelay();
         void ReadDelayVector(const char *path);
 
         // This vector holds all measured delay