一种基于Pi演算的数字电路仿真检验方法
2011-12-31 00:00:00刘荣胜
电脑知识与技术 2011年26期
摘要：Pi演算已经在软件工程，Web服务等领域有了广泛的应用，取得很多的研究成果。该文尝试用Pi演算对数字电路进行仿真，分析数字电路的性质，为Pi演算在数字电路和芯片设计领域的应用基础。
关键词：Pi演算；数字电路；符号仿真
中图分类号：TP319文献标识码：A文章编号：1009-3044(2011)26-6425-01
A Checking Approach for Digital Circuit Based on Pi-Calculus
LIU Rong-Sheng
(Department of Information Engineer
