Login / Signup

Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors.

Miroslav N. VelevPing Gao
Published in: ICFEM (2010)
Keyphrases
  • formal verification
  • support vector machine
  • theoretical analysis
  • support vector machine svm
  • error tolerance
  • image segmentation
  • training data
  • optimal solution
  • dynamic programming
  • convergence rate