层次化设计方法是人们广泛接受的硬件电路设计的最主要方法之一。动作细化是系统层次化刻画方法的核心操作,目前已发展成为众所周知的自顶向下的系统设计技术。这种技术以分层的方式来描述系统,也就是说,用较低抽象层次上复杂的进程来解释较高抽象层次上的动作,从而改变其抽象层次,最终达到实现层次。虽然这种理论人们已经研究了多年,但是到目前为止,动作细化技术还没有成功地应用到工业的实际中去。 本文最主要的贡献就是把动作细化的理论和技术应用到实际中,与具体的异步电路设计和验证相结合,产生一种新的异步电路自动综合方法。我们将分别给出语法动作细化技术和语义动作细化技术在异步电路设计与验证中的成功应用。 最近几年,由于异步电路具有能够消除时钟歪斜问题,提供模块化设计以及适合处理环境变量的能力,异步电路的设计引起了人们的广泛关注。但是,刻画异步电路是一个繁琐且容易出错的过程。 首先,流水管道的形式刻画是异步硬件设计的主要问题。我们给出怎样应用语法动作细画来刻画和描述异步流水线微处理器,其中,处理器的每一个功能单元是逐步得到的。这样就可以使处理器的设计方结构化和模块化。此外,对流水线险态的详细处理被合并到细化处理的刻画中。 其次,基于动作细化,在异步电路设计中我们提出一种解决握手扩展和重排组的自动