菜鸟来问：做ATPG时需要读入的library文件是什么文件

oscillator_cn1

各位：
      刚开始学ATPG，第一步是读入netlist，这个没有疑问。第二步是读入library model。然后我就不明白是什么样的model了。user guide里面只是简单提了一句：verilog library models referenced by your design。举例也只是用*.v。工艺库的话，我用 “read_netlist -library ../smic13g.v" 好像可以，但是memory的话，该用什么呢，是用memory compiler 产生的 *.v文件，还是什么其他的文件呢？
      恩，补充一下，用memory compiler产生的.v文件试了一下，read_netlist的时候只是有warning：Rule N2（unsupported construct）was violated 22 times。而run_build_model 的时候，就有Error说，Memory has no write ports and no init file。这是为什么呢？

nomore

我是將memory 設為black box 不知這樣有無壞處？！ (memory的測試則是另外設計Bist Pattern)

wlzhi

library model：  使用 Verilog 文件，描述 Cell 的逻辑功能。
  对于 AtPG 工具，只能识别比较简单的描述，复杂的无法识别。
  
  如果你有 工具的相关文档，可以找到对于 Memory，应该如何描述。

  Memory 为 blackBox，则相关的逻辑（Shadow Logic) 无法测试。
  其不测试主要看对测试质量的要求，以及 Shadow Logic 的数量。可以考虑读书 Memory Model，或者将 Memory 加 Bypass 电路，增强 Shadow Logic Test