http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford
1 online resource (viii, 354 pages) : illustrations.
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.
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.
"Published in collaboration with the British Computer Society."
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
digitized 2010 HathiTrust Digital Library committed to preserve MiAaHDL pda
Includes bibliographical references and index.
London ; New York : Springer-Verlag, ©1991