Domain fault model and coverage metric for SoC verification.

Chun Luo Jun Yang Gugang Gao Longxing Shi

Published in: ISCAS (6) (2005)

Keyphrases

fault model
safety analysis
deep knowledge
fault injection
metric space
hardware and software
test suite
domain specific
information redundancy
high dimensional
distance function
model checking