pub const SHA_ESTIMATE_MIN_LUT: u32 = 5_500;
The smallest line the estimate builds: one 2-stage folded core (rhdl_sha512_pipelined::folded, ~5.5k LUT by Yosys).
rhdl_sha512_pipelined::folded