Computer Design and Testability Microprocessor Architecture, Interfacing, and Operating Systems Computer-Aided Design of Digital Systems Design Verification Simulation The Modeling of Logic Networks Automatic Test Pattern Generation Distributed Computation Communications Fault-Tolerant Computing