This modern treatment of digital system specification, analysis, and design covers all topics from gates and flip-flops to complex hardware and system software algorithms. An upper-level undergraduate/graduate text, it uses two complementary approaches--system model and algorithmic model--in dealing with structured analysis and design, and separates specification from implementation to allow for the ready application of concepts to practical system...