一种基于Pi演算的数字电路仿真检验方法

作者：刘荣胜

来源：电脑知识与技术, 2011, (26): 6425+6429.

• Pi演算
• 数字电路
• 符号仿真 Pi-calculus
• digital circuit
• symbolic simulation

Pi演算已经在软件工程,Web服务等领域有了广泛的应用,取得很多的研究成果。该文尝试用Pi演算对数字电路进行仿真,分析数字电路的性质,为Pi演算在数字电路和芯片设计领域的应用基础。

• 单位
  湖南铁道职业技术学院