Verification and Diagnosis Infrastructure of SoC HDL-model

Vladimir Hahanov, Wajeb Gharibi, Eugenia Litvinova +1

This article describes technology for diagnosing SoC HDL-models, based on transactional graph. Diagnosis method is focused to considerable decrease the time of fault detection and…