Hardware/Software Introduction Chapter 1 Introduction

Simulation
• Create computer model of design
– Provide sample input
– Check for acceptable output
• Correctness example
– ALU
• Provide all possible input combinations
• Check outputs for correct results
• Completeness example
– Elevator door closed when moving
• Provide all possible input sequences
• Check door always closed when elevator moving
Embedded Systems Design: A Unified
Hardware/Software Introduction, (c) 2000 Vahid/Givargis
69