A Hybrid Authentication for DAB Channel Decoder

摘要

Considering the characters of DAB channel decoder design, this paper presents a hybrid ybrid authentication, authentication, which is based by simulation-based verification and supplemented symbolic model checking. A hierarchical simulation-based verification environment and a symbolic model checking method for CDC (clock domain crossing) are described in detail. This paper also introduce introduces the practice result of the hybrid ybrid authentication authentication on DAB channel decoder design design, taking into account the completeness and reusability of the verification verification.