Abstract. The project proposal Digital Modeling of Asynchronous Integrated Circuits for Fast Dynamic Tim- ing Analysis and Formal Verification (DMAC) is … Login to Download