Struct VcdWriter 

pub struct VcdWriter { /* private fields */ }

Implementations

impl VcdWriter

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

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<()>

Dump all changed signals at the given timestamp.

memory is the raw JIT memory (stable region or full buffer).

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

Dump memory-backed signals and external values in registration order.