Hardware/Software Introduction Chapter 1 Introduction
Embedded Systems Design: A Unified Hardware/Software ... - EET
Embedded Systems Design: A Unified Hardware/Software ... - EET
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