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

Published in REV Journal on Electronics and Communications by The Radio and Electronics Association of Vietnam (REV).

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)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2013-06-01
Journal Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  1859-378X
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: e708c389-ae4a-42dd-a35a-b1f5f21b775b
API URL: JSON