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 57, 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 57, 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 57, 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 57, 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 57, 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 57, 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 57, 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 faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Hardwarespecificationverificationand/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/Hardwarespecificationverificationand/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 57, 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 57, 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 faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Hardwarespecificationverificationand/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/Hardwarespecificationverificationand/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 57, 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>