update

ftqtfff · Jan 8, 2023 · 99d39a3 · 99d39a3
1 parent 88e2668
commit 99d39a3
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/rateLimiter.sv b/rateLimiter.sv
@@ -84,13 +84,11 @@ module rateLimiter (
      if(!$initstate) begin
       assume(rst == 0);
 
-      //other assumptions     
-      /*necessary assumption -s*/
+      //constraints
       if(startCnt<=pktNumber)assume(pktStart == 1); 
       assume(startCnt<=pktNumber + 1);  //set upper bound
       if(globalTimer == totalCycles)assume(endCnt == pktNumber);
       if(globalTimer == totalCycles)assume(error == 0);
-      /*necessary assumption -e*/
       assume(state<=2);
       //-----//