one important question. With dual-edge triggering clock, the output transition can be either rise/fall for the same input/clock transitions. this means, the actual transition of Q also depends on previous clock transition as well as input. you may also have to use -prevector to prepare the Q state.
↧