Referenced Items are not available for this document.
Considering the characters of DAB channel decoder design, this paper presents a hybrid 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 authentication authentication on DAB channel decoder design design, taking into account the completeness and reusability of the verification verification.
Published in:
Education Technology and Computer Science (ETCS), 2010 Second International Workshop on
(Volume:3
)
Date of Conference: 6-7 March 2010
- Page(s):
- 288 - 291
- E-ISBN :
- 978-1-4244-6389-3
- Print ISBN:
- 978-1-4244-6388-6
- INSPEC Accession Number:
- 11291247
- Conference Location :
- Wuhan
- Digital Object Identifier :
- 10.1109/ETCS.2010.320
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
