assign rising_edge = Q1 && ~Q2;