by Case23 » Thu May 06, 2010 9:40 am
hi anand,
yes it is synthesisable, but not within one flipflop. A flipflop can ether use the positive edge or the negative edge. But you can use both types in one design.
It is good code style to not use negative edge, but to have two clock inputs, one positive clock and one negative clock. Then you can use a positive edge flipflop on the negative clock to get the same result. The reason for this coding style is that asic manufacturer cannot verify negative edge flipflops in their production chain.