set consistent flash size limit to be Megabits

update platforms

Author: Oron Port

compiler/ir/src/main/scala/dfhdl/compiler/ir/annotation.scala

@@ -110,7 +110,7 @@ object constraints:
   final case class DeviceConfig(
       flashPartName: String,
       interface: DeviceConfig.Interface,
-      sizeLimitMB: Int,
+      sizeLimitMb: Int,
       masterRate: ConfigN[RateNumber]
   ) extends GlobalConstraint derives ReadWriter:
     protected def `prot_=~`(that: HWAnnotation)(using MemberGetSet): Boolean = this == that
@@ -120,7 +120,7 @@ object constraints:
       val params = List(
         csParam("flashPartName", flashPartName),
         csParam("interface", interface),
-        csParam("sizeLimitMB", sizeLimitMB),
+        csParam("sizeLimitMb", sizeLimitMb),
         csParam("masterRate", masterRate)
       ).filter(_.nonEmpty).mkString(", ")
       s"""@deviceConfig($params)"""

core/src/main/scala/dfhdl/hw/annotation.scala

@@ -85,11 +85,11 @@ object constraints:
   final case class deviceConfig(
       flashPartName: String,
       interface: deviceConfig.Interface,
-      sizeLimitMB: Int,
+      sizeLimitMb: Int,
       masterRate: ir.ConfigN[ir.RateNumber] = None
   ) extends GlobalConstraint:
     val asIR: ir.constraints.DeviceConfig =
-      ir.constraints.DeviceConfig(flashPartName, interface, sizeLimitMB, masterRate)
+      ir.constraints.DeviceConfig(flashPartName, interface, sizeLimitMb, masterRate)
   object deviceConfig:
     export ir.constraints.DeviceConfig.Interface
 

lib/src/main/scala/dfhdl/tools/toolsCore/Vivado.scala

@@ -113,7 +113,7 @@ class VivadoProjectTclConfigPrinter(using
       case configConstraint: constraints.DeviceConfig => configConstraint
     }.getOrElse(throw new IllegalArgumentException("No `@deviceConfig` constraint found"))
     if (bo.flash)
-      s"""\nwrite_cfgmem -format mcs -interface ${config.interface} -size ${config.sizeLimitMB} -loadbit "up 0x0 ./${topName}.bit" -file ./${topName}.mcs"""
+      s"""\nwrite_cfgmem -format mcs -interface ${config.interface} -size ${config.sizeLimitMb / 8} -loadbit "up 0x0 ./${topName}.bit" -file ./${topName}.mcs"""
     else ""
   def configFileName: String = s"$topName.tcl"
   def contents: String =