Computer Organization and Design: The Hardware/Software Interface (The Morgan Kaufmann Series in Computer Architecture and Design)

The Designer's Guide to VHDL, Third Edition (Systems on Silicon)

The Calculus of Computation: Decision Procedures with Applications to Verification

Model-based System and Architecture Engineering with the Arcadia Method (Implementation of Model Based System Engineering)

Embedded Microprocessor System Design using FPGAs

Computer Repair with Diagnostic Flowcharts Third Edition: Troubleshooting PC Hardware Problems from Boot Failure to Poor Performance

A Tutorial Introduction to VHDL Programming

Systems Architecture Modeling with the Arcadia Method: A Practical Guide to Capella (Implementation of Model Based System Engineering)

Guide to Software Development: Designing and Managing the Life Cycle

Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (Real-Time Systems Series, 24)