To work around this issue, use the rising_edge function instead:
if rising_edge(H02) then
This problem has been fixed in the latest 7.1i Service Pack available at:
http://www.xilinx.com/xlnx/xil_sw_updates_home.jspThe first service pack containing the fix is 7.1i Service Pack 2.