pub enum SvTarget {
Generic,
Zynq7 {
device: String,
clock_mhz: u32,
},
ZynqUltraScalePlus {
sku: SkuKind,
clock_mhz: u32,
dsp_budget: u32,
bram_36k_budget: u32,
uram_budget: u32,
prefer_uram_over_bram_above_bits: u64,
},
}Expand description
SystemVerilog emission target.
Variants§
Implementations§
Source§impl SvTarget
impl SvTarget
pub fn zynq_ultrascale_plus(sku: SkuKind, clock_mhz: u32) -> Self
pub fn target_name(&self) -> String
pub fn clock_mhz(&self) -> u32
pub fn device_part(&self) -> String
pub fn dsp_primitive(&self) -> &'static str
pub fn dsp_attribute(&self) -> Option<&'static str>
pub fn ram_style_for_bits(&self, bits: u64) -> Option<&'static str>
pub fn dense_fold_plan( &self, n_inputs: usize, n_outputs: usize, ) -> Option<DenseFoldPlan>
pub fn header_comment(&self) -> String
pub fn estimate_graph(&self, graph: &ScGraph) -> ResourceReport
Trait Implementations§
impl Eq for SvTarget
impl StructuralPartialEq for SvTarget
Auto Trait Implementations§
impl Freeze for SvTarget
impl RefUnwindSafe for SvTarget
impl Send for SvTarget
impl Sync for SvTarget
impl Unpin for SvTarget
impl UnsafeUnpin for SvTarget
impl UnwindSafe for SvTarget
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Scalar for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.