A New Approach and Tool in Verifying Asynchronous Circuits

Tin T. Nguyen, Khoi-Nguyen Le-Huu, Thang H. Bui, Anh-Vu Dinh-Duc


Research in asynchronous circuit approach has been carried out recently when asynchronous circuits are presented more widely in electronic systems. As they are more important in human life, their correctness should be considered carefully. Although there are some EDA tools for design and synthesis of asynchronous circuits, they are lack of methods for verifying the correctness of the produced circuits. In this work, we are about to propose a verification method and apply it in making a new version of the PAiD tool that can enable engineers to design, synthesize and verify asynchronous circuits. Experiments in verifying circuits have been also provided in this work.

Full Text:


DOI: http://dx.doi.org/10.21553/rev-jec.43

Copyright (c) 2013 REV Journal on Electronics and Communications

Copyright © 2011-2018
Radio and Electronics Association of Vietnam
All rights reserved