Validation of Embedded Systems Using Formal Method Aided Simulation

  • Authors:
  • Daniel Karlson;Petru Eles;Zebo Peng

  • Affiliations:
  • Linkoping Universitet, Sweden;Linkoping Universitet, Sweden;Linkoping Universitet, Sweden

  • Venue:
  • DSD '05 Proceedings of the 8th Euromicro Conference on Digital System Design
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

As feature sizes continue to decrease and clock rates and device count on a VLSI chip increase, it becomes increasingly more difficult to maintain yields at their present levels. Process variation, noise and spot defects create very costly problems for ...