基于Common Lisp的数字系统仿真实现

针对数字系统仿真所涉及的若干关键问题,从对象的行为特点出发,提出一种基本仿真算法及其改进版本。前者能够正确模拟实际数字系统中的并发行为,但可能引起冗余的进程调度;后者考虑了系统模型中信号和进程间的依赖性,可有效避免这一问题,并能在多数情况下提高仿真性能。基于所提算法,应用Common Lisp语言实现了仿真器原型,并与商业仿真平台Modelsim相比较进行了仿真实验,结果表明,所研究的算法和工具正确有效、性能良好。