Verification and Diagnosis Infrastructure of SoC HDL-model

Vladimir Hahanov Wajeb Gharibi Eugenia Litvinova Svetlana Chumachenko

Published in: CoRR (2012)

Keyphrases

computational model
cost function
formal model
machine learning
management system
parameter estimation
high level
expert systems
low cost
mathematical model
model based diagnosis