A New Approach and Tool in Verifying Asynchronous Circuits
release_h2aer34bj5cidpwrohheznmzda
by
Tin T. Nguyen, Khoi-Nguyen Le-Huu, Thang H. Bui, Anh-Vu Dinh-Duc
2013 Issue 3-4
Abstract
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.
In application/xml+jats
format
Archived Files and Locations
application/pdf 3.4 MB
file_folqxrfs2vfundcjhs2ouc5pb4
|
web.archive.org (webarchive) rev-jec.org (web) |
article-journal
Stage
published
Date 2013-06-01
access all versions, variants, and formats of this works (eg, pre-prints)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar