Sequential circuit design refers to circuits whose outputs depend on both current inputs and past states, contrasting with combinational circuits. They are categorized into synchronous, where changes occur with a clock signal, and asynchronous, where changes occur independently of a clock, though asynchronous circuits can lead to race conditions. Counters and registers are key components, with various types of counters used for counting events and registers storing information for digital systems.