Struct VcdWriter 

pub struct VcdWriter<W: Write = File> { /* private fields */ }

Implementations

impl VcdWriter<File>

pub fn new<P: AsRef<Path>>(path: P, descs: &[VcdSignalDesc]) -> Result<Self>

impl<W: Write> VcdWriter<W>

pub fn from_writer(writer: W, descs: &[VcdSignalDesc]) -> Self

pub fn flush(&mut self) -> Result<()>

Publish buffered output, also reporting errors that Drop cannot report.

pub fn statistics(&self) -> VcdStatistics

pub fn get_ref(&self) -> &W

pub fn dump_backend<B: SimBackend>( &mut self, timestamp: u64, backend: &mut B, external: &[(BigUint, BigUint)], ) -> Result<()>

Dump as the backend’s sole incremental waveform observer. Multiple writers must consume activity once and share it through dump_with_activity, since each consumption clears the pending flags.

pub fn into_inner(self) -> Result<W>

pub fn add_external_signals( &mut self, descs: &[VcdExternalSignalDesc], ) -> Result<()>

Adds externally supplied signals before the first dump. VCD headers cannot be extended after value changes have started.

pub fn dump(&mut self, timestamp: u64, memory: &[u8]) -> Result<()>

Full-scan reference path, also suitable for uninstrumented/raw memory.

pub fn dump_with_external( &mut self, timestamp: u64, memory: &[u8], external: &[(BigUint, BigUint)], ) -> Result<()>

pub fn dump_with_activity( &mut self, timestamp: u64, memory: &[u8], external: &[(BigUint, BigUint)], activity: Option<&[usize]>, ) -> Result<()>

activity contains unique physical group IDs consumed from TraceLayout. None requests a full scan. Initial values and external signals are always observed, including when no generated store has executed.