pub const VERIFY_CORE_BRAM36: f64 = 282.0;
Block-RAM tiles of that core in the kernel (88 RAMB36 + 388 RAMB18): measured, build v1.