Login / Signup
Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors.
Miroslav N. Velev
Ping 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