Title :
Verification of speed-independent asynchronous circuits with protocol validation tools
Author :
Rahardjo, B. ; McLeod, R.D.
Author_Institution :
Dept. of Electr. & Comput. Eng., Manitoba Univ., Winnipeg, Man., Canada
Abstract :
Asynchronous circuits are circuits that operate without a global clock. The use of a computer protocol validation language called PROMELA and an automated reachability analysis tool called SPIN to verify the correctness of speed-independent asynchronous circuits is illustrated
Keywords :
asynchronous circuits; circuit analysis computing; formal verification; hazards and race conditions; protocols; reachability analysis; specification languages; PROMELA; SPIN; automated reachability analysis tool; computer protocol validation language; hazard free circuit; protocol validation tools; speed-independent asynchronous circuits; Asynchronous circuits; Circuit analysis computing; Circuit testing; Clocks; Delay; Energy consumption; Protocols; Reachability analysis; Synchronization; Wire;
Conference_Titel :
Communications, Computers, and Signal Processing, 1995. Proceedings., IEEE Pacific Rim Conference on
Conference_Location :
Victoria, BC
Print_ISBN :
0-7803-2553-2
DOI :
10.1109/PACRIM.1995.519456
