Correct Hardware Design and Verification Methods
13th Ifip Wg 10.5advanced Research, Working Conference, Charme 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings
- Editore:
Springer Berlin Heidelberg
- EAN:
9783540291053
- ISBN:
3540291059
- Pagine:
- 432
- Formato:
- Paperback
- Lingua:
- Tedesco
Descrizione Correct Hardware Design and Verification Methods
viewpoint: we received a total number of 79 submitted papers, out of which 21 long contributionsand 18 short contributionswere accepted for presentationat the conf- enceandinclusioninthisvolume.Allpapersreceivedaminimumofthreereviews. For the conferenceprogram outside the refereed talks we put emphasis on the - latedtopicsoftoolintegrationandpervasivesystemveri?cation.Thedayprecedingthe workingconferencefeaturedhands-ondemonstrationsfornumerousveri?cationtools; italsofeaturedatutorialonsystemveri?cationbymembersoftheVerisoftproject.The overall program of CHARME 2005 included an invited keynote address by Wolfram B¿ uttner on industrial processor veri?cation and a round table discussion about mixed techniquesforverylargehardware-softwaresystemsinitiatedwithaninvitedpresen- tionbyMasaharuImaiandAkiraKitajima. A quality conference such as CHARME results from the work of many people. We wish to thank the membersof the ProgramCommittee and the externalreviewers fortheirhardworkinevaluatingthesubmissionsandinselectinghighqualitypapers.