DocumentCode
2471513
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
fYear
1995
fDate
16-18 Mar 1995
Firstpage
144
Lastpage
147
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;
fLanguage
English
Publisher
ieee
Conference_Titel
VLSI, 1995. Proceedings., Fifth Great Lakes Symposium on
Conference_Location
Buffalo, NY
ISSN
1066-1395
Print_ISBN
0-8186-7035-5
Type
conf
DOI
10.1109/GLSV.1995.516041
Filename
516041
Link To Document