openvm_rv32im_circuit/mulh/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
use openvm_circuit::arch::VmChipWrapper;

use super::adapters::{Rv32MultAdapterChip, RV32_CELL_BITS, RV32_REGISTER_NUM_LIMBS};

mod core;
pub use core::*;

#[cfg(test)]
mod tests;

pub type Rv32MulHChip<F> =
    VmChipWrapper<F, Rv32MultAdapterChip<F>, MulHCoreChip<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>>;