Searched defs:expr_q (Results 1 – 1 of 1) sorted by relevance
1059 std::string expr_q = get_bool(cell->getPort(ID::Q), "next_state"); in run() local1067 std::string expr_q = get_bv(cell->getPort(ID::Q), "next_state"); in run() local1075 std::string expr_q = get_bv(cell->getPort(ID::Y), "next_state"); in run() local1194 std::string expr_q = stringf("(|%s#%d#0| next_state)", get_id(module), arrayid); in run() local