Modeling Latches and Flip-flops - Xilinx