cell_p_dut__I->p_clk = p_clk.curr;
    cell_p_dut__I->p_mem__we = p_mem__we.curr;
    cell_p_dut__I->p_mem__wdata = p_mem__wdata.curr;
    cell_p_dut__I->p_mem__addr = p_mem__addr.curr;
    if (cell_p_dut__I->eval()) {
    } else {
        converged = false;
    }