GDSII：
它是用来描述掩模几何图形的事实标准，是二进制格式，内容包括层和几何图形的基本组成。
CIF：
（caltech intermediate format）,叫caltech中介格式，是另一种基本文本的掩模描述语言。
LEF：
（library exchange format）,叫库交换格式，它是描述库单元的物理属性，包括端口位置、层定义和通孔定义。它抽象了单元的底层几何细节，提供了足够的信息，以便允许布线器在不对内部单元约束来进行修订的基础上进行单元连接。
包含了工艺的技术信息，如布线的层数、最小的线宽、线与线之间的最小距离以及每个被选用cell，BLOCK，PAD的大小和pin的实际位置。cell，PAD的这些信息由厂家提供的LEF文件给出，自己定制的BLOCK的LEF文件描述经ABSTRACT后生成，只要把这两个LEF文件整合起来就可以了。
DEF：
（design exchange format），叫设计交换格式，它描述的是实际的设计，对库单元及它们的位置和连接关系进行了列表，使用DEF来在不同的设计系统间传递设计，同时又可以保持设计的内容不变。DEF与只传递几何信息的GDSII不一样。它还给出了器件的物理位置关系和时序限制等信息。
DEF files are ASCII files that contain information that represent the design at any point during the layout process.DEF files can pass both logical information to and physical information fro place-and-route tools.
* logical information includes internal connectivery(represented by a
netlist),grouping information and physical constraints.
* physical information includes the floorplan,placement locations and
orientations, and routing geometry data.
SDF：
(Standard delay format),叫标准延时格式，是IEEE标准，它描述设计中的时序信息，指明了模块管脚和管脚之间的延迟、时钟到数据的延迟和内部连接延迟。
DSPF、RSPF、SBPF和SPEF：
DSPF（detailed standard parasitic format）,叫详细标准寄生格式，属于CADENCE公司的文件格式。
RSPF（reduced standard parasitic format）,叫精简标准寄生格式，属于CADENCE公司的文件格式。
SBPF（synopsys binary parasitic format）,叫新思科技二进制寄生格式，属于SYNOPSYS公司的文件格式。
SPEF（standard parasitic exchange format）,叫标准寄生交换格式，属于IEEE国际标准文件格式。
以上四种文件格式都是从网表中提取出来的表示RC值信息，是在提取工具与时序验证工具之间传递RC信息的文件格式。
ALF：
(Advanved library format),叫先进库格式，是一种用于描述基本库单元的格式。它包含电性能参数。
PDEF：
（physical design exchange format）叫物理设计交换格式。它是SYNOPSYS公司用在前端和后端工具之间传递信息的文件格式。描述了与单元层次分组相关的互连信息。这种文件格式只有在使用SYNOPSYS公司的Physical Compiler工具才会用到，而且.13以下工艺基本都会用到该工具。
TLF
TLF文件是描述cell时序的文件，标准单元的risetime，hold time，fall time都在TLF内定义。时序分析
-------------------
EDIF介绍 zz:谈谈EDIF
说到LPM（Library of Parameterized Modules），就一定要谈谈EDIF（Electronic Design Interchange Format）。EDIF文件是EDA厂商之间和EDA厂商与IC厂商之间传递设计信息的文件格式。LPM最初是作为EDIF标准的附件出现的。
EDIF和LPM的标准化过程：
1988年，ANSI/EIA-548: Electronic Design Interchange Format (EDIF), Version 2.0.0。
1990年，LPM标准提出，供EIA审核。
1993年，EIA 618: Electronic Design Interchange Format (EDIF) Version 3 0 0 Level 0 Reference Manual，LPM作为EDIF标准的附件，成为EI
A的一个过渡标准。
1995年，EIA PN 3714: Library of Parameterized Modules (LPM) Version 201。
1996年，EIA-682: EDIF Version 400 (EIA-682-96) Electronic Design Interchange Format。
1999年，EIA/IS-103A: Library of Parameterized Modules (LPM) Version 2.0。
从年代上看来，88年到90年前后恰好是半定制设计风格超越全定制设计风格，成为VLSI芯片设计主流的时期。LPM标准的提出可能正是响应了半定制设计的需求。
EDIF文件是EDA工具之间传递信息的标准格式。画过电路原理图和PCB的朋友一定知道，原理图文件绘制完毕后需要“生成网表”，进行 PCB布局布线之前先要“引入网表”，这样才能建立原理图文件和PCB文件之间的“逻辑映射关系”。EDIF文件就是网表文件的一种格式。在很多情况下， 原理图文件中的模块图形和PCB文件中的“封装”是一一对应的，这种“物理映射关系”就是通过“库文件”建立的。“库文件”包含了原理图模块的名称和图 形，也包含了封装文件的名称和图形，这样一来，“物理映射关系”就建立起来了。在不同的EDA工具之间，比如Protel和Cadence还有PowerPCB，逻辑映射关系是很容易互相通用的，但是由于支持不同的“库文件”，物理映射关系往往就建立不起来。
在IC设计领域（包括PLD设计），EDIF文件就遇到了类似的问题：综合工具和实现工具必须达成一致。在LPM标准提出之前，这一点很难实现，毕竟IC设计领域存在太多的实现工艺和EDA工具。
在LPM标准提出之前，对于某些逻辑的描述没有统一的标准，描述方法都是工艺相关（Technology dependent）的，所以综合工具生成的EDIF文件不具备可移植性。在采用了LPM标准之后，对于LPM库中包含的逻辑，所有的综合工具都采用同一 种行为描述方法，生成相同的EDIF文件，实现设计输入和网表的正确映射；实现工具包含各自工艺库与LPM库之间的唯一映射关系，从而能够“读懂”包含 LPM描述的EDIF文件，实现网表和工艺实现之间的正确映射。这样一来，EDID文件在不同的实现工具之间移植就不成问题了。（LPM并不是唯一的解决 方法，比如现在的EDA工具之间往往互相支持对方特定的库文件和网表格式，尤其像Synplicity这样的专业EDA公司，同时支持许多公司的器件和网 表格式和宏单元；而Altera和Xinlinx就不能互相支持）
在这一过程中体现的原理是：通过增加一个映射层次，把一次映射关系转化为两次映射关系，两次映射关系的中介——包含LPM描述的EDIF文件——就具备了可移植性。
更多更详细的关于EDIF的内容，参见这里：EDIF 格式
FPGA和ASIC介绍
这篇文章介绍的比较综合，其中既讲到了仿真和综合，也谈到了工具，三颗星的文章吧，一些东西都已经看到过了。
Synopsys公司提供的综合工具DC把综合分为三个步骤进行：synthesis＝translation＋mapping＋optimization。从这个综合的定义上看，translation实际上只能算是一小步。
No comments:
Post a Comment