Coverart for item
The Resource Hardware specification, verification, and synthesis : Mathematical aspects : proceedings, M. Leeser, G. Brown (eds.) ; Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings

Hardware specification, verification, and synthesis : Mathematical aspects : proceedings, M. Leeser, G. Brown (eds.) ; Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings

Label
Hardware specification, verification, and synthesis : Mathematical aspects : proceedings
Title
Hardware specification, verification, and synthesis
Title remainder
Mathematical aspects : proceedings
Statement of responsibility
M. Leeser, G. Brown (eds.) ; Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings
Creator
Contributor
Subject
Genre
Language
eng
Summary
Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs. The major trend apparent at the workshop is that researchers are rapidly moving away from post hoc proof techniques with their great expense. A number of papers were presented that dealt with problems of synthesizing correct circuits and of designing with the goal of verification. Researchers are also beginning to deal with the theoretical issues of reasoning about concurrent systems and asynchronous systems, and to introduce new logical tools such as constructive type theory and category theory. Most of the research reported was performed in the United States
Member of
Cataloging source
SCPER
Dewey number
621.39/5
Illustrations
illustrations
Index
no index present
LC call number
TK7874
LC item number
.C685 1989
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://bibfra.me/vocab/lite/organizationDate
(1989)
http://bibfra.me/vocab/lite/organizationName
Cornell University
http://library.link/vocab/relatedWorkOrContributorDate
  • 1958-
  • 1960-
http://library.link/vocab/relatedWorkOrContributorName
  • Leeser, M.
  • Brown, G.
  • Cornell University
Series statement
Lecture notes in computer science,
Series volume
408
http://library.link/vocab/subjectName
  • Integrated circuits
  • Integrated circuits
  • Integrated circuits
  • Integrated circuits
Label
Hardware specification, verification, and synthesis : Mathematical aspects : proceedings, M. Leeser, G. Brown (eds.) ; Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings
Instantiates
Publication
Bibliography note
Includes bibliographical references
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
321322956
Dimensions
unknown
Extent
1 online resource (vi, 402 pages)
Form of item
online
Isbn
9780387348018
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)321322956
Label
Hardware specification, verification, and synthesis : Mathematical aspects : proceedings, M. Leeser, G. Brown (eds.) ; Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings
Publication
Bibliography note
Includes bibliographical references
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
321322956
Dimensions
unknown
Extent
1 online resource (vi, 402 pages)
Form of item
online
Isbn
9780387348018
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)321322956

Library Locations

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