Skip to main content

AssertionControl

Enum AssertionControl

#[repr(u32)]pub enum AssertionControl {
Show 26 variants    Lock = 645,
    Unlock = 646,
    Disable = 620,
    Enable = 621,
    Reset = 622,
    Kill = 623,
    EnableStep = 624,
    DisableStep = 625,
    ClockSteps = 626,
    SysOn = 627,
    SysOff = 628,
    SysKill = 632,
    SysEnd = 629,
    SysReset = 630,
    DisablePassAction = 633,
    EnablePassAction = 634,
    DisableFailAction = 635,
    EnableFailAction = 636,
    DisableVacuousAction = 637,
    EnableNonvacuousAction = 638,
    SysEnablePassAction = 639,
    SysEnableFailAction = 640,
    SysDisablePassAction = 641,
    SysDisableFailAction = 642,
    SysEnableNonvacuousAction = 643,
    SysDisableVacuousAction = 644,
}

Available on crate feature sv only.

Expand description

SystemVerilog assertion control operations for vpi_control.

Variants§

Lock = 645

Lock assertion control state.

Unlock = 646

Unlock assertion control state.

Disable = 620

Disable assertion checking.

Enable = 621

Enable assertion checking.

Reset = 622

Reset assertion state.

Kill = 623

Kill active assertion attempts.

EnableStep = 624

Enable step mode for assertions.

DisableStep = 625

Disable step mode for assertions.

ClockSteps = 626

Advance assertion clock steps.

SysOn = 627

Enable assertion system globally.

SysOff = 628

Disable assertion system globally.

SysKill = 632

Kill assertion system activity.

SysEnd = 629

End assertion system run.

SysReset = 630

Reset assertion system.

DisablePassAction = 633

Disable pass actions.

EnablePassAction = 634

Enable pass actions.

DisableFailAction = 635

Disable fail actions.

EnableFailAction = 636

Enable fail actions.

DisableVacuousAction = 637

Disable vacuous actions.

EnableNonvacuousAction = 638

Enable non-vacuous actions.

SysEnablePassAction = 639

Enable system pass actions.

SysEnableFailAction = 640

Enable system fail actions.

SysDisablePassAction = 641

Disable system pass actions.

SysDisableFailAction = 642

Disable system fail actions.

SysEnableNonvacuousAction = 643

Enable system non-vacuous actions.

SysDisableVacuousAction = 644

Disable system vacuous actions.

Trait Implementations§

impl Clone for AssertionControl

fn clone(&self) -> AssertionControl

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Debug for AssertionControl

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

Formats the value using the given formatter. Read more

impl Eq for AssertionControl

impl PartialEq for AssertionControl

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

Equality operator ==. Read more

1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

impl StructuralPartialEq for AssertionControl

Auto Trait Implementations§

impl Freeze for AssertionControl

impl RefUnwindSafe for AssertionControl

impl Send for AssertionControl

impl Sync for AssertionControl

impl Unpin for AssertionControl

impl UnsafeUnpin for AssertionControl

impl UnwindSafe for AssertionControl

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.