Title :
Analyzing and verifying locally clocked circuits with the concurrency workbench
Author :
Baulch, Garth ; Hemmendinger, David ; Traver, Cherrice
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Union Coll., Schenectady, NY, USA
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
Keywords :
asynchronous circuits; circuit analysis computing; formal verification; logic CAD; logic design; process algebra; timing; CCS process algebra; asynchronous circuits; asynchronous communication; concurrency workbench; concurrent system modelling; locally clocked circuits; synchronous computational elements; Algebra; Circuit analysis computing; Clocks; Communication system control; Concurrent computing; Educational institutions; Latches; Logic circuits; Signal generators; Synchronous generators;
Conference_Titel :
VLSI, 1995. Proceedings., Fifth Great Lakes Symposium on
Conference_Location :
Buffalo, NY
Print_ISBN :
0-8186-7035-5
DOI :
10.1109/GLSV.1995.516041
