pub fn check_mixed_both<A: AbstractionView>(
sim: &mut Sim,
abs: &mut A,
inputs: PortValues,
) -> Result<(), Vec<PortMismatch>>Expand description
Tick RTL and one handwritten view; fail when documented ports disagree.
pub fn check_mixed_both<A: AbstractionView>(
sim: &mut Sim,
abs: &mut A,
inputs: PortValues,
) -> Result<(), Vec<PortMismatch>>Tick RTL and one handwritten view; fail when documented ports disagree.