Module cordiv 

CORDIV: stochastic computing divider.

Sequential circuit: P(z=1) ≈ P(x=1) / P(y=1) when P(x) <= P(y).

Truth table per bit: x=1 → z = 1 x=0, y=1 → z = 0 x=0, y=0 → z = z_prev (hold)

Functions

adaptive_length_hoeffding

Compute adaptive bitstream length via Hoeffding bound. Returns minimum length (rounded up to power of 2) for target precision.

cordiv

Compute SC division on unpacked bitstreams. Returns quotient bitstream of same length.

cordiv_packed

Compute SC division on packed u64 bitstreams (bit-serial). Each u64 word contains 64 sequential bits.