openvm_rv32im_circuit/mulh/
mod.rs

1use openvm_circuit::arch::VmChipWrapper;
2
3use super::adapters::{Rv32MultAdapterChip, RV32_CELL_BITS, RV32_REGISTER_NUM_LIMBS};
4
5mod core;
6pub use core::*;
7
8#[cfg(test)]
9mod tests;
10
11pub type Rv32MulHChip<F> =
12    VmChipWrapper<F, Rv32MultAdapterChip<F>, MulHCoreChip<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>>;