rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Designing correct circuits
    sub title: workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford
  name:
    name part: Jones, Geraint
    name part: 1957-
  name:
    name part: Sheeran, Mary
    name part: 1959-
  name:
    name part: SpringerLink (Online service)
  name:
    name part: British Computer Society
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Oxford (1990)
  genre: Kongress.
  genre: Conference proceedings.
  origin info:
    place:
      place term: enk
    date issued: 1991
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: preservation
    reformatting quality: access
    form: remote
    extent: 1 online resource (viii, 354 pages) : illustrations.
  abstract: This volume contains the papers presented at the workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application of software engineering techniques to hardware design. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program development. The authors consider the application of mathematics to hardware design at several different levels of abstraction and present a good cross-section of current work developing and applying formal methods in circuit design.
  table of contents: Constrained proofs : a logic for dealing with behavioural constraints in formal hardware verification / Michael Mendler -- Hardware synthesis in constructive type theory / Dany Suk -- An algebraic framework for data abstraction in hardware description / Zheng Zhu and Steven D. Johnson -- Generic specification of digital hardware / Jeffrey J. Joyce -- Sampling and proof : a half-case study / John Hughes -- High level test generation via process composition / Venkatesh Akella and Ganesh Gopalakrishnan -- Towards truly delay-insensitive circuit realizations of process algebras / Geoffrey M. Brown -- The design of a delay-insensitive stack / Mark B. Josephs and Jan Tijmen Udding.
  note: Geraint Jones and Mary Sheeran, eds.
  note: "Published in collaboration with the British Computer Society."
  note: Electronic resource.
  note: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
  note: digitized 2010 HathiTrust Digital Library committed to preserve MiAaHDL pda
  note: Includes bibliographical references and index.
  subject:
    topic: Logic circuits
    topic: Data processing
    genre: Congresses
  subject:
    topic: Electronic circuit design
    topic: Data processing
    genre: Congresses
  subject:
    topic: Computer-aided design
    genre: Congresses
  subject:
    topic: Circuits logiques
    topic: Informatique
    genre: Congrès
  subject:
    topic: Circuits électroniques
    topic: Calcul
    topic: Informatique
    genre: Congrès
  subject:
    topic: Conception assistée par ordinateur
    genre: Congrès
  subject:
    topic: Schaltungsentwurf
  subject:
    geographic: Oxford <1990>
  subject:
    topic: Computer-aided design
  subject:
    topic: Electronic circuit design
    topic: Data processing
  subject:
    topic: Logic circuits
    topic: Data processing
  classification: TK7868.L6 D46 1991
  classification: 621.39/5
  classification: DAT 195f
  classification: SS 1990
  related item:
    title info:
      title: Designing correct circuits
    origin info:
      publisher: London ; New York : Springer-Verlag, ©1991
    identifier: (DLC) 91009761
    identifier: (OCoLC)23252959
  related item:
    title info:
      title: Workshops in computing
  identifier: 9781447135449 (electronic bk.)
  identifier: 144713544X (electronic bk.)
  identifier: 3540196595 (Berlin)
  identifier: 9783540196594 (Berlin)
  identifier: 0387196595 (New York)
  identifier: 9780387196596 (New York)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OCLCE
    record creation date: 100311
    record change date: 20260422221748.0
    record identifier: in00003511453
    language of cataloging:
      language term: eng