Analyzing and verifying locally clocked circuits with the concurrency workbench

Authors:
G. Baulch;D. Hemmendinger;C. Traver
Affiliations:
-;-;-
Venue:
GLSVLSI '95 Proceedings of the Fifth Great Lakes Symposium on VLSI (GLSVLSI'95)
Year:
1995

Citing 0
Cited 2

Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular

Electronic Notes in Theoretical Computer Science (ENTCS)
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Locally Clocked Modules (LCMs) allow asynchronous communication between synchronous computational elements. The concurrency workbench models concurrent systems in the CCS process algebra. We describe the use of the concurrency workbench to specify, simulate, and verify implementations of LCMs and discuss its application to the specification of asynchronous circuits.