↓ Skip to main content
What is this page? Embed badge

Designing Correct Circuits

Overview of attention for book
Cover of 'Designing Correct Circuits'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Constrained Proofs: A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
  3. Altmetric Badge
    Chapter 2 Hardware synthesis in constructive type theory
  4. Altmetric Badge
    Chapter 3 An Algebraic Framework for Data Abstraction in Hardware Description
  5. Altmetric Badge
    Chapter 4 Generic Specification of Digital Hardware
  6. Altmetric Badge
    Chapter 5 Sampling and Proof: A Half-Case Study
  7. Altmetric Badge
    Chapter 6 High Level Test Generation via Process Composition
  8. Altmetric Badge
    Chapter 7 Towards Truly Delay-Insensitive Circuit Realizations of Process Algebras
  9. Altmetric Badge
    Chapter 8 The Design of a Delay-Insensitive Stack
  10. Altmetric Badge
    Chapter 9 Specifying the Micro-program Parallelism for Microprocessors of the Von Neumann style
  11. Altmetric Badge
    Chapter 10 The Implementation and Proof of a Boolean Simplification System
  12. Altmetric Badge
    Chapter 11 A Model for Synchronous Switching Circuits and its Theory of Correctness
  13. Altmetric Badge
    Chapter 12 Efficient Circuits as Implementations of Non-Strict Functions
  14. Altmetric Badge
    Chapter 13 Verification of Synchronous Concurrent Algorithms Using OBJ3: A Case Study of the Pixel-Planes Architecture
  15. Altmetric Badge
    Chapter 14 Use of the OTTER theorem prover for the formal verification of hardware
  16. Altmetric Badge
    Chapter 15 Proof-based transformation of formal hardware models
  17. Altmetric Badge
    Chapter 16 Ruby algebra
  18. Altmetric Badge
    Chapter 17 Using the Declarative Language LUSTRE for Circuit Verification
  19. Altmetric Badge
    Chapter 18 Optimising designs by transposition
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
3 Dimensions
Summary Wikipedia Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Designing Correct Circuits
Published by
Springer London, December 2013
DOI 10.1007/978-1-4471-3544-9
ISBNs
978-3-54-019659-4, 978-1-4471-3544-9
Editors

Jones, Geraint, Sheeran, Mary

View on publisher site

This page is provided by Altmetric.