本论文研究了GALS(全局异步局部同步)系统的设计方法和实现过程。论文分析了异步电路的握手协议和握手电路的实现方法,研究了异步单元电路的设计技术和相应的综合工具的使用。在分析了GALS网络的拓扑结构之后,设计并实现了一种新的GALS异步封装模块。论文在研究了异步电路工作原理与相应握手协议、GALS系统的相关概念、GALS模型和GALS系统握手协议的基础上,具体地给出了一个GALS异步封装电路设计方案,并设计了一种新的GALS异步封装电路,实现了该设计的同步异步转换接口模块和局部可暂停时钟模块;随后,对一个点对点GALS系统和一个自定时环GALS系统进行了软件功能仿真,证明了设计的正确性;其中,点对点GALS系统设计被下载到FPGA上进行了的逻辑验证。论文的另一个工作是对GALS异步封装系统进行形式化验证。论文分析和研究了形式化验证方法,对所设计的新的GALS异步封装电路的verilog源代码进行了修改,最后在验证工具VIS上完成了对本设计的模型检测验证。