本文主要介绍如何利用per l脚本生成用于逻辑验证的仿真验证平台。本文首先对per l语言作了简单的介绍,并着重对per l的基本使用方法做了说明,其次对常用仿真验证平台的基本组成和功能进行了分析说明,针对仿真验证平台的各基本部件,利用per l脚本给出了生成这些部件ver i l og代码的详细过程。