This paper provides a tutorial overview of the state-of-the-art in verification of complex and heterogeneous Systems-on-Chip. The authors discuss current industrial trends and key research challenges.
No takes yet. Share an insight, caveat, or question.
Chen et al. (2017) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: