ABSTRACT
Logically enough, sequential logic is where a circuit proceeds through a set of logic states according to the rate of a controlling clock and according to the inputs and/or outputs of the system.
There are two methods of developing sequential solutions to given problems. These are loosely called the informal and formal methods. Informal is an intuitive technique which relies on modelling or construction to verify the correct operation. Formal methods produce an output which can reliably be predetermined by the development method in use.
