Struct CoverpointDecl 

pub struct CoverpointDecl {
    pub name: String,
    pub ty: TypeInfo,
    pub expr: Expr,
    pub iff: Option<Expr>,
    pub bins: Vec<BinDecl>,
    pub enum_values: Option<Vec<(String, i128)>>,
    pub options: Vec<(String, Expr)>,
    pub type_options: Vec<(String, Expr)>,
}

A coverpoint (explicit, or the implicit one of a cross operand).

Fields

name: String

ty: TypeInfo

expr: Expr

Sample-time kernel yielding the coverpoint value.

iff: Option<Expr>

Coverpoint-level iff (sample-time kernel).

bins: Vec<BinDecl>

enum_values: Option<Vec<(String, i128)>>

For an enum-typed coverpoint: every enumerator (name, value) in declaration order (auto bins are named after them, 19.5.3).

options: Vec<(String, Expr)>

option.<name> = <expr> assignments inside the coverpoint, in order.

type_options: Vec<(String, Expr)>

type_option.<name> = <expr> assignments inside the coverpoint.

Implementations

impl CoverpointDecl

pub fn new(name: &str, ty: TypeInfo, expr: Expr) -> CoverpointDecl

pub fn bin(self, bin: BinDecl) -> CoverpointDecl

Trait Implementations

impl Clone for CoverpointDecl

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoverpointDecl

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

Formats the value using the given formatter.

impl PartialEq for CoverpointDecl

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CoverpointDecl