pub struct VcdDumper { /* private fields */ }
Implementations
sourceimpl VcdDumper
impl VcdDumper
sourcepub fn for_circuit(
writer: BufWriter<File>,
circuit: &[CombineOperation],
bool_hasher: &WireHasher,
arith_hasher: &WireHasher
) -> Self
pub fn for_circuit(
writer: BufWriter<File>,
circuit: &[CombineOperation],
bool_hasher: &WireHasher,
arith_hasher: &WireHasher
) -> Self
Uses WireHasher.backref
to recover scope information from hashed wires in a circuit. With
our circuit pipeline, this is ONLY RELIABLE FOR TOP-LEVEL INPUTS & OUTPUTS because the flattener
translates & minimizes all other wires after hashing occurs. Still, it can be useful for
diagnosing whether you’re seeing the output you expect when crossing from the boolean to the
arithmetic bound, and with changes to the flattener it could be made to work for all wires.
sourcepub fn dump_bool(&mut self, dst: usize, val: bool)
pub fn dump_bool(&mut self, dst: usize, val: bool)
Write a formatted boolean value into the VCD file. Can only be one bit.
sourcepub fn dump_arith(&mut self, dst: usize, val: u64)
pub fn dump_arith(&mut self, dst: usize, val: u64)
Write a 64-bit integer into the VCD file.
Auto Trait Implementations
impl RefUnwindSafe for VcdDumper
impl Send for VcdDumper
impl Sync for VcdDumper
impl Unpin for VcdDumper
impl UnwindSafe for VcdDumper
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more