Skip to main content

emit_bigint_alu_testbench

logicaffeine_compile::codegen_sva::bignum_rtl

Function emit_bigint_alu_testbench 

Source 
pub fn emit_bigint_alu_testbench(n: usize) -> String
Expand description

Self-checking ALU testbench: apply N (a,b) and compare sum/cout, diff/borrow, eq/lt against the software oracle from bigint_{a,b}.hex + bigint_{sum,sub,cmp}.hex. Prints PASS/FAIL.