SoC Software Components Diagnosis Technology
  A novel approach to evaluation of hardware and software testability, represented in the form of register transfer graph, is proposed. Instances of making of software graph models for their subsequent testing and diagnosis are shown. 
Svetlana Chumachenko, Wajeb Gharibi, Anna Hahanova, Aleksey Sushanov
cs.AR