pub struct CovSamplerImage {
pub terms: Vec<(u32, Option<EdgeKind>)>,
pub gates: Vec<(u32, u32)>,
pub exprs: Vec<CovExprTermImage>,
pub strobe: bool,
}Expand description
The sampler of a covergroup with a clocking event (19.3: covergroup cg @(posedge clk) samples every instance of itself on each event).
Fields§
§terms: Vec<(u32, Option<EdgeKind>)>The event’s terms: (signal slot, edge); None is any change.
gates: Vec<(u32, u32)>iff gates (9.4.2.3) as (term index, gate function symbol), the symbol
as ClockingImage::gates: a term that fired counts only while all of its
gates hold, and the event samples if any fired term counts.
exprs: Vec<CovExprTermImage>The terms that are an edge or a change of an EXPRESSION or select
(@(posedge a[3]), @(posedge (a & b))), not of a whole signal.
strobe: booltype_option.strobe (19.7.1): sample at the end of the time slot.
Trait Implementations§
Source§impl Clone for CovSamplerImage
impl Clone for CovSamplerImage
Source§impl Debug for CovSamplerImage
impl Debug for CovSamplerImage
impl Eq for CovSamplerImage
Source§impl PartialEq for CovSamplerImage
impl PartialEq for CovSamplerImage
impl StructuralPartialEq for CovSamplerImage
Auto Trait Implementations§
impl Freeze for CovSamplerImage
impl RefUnwindSafe for CovSamplerImage
impl Send for CovSamplerImage
impl Sync for CovSamplerImage
impl Unpin for CovSamplerImage
impl UnsafeUnpin for CovSamplerImage
impl UnwindSafe for CovSamplerImage
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.