Coverart for item
The Resource Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings, Ganesh Gopalakrishnan, Phillip Windley (eds.)

Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings, Ganesh Gopalakrishnan, Phillip Windley (eds.)

Label
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
Title
Formal methods in computer-aided design
Title remainder
second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
Statement of responsibility
Ganesh Gopalakrishnan, Phillip Windley (eds.)
Title variation
FMCAD '98
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998. The 27 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. Also included are four tools papers and four invited contributions. The papers present the state of the art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software. From the methodological point of view, binary decision diagrams, model checking, symbolic reasoning, symbolic simulation, and abstraction methods are covered
Member of
Cataloging source
SCPER
Dewey number
621.39/2
Illustrations
illustrations
Index
index present
LC call number
TK7874.65
LC item number
.F53 1998
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1998
http://bibfra.me/vocab/lite/meetingName
FMCAD '98
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1958-
http://library.link/vocab/relatedWorkOrContributorName
  • Gopalakrishnan, Ganesh
  • Windley, Phillip J.
Series statement
Lecture notes in computer science,
Series volume
1522
http://library.link/vocab/subjectName
  • Digital integrated circuits
  • Automatic theorem proving
  • Integrated circuits
  • Computer engineering
  • Formal methods (Computer science)
  • Automatic theorem proving
  • Computer engineering
  • Digital integrated circuits
  • Formal methods (Computer science)
  • Integrated circuits
Label
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings, Ganesh Gopalakrishnan, Phillip Windley (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
326670232
Dimensions
unknown
Extent
1 online resource (ix, 528 pages)
Form of item
online
Isbn
9783540495192
Lccn
98046729
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)326670232
Label
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings, Ganesh Gopalakrishnan, Phillip Windley (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
326670232
Dimensions
unknown
Extent
1 online resource (ix, 528 pages)
Form of item
online
Isbn
9783540495192
Lccn
98046729
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)326670232

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...