Study Of SOC Asynchronous Connecting Technique

This paper works on the design and implementation method of GALS (Globally-Asynchronous Locally-Synchronous) system. The asynchronous handshake protocol and the method of implementing asynchronous circuit are analyzed. The techniques of design asynchronous cell and related synthesis tools are also introduced. Based on the topology structure of GALS network, a novel GALS asynchronous wrapper is designed and implemented.After the research on asynchronous circuit principle, handshake protocols, the conception of GALS system, GALS model and GALS asynchronous handshake protocol, a GALS asynchronous wrapper is put forward. Then the paper provides a novel GALS asynchronous wrapper, its synchronous-asynchronous exchange interfaces and a local pausiable clock are given; Later, a point to point GALS system and a selftimed-ring GALS system are simulated on EDA tools to verify their correctness. Finally, the point to point GALS system is downloaded to FPGA (CycloneⅡ).Another work of this paper is to formally verify the novel GALS asynchronous wrapper by model checking method. The paper researchs and analyzes the hardware formal verification, then the verilog code of the novel GALS asynchronous wrapper is modified so that the new design can be verified by model checking tools VIS.