Actel器件库文件的制作及各种仿真
1．Actel器件库文件的制作
Actel器件库文件是综合后仿真与布局布线后仿真中必不可少的文件。有了器件库文件，可以单独采用modelsim进行综合后仿真，而不必启动Libero集成环境来进行综合后仿真与布局布线后仿真。器件库文件的制作过程如下(以act2的器件制作过程为例来说明)： (1). 点击：File/New/Library，产生如下操作界面：
界面中的act2为输入的器件库名称。点击“OK”进入下一步。 (2)点击Compile/Compile出现以下界面
在“Library”选择框中选“act2”,在查找范围中逐步点击“C:/Actel/Libero_v9.0/Designer/lib/vtl/95/act2.vhd”, 出现如下界面：
1
(3). 点击“Compile”进行器件库文件的编译，编译结束后点击“Done”，完成编译。这时就会在“Library”框中出现所编译成功的器件库名称如下图左边黑框中所示：
至此，就完成了Actel器件库文件act2的编译。就可以在以后仅仅启动modelsim就可以完成act2器件模块的综合后仿真。也就是说，生成库文件之前的描述器件的VHDL语言文件在“C:/Actel/Libero_v9.0/Designer/lib/vtl/95”文件夹下面，而生产成编译产生的器件的库文件被放在了“C:/Actel/Libero_v9.0/Model/”文件夹下面。
注意：
(a) 如果在生成库文件的过程中，遇到提示需到先生成work库文件的情况，则先生成work
库文件，再生成器件的库文件。
(b) 在生成库文件之后，可能会改变modelsim中原来的综合选项“Compile/Compile
properties/Project Compiler Settings/Coverage”下面“Other coverage”下的“Ignore Focused Expression/Condition Covereage(-nocoverfec)”为选中状态，使得综合过程出错。此时，取消这个选项的选定即可解决这一问题。
2
(c) 当生成新的项目，而在新项目中的“Library”目录下所生成的器件库中的器件族无法利
用时(unavailable)时，需要重新对这个器件进行映射。右击所需映射的器件并选“Edit”选项，如下图所示
出现下图所示的对话框：
在“Library pathname”框中输入“C:/Actel/Libero_v9.0/Model/act2”，并点击确定，就可将Act2器件库重新对应起来。如下图所示：
3
? Actel 仿真中测试母模块的自动生成，在Actel的Libero环境中可以自动生
成测试母模块及其它配套模块，这些模块都可以通过工作目录下进行搜索”*.v”文件来获得。获得这些”*.v”文件后就可以脱离Libero环境自己手工采用modelsim来建立仿真目录并进行手工仿真。 ? 仿真过程中Actel Library文件的获取：如果脱离Libero环境下的modelsim
仿真过程中，在modelsim界面下“simulate/start simulation”下点击”work/testbench”后提示缺失库文件，那么可以先在libero集成环境中调用modelsim仿真后生成所需要的相应的库文件并拷贝到自己的工作目录下。然后通过“start simulation”选项卡中的“libraries”下的“add”按钮来添加工作库文件来解决这一问题。
? 有一点需要注意，如果仿真库和modelsim工程下的“*.v”文件中的模块具
有同样的功能，那么modelsim将会以仿真库的接口及功能优先。也就是说，此时，对于“*.v”将不会影响仿真结果。因此，在modelsim仿真过程中添加仿真库时，不要添加和工程下的“*.v”文件中的模块具有同样名字的仿真库。
2. Actel器件综合后仿真步骤
按照如上所述步骤完成Actel器件库文件的制作过程后，就可以单独启动modelsim文件进行综合后仿真和布局布线后仿真，例如文件夹aftersim下面的综合后的仿真结果如下图所示。从图中可以看出，仿真结果中的输出变量的有效值与输入变量的有效值之间存在明显的延时。
综合前的测试文件和vhdl文件(在文件夹presim中)如下：
4
由上图可见，输出变量的有效值和输入变量的有效值之间不存在延时。
3. 项目文件夹下面各个子目录中所包含的文件类型如下所示： (1) synthesis生成如下文件：
run_options.txt: 综合过程的脚本文件； tcomp.pdc：综合过程中的物理约束文件； tcomp_sdc.sdc：综合过程中的时序约束文件； tcomp.edn：综合过程生成的网标文件； tcomp.sdf：综合后的延时反标文件；
(2) smartgen\\tcomp1目录下生成如下文件： tcomp1模块综合后的vhd文件；
(3) component\\work\\tcomp下面产生自动生成文件： tcomp.vhd和testbench.vhd文件
(4) mysim\\designer\\impl1下面生成如下文件： tcomp.tcl脚本约束文件；
tcomp_ba.sdf布局布线后延时反标文件； tcomp_ba.vhd布局布线后的网表文件；
(5) 项目名为tcomp，模块名为tcomp1如下图所示：
4. 不同种类的仿真
(1) 最基本的仿真(自己编写testbench文件，采用catalog下的basic blocks):
采用smartgen\\tcomp1\\tcomp1.vhd作为被测试模块；仿真在tsim0文件夹下进行；
5