设计验证在数字电路设计中扮演着重要的作用，功能正确性检验是设计验证最基本的内容，用于判别设计规范和设计实现之间是否一致。在过去的二十几年中，人们对于数字电路顺序行为的验证进行了深入的研究并提出了许多行之有效的验证方法，例如，模拟的方法和形式化的方法等。然而数字电路是典型的并发系统，对其并发行为的验证却由于复杂度的限制而至今没有提出任何直接的和有效的验证方法，如何实现并发行为的有效验证就成为保证数字电路功能正确性的关键因素。本文在并发行为验证方面进行了探讨。首先介绍了STE验证方法的基本理论和技术，对其优点和不足进行了详细的分析；其次对STE验证规范作了图形化的扩展，提出了断言图的概念并给出了基于断言图的验证算法；进而引入进程代数语言对并发系统进行刻画，建立了相应的并发模型，给出了语言到模型的转化以及验证并发行为的流程；最后，探讨了动作细化在规范语言层次化描述中的作用。