Add memory constraints correctly with MiniMalloc

Author: Xeratec

Deeploy/TilingExtension/MemoryScheduler.py

@@ -553,7 +553,7 @@ def constraintTileBuffersWithOverlappingLifetime(self, tilerModel: TilerModel, c
                     if memoryLevel.name == infoDict['memoryLevel']:
                         sumExpr += infoDict['sizeVar'] * infoDict['typeWidthFactor'] * infoDict['multiBufferCoeff']
                 if sumExpr != 0:
-                    tilerModel.addConstraint(sumExpr + constantTensorOffset <= memoryLevel.size)
+                    tilerModel.addConstraint(sumExpr + constantTensorOffset, memoryLevel = memoryLevel)
 
     def getSymbolicCostName(self, patternIdx: int, memoryLevel: str) -> str:
         stringSuffix = self._stringSuffix + f"_{memoryLevel}"