Skip to main content

emit_shared_divider_testbench

Function emit_shared_divider_testbench 

Source
pub fn emit_shared_divider_testbench() -> String
Expand description

Emit the divider’s self-checking testbench: drive the sequential shared_divider, wait for done, and check quotient+remainder against the combinational $signed div/mod oracle over every sign/edge case plus a 4000-pair pseudo-random sweep. PASS iff all match.