↓ 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 6: High Level Test Generation via Process Composition
Altmetric Badge

Citations

dimensions_citation
3 Dimensions
Summary 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
High Level Test Generation via Process Composition
Chapter number 6
Book title
Designing Correct Circuits
Published by
Springer, London, January 1991
DOI 10.1007/978-1-4471-3544-9_6
Book ISBNs
978-3-54-019659-4, 978-1-4471-3544-9
Authors

Venkatesh Akella, Ganesh Gopalakrishnan, Akella, Venkatesh, Gopalakrishnan, Ganesh

View on publisher site

This page is provided by Altmetric.