What you're trying to describe is a dual-data-rate flip-flop.
Unfortunately you can't infer these for Xilinx FPGAs. You
need to instantiate them. Find the Libraries Guide and
look for the appropriate input DDR flop for your FPGA family,
which might be something like IDDR2.
There are some Xilinx CPLD's, CoolRunner 2, that allow you to
define flops that trigger on both edges of the clock. For
these you need something like:
always @ (posedge CLK or negedge CLK or posedge RST)
if (RST) begin
<reset actions here>
end
else begin
< clocked actions here>
end
But as I said you can't do this for any of the FPGA families.
Check the language templates (light-bulb icon in ISE) or the
XST user guide for the proper syntax for clocked logic. It
always needs some sort of edge sensitivity. Any sensitivity
list with only signals and no edge keywords (posedge, negedge)
will infer combinatorial logic, or possibly gated latches for
synthesis.
--
Gabor