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
Resource Information
The item 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 represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item 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 represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- 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
- Language
- eng
- Extent
- 1 online resource (vi, 402 pages)
- Isbn
- 9780387348018
- 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
- Subject
-
- Conference papers and proceedings
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification -- Congresses
- Integrated circuits -- Very large scale integration | Design and construction | Data processing
- Integrated circuits -- Very large scale integration | Design and construction | Data processing
- Integrated circuits -- Very large scale integration | Design and construction | Data processing -- Congresses
- Conference papers and proceedings
- 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
- 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
- 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
- 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
Subject
- Conference papers and proceedings
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification -- Congresses
- Integrated circuits -- Very large scale integration | Design and construction | Data processing
- Integrated circuits -- Very large scale integration | Design and construction | Data processing
- Integrated circuits -- Very large scale integration | Design and construction | Data processing -- Congresses
- Conference papers and proceedings
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Hardware-specification-verification-and/4nlakTPZCUQ/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Hardware-specification-verification-and/4nlakTPZCUQ/">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</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item 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
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Hardware-specification-verification-and/4nlakTPZCUQ/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Hardware-specification-verification-and/4nlakTPZCUQ/">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</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>