↓ 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
Attention for Chapter 9: Specifying the Micro-program Parallelism for Microprocessors of the Von Neumann style
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
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.
Chapter title
Specifying the Micro-program Parallelism for Microprocessors of the Von Neumann style
Chapter number 9
Book title
Designing Correct Circuits
Published by
Springer, London, January 1991
DOI 10.1007/978-1-4471-3544-9_9
Book ISBNs
978-3-54-019659-4, 978-1-4471-3544-9
Authors

Hélène Collavizza, Dominique Borrione, Collavizza, Hélène, Borrione, Dominique

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 100%
Readers by discipline Count As %
Engineering 1 100%

This page is provided by Altmetric.