Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

by NikilD.Dutt (Author), PrabhatMishra (Author)

• New

  Hardcover
  2005

  $164.19

  However, what is often not highlighted is the fact that in spite of the tremendous time and effort put into such efforts at the RTL and lower levels of abstraction, the complexity of contemporary embedded systems makes it difficult to guarantee functional correctness at the system level under all possible operational scenarios.