Struct Budget 

pub struct Budget {
    pub lut_percent: f64,
    pub dsp_percent: f64,
    pub bram_percent: f64,
    pub uram_percent: f64,
}

The global resource controls.

Fields

lut_percent: f64

LUTs as a percentage of BASE_LUT (0..200).

dsp_percent: f64

DSPs as a percentage of BASE_DSP (0..200).

bram_percent: f64

BRAM36 as a percentage of the dynamic region’s BUDGET_BRAM36 (0..100).

uram_percent: f64

URAM as a percentage of the device’s U280_URAM (0..100).

Implementations

impl Budget

Absolute resource counts from the percentages.

pub fn luts(&self) -> u32

LUT budget, never above the device.

pub fn dsps(&self) -> u32

DSP budget, never above the device.

pub fn brams(&self) -> u32

BRAM36 budget.

pub fn urams(&self) -> u32

URAM budget.

pub fn chip(&self) -> Share

The chip limit: every resource of the budget. Fixed allowances (the SHA-512 line) come out of it like any module’s build.

pub fn rest(&self, slots: &[Slot]) -> Share

What the modules with powers divide: the budget minus the fixed allowances of slots (the SHA-512 line’s LUT split).

pub fn rest_with(&self, allow: &[Option<Share>]) -> Share

rest with the fixed allowances given per slot.

impl Budget

pub fn whole_device() -> Budget

The whole device: every LUT and DSP of the U280 (the budget’s percentages above 100 %), the dynamic region’s BRAM and all URAM. The uBFT modes start here, because the replica’s footprint (UbftReplica) already counts the shell.

Trait Implementations

impl Clone for Budget

fn clone(&self) -> Budget

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Budget

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Budget

100 % of everything: 485k LUTs, 4,520 DSPs, the dynamic region’s BRAM and all URAM.

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for Budget

fn eq(&self, other: &Budget) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Budget

impl StructuralPartialEq for Budget