Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

Resource Information

The work Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.

Label

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

Title remainder

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

Statement of responsibility

Tiziana Margaria, Tom Melham (eds.)

Creator

• CHARME 2001, 2001

Contributor

• Margaria-Steffen, Tiziana, 1964-
• Melham, T. F., (Tom F)

Subject

• Conference papers and proceedings
• Integrated circuits -- Verification
• Integrated circuits -- Verification
• Integrated circuits -- Verification -- Congresses
• Integrated circuits -- Very large scale integration | Computer-aided design
• Integrated circuits -- Very large scale integration | Computer-aided design
• Integrated circuits -- Very large scale integration | Computer-aided design -- Congresses
• Conference papers and proceedings

Genre

• Congresses
• Conference papers and proceedings

Language

eng

Summary

This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001, held in Livingston, Scotland, UK in September 2001. The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus

Member of

• Lecture notes in computer science, 2144

Cataloging source

YNG

Dewey number

621.395

Index

index present

LC call number

TK7874.75

LC item number

.C453 2001eb

Literary form

non fiction

Nature of contents

• dictionaries
• bibliography

Series statement

Lecture notes in computer science

Series volume

2144

Target audience

adult