Provides coverage of the topics needed for intermediate and advanced degree and diploma courses in digital design. It emphasizes the value of formal methods to ensure the proper operation of complex digital circuits, while illustrating their practical applications.