Referenced Items are not available for this document.
The following topics are dealt with: formal methods; model checking; rule-based hardware design; hardware verification; transaction level modeling; programming models; SoC-implemented architectures; time and clocks; and scheduling.
Published in:
Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on
Date of Conference: 27-30 July 2006
- Page(s):
- i
- Print ISBN:
- 1-4244-0421-5
- INSPEC Accession Number:
- 9055871
- Conference Location :
- Napa, CA
- Digital Object Identifier :
- 10.1109/MEMCOD.2006.1695887
- 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.
