Title :
Communicating processes in designing asynchronous circuits
Author :
Rahardjo, E. ; Peters, J.F. ; McLeod, R.D.
Author_Institution :
Dept. of Electr. & Comput. Eng., Manitoba Univ., Winnipeg, Man., Canada
fDate :
7/1/1995 12:00:00 AM
Abstract :
Asynchronous circuits are circuits that operate without a common global clock. They are potentially suitable for low-power devices. This paper describes an approach to verify speed-independent asynchronous circuits by using a protocol validation tool.<>
Keywords :
asynchronous circuits; hazards and race conditions; logic CAD; logic design; protocols; PROMELA model; SPIN; asynchronous circuit design; communicating processes; erroneous C-element; hazards; low-power devices; protocol validation tool; races; speed-independent asynchronous circuits; Aerospace testing; Asynchronous circuits; Clocks; Electronic equipment testing; Hardware; Hazards; Process design; Protocols; Satellites; Signal design;
Journal_Title :
Aerospace and Electronic Systems Magazine, IEEE
