Enhanced PAiD — An EDA tool for asynchronous circuit design and verification

EDA has been proposed for a long time as a category of reliable software tools for designing electronic systems. Although some of them have been considered as powerful tools for asynchronous circuits - a prominent approach solving the biggest defect of synchronous circuits: clock distribution issue, researches in verifying the correctness of those circuits are still limited. Therefore, an enhanced version of PAiD - an EDA tool that has been developed at HoChiMinh City University of Technology (HCMUT) will be proposed in this work with some case studies. It not only helps engineers design, synthesize but also verify asynchronous circuits. Besides, a good strategy to improve the verifying performance is also discussed.