Struct SynthesizedSva 

pub struct SynthesizedSva {
    pub sva_text: String,
    pub body: String,
    pub signals: Vec<String>,
    pub kind: String,
}

Result of SVA synthesis from a specification.

Fields

sva_text: String

Full SVA text including property wrapper and clock.

body: String

The SVA body expression (without property/assert wrapper).

signals: Vec<String>

Signal names extracted from the specification.

kind: String

The assertion kind (assert/cover/assume).

Trait Implementations

impl Debug for SynthesizedSva

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

Formats the value using the given formatter.