This document describes modeling sequential digital systems using Verilog and provides examples of modeling various sequential logic circuits including D flip-flops, T flip-flops, JK flip-flops, and mod-7 counters. It outlines the steps to create a project in Xilinx ISE, write the Verilog code, and simulate the models. Code examples are provided for a D flip-flop, T flip-flop, JK flip-flop, mod-7 down counter, and mod-7 up counter. The document also discusses shift register operation and provides two examples of VHDL code to create an 8-bit shift register.