Designing Correct Circuits - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540196594, 9781447135449

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Design of a Delay-Insensitive Stack

Designing Correct Circuits - Workshops in Computing ◽

10.1007/978-1-4471-3544-9_8 ◽

1991 ◽

pp. 132-152 ◽

Cited By ~ 1

Author(s):

Mark B. Josephs ◽

Jan Tijmen Udding

Download Full-text

High Level Test Generation via Process Composition

Designing Correct Circuits - Workshops in Computing ◽

10.1007/978-1-4471-3544-9_6 ◽

1991 ◽

pp. 99-119

Author(s):

Venkatesh Akella ◽

Ganesh Gopalakrishnan

Keyword(s):

Test Generation ◽

High Level ◽

Process Composition

Download Full-text

Sampling and Proof: A Half-Case Study

Designing Correct Circuits - Workshops in Computing ◽

10.1007/978-1-4471-3544-9_5 ◽

1991 ◽

pp. 92-98

Author(s):

John Hughes

Download Full-text

Use of the OTTER theorem prover for the formal verification of hardware

Designing Correct Circuits - Workshops in Computing ◽

10.1007/978-1-4471-3544-9_14 ◽

1991 ◽

pp. 253-270

Author(s):

Paolo Camurati ◽

Tiziana Margaria ◽

Paolo Prinetto

Keyword(s):

Formal Verification ◽

Theorem Prover

Download Full-text

An Algebraic Framework for Data Abstraction in Hardware Description

Designing Correct Circuits - Workshops in Computing ◽

10.1007/978-1-4471-3544-9_3 ◽

1991 ◽

pp. 50-67 ◽

Cited By ~ 1

Author(s):

Zheng Zhu ◽

Steven D. Johnson

Keyword(s):

Data Abstraction ◽

Algebraic Framework ◽

Hardware Description

Download Full-text

Optimising designs by transposition

Designing Correct Circuits - Workshops in Computing ◽

10.1007/978-1-4471-3544-9_18 ◽

1991 ◽

pp. 332-354 ◽

Cited By ~ 5

Author(s):

Wayne Luk

Download Full-text

Constrained Proofs: A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification

Designing Correct Circuits - Workshops in Computing ◽

10.1007/978-1-4471-3544-9_1 ◽

1991 ◽

pp. 1-28 ◽

Cited By ~ 6

Author(s):

Michael Mendler

Keyword(s):

Hardware Verification

Download Full-text

Generic Specification of Digital Hardware

Designing Correct Circuits - Workshops in Computing ◽

10.1007/978-1-4471-3544-9_4 ◽

1991 ◽

pp. 68-91 ◽

Cited By ~ 9

Author(s):

Jeffrey J. Joyce

Keyword(s):

Digital Hardware

Download Full-text

Efficient Circuits as Implementations of Non-Strict Functions

Designing Correct Circuits - Workshops in Computing ◽

10.1007/978-1-4471-3544-9_12 ◽

1991 ◽

pp. 212-230 ◽

Cited By ~ 2

Author(s):

Carlos Delgado Kloos ◽

Walter Dosch

Download Full-text

Towards Truly Delay-Insensitive Circuit Realizations of Process Algebras

Designing Correct Circuits - Workshops in Computing ◽

10.1007/978-1-4471-3544-9_7 ◽

1991 ◽

pp. 120-131 ◽

Cited By ~ 9

Author(s):

Geoffrey M. Brown

Keyword(s):

Process Algebras

Download Full-text

Designing Correct Circuits - Workshops in ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

The Design of a Delay-Insensitive Stack

High Level Test Generation via Process Composition

Sampling and Proof: A Half-Case Study

Use of the OTTER theorem prover for the formal verification of hardware

An Algebraic Framework for Data Abstraction in Hardware Description

Optimising designs by transposition

Constrained Proofs: A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification

Generic Specification of Digital Hardware

Efficient Circuits as Implementations of Non-Strict Functions

Towards Truly Delay-Insensitive Circuit Realizations of Process Algebras

Designing Correct Circuits - Workshops in Computing
Latest Publications