25.09.2015 Views

Hardware/Software Introduction Chapter 1 Introduction

Embedded Systems Design: A Unified Hardware/Software ... - EET

Embedded Systems Design: A Unified Hardware/Software ... - EET

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Verification<br />

• Ensuring design is correct and complete<br />

– Correct<br />

• Implements specification accurately<br />

– Complete<br />

• Describes appropriate output to all relevant input<br />

• Formal verification<br />

– Hard<br />

– For small designs or verifying certain key properties only<br />

• Simulation<br />

– Most common verification method<br />

Embedded Systems Design: A Unified<br />

<strong>Hardware</strong>/<strong>Software</strong> <strong>Introduction</strong>, (c) 2000 Vahid/Givargis<br />

67

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!