reduced word在数学中是什么意思

嗯，是群论里的一个概念，整体应该是“cyclically reduced word”

In mathematics, cyclically reduced word is a concept of combinatorial group theory.

Let F(X) be a free group. Then a word w in F(X) is said to be cyclically reduced if and only if every cyclic permutation of the word is reduced.

关于combinatorial group theory，详情请参考：https://en.wikipedia.org/wiki/Combinatorial_group_theory

它是用来描述掩模几何图形的标准，是二进制格式，内容包括层和几何图形。

CIF：

(Caltechintermediate format)，叫caltech中介格式，是另一种基本文本的掩模描述语言。

LEF：

(Library exchangeformat)，叫库交换格式，它描述了库单元的物理属性，包括端口位置、层定义和通孔定义。它抽象了单元的底层几何细节，提供了足够的信息，以便允许布线器在不对内部单元约束来进行修订的基础上进行单元连接。它包含了工艺的技术信息，如布线的层数、最小的线宽、线与线之间的最小距离以及每个被选用cell，BLOCK，PAD的大小和pin的实际位置。cell，PAD的这些信息由厂家提供的LEF文件给出，自己定制的BLOCK的LEF文件描述经ABSTRACT后生成，只要把这两个LEF文件整合起来就可以了。

DEF：

(Design exchangeformat)，叫设计交换格式，是ASCII格式的文件，它描述的是实际的设计，对库单元及它们的位置和连接关系进行了列表，使用DEF来在不同的设计系统间传递设计，同时又可以保持设计的内容不变。DEF与只传递几何信息的GDSII不一样。它可以将设计的逻辑信息和物理信息传递给布局布线工具。逻辑信息包括逻辑连接关系（由网表表示）、grouping信息以及物理约束。物理信息包括布局规划、布局位置及方向、绕线几何数据。

SDF：

(Standard delayformat),叫标准延时格式，是IEEE标准，它描述设计中的时序信息，指明了模块管脚和管脚之间的延迟、时钟到数据的延迟和内部连接延迟。

SDC：

(Synopsys delayconstraint)，叫Synopsys延时约束文件。

DSPF、RSPF、SBPF和SPEF：

DSPF（detailed standard parasitic format），叫详细标准寄生格式，属于CADENCE公司的文件格式。

RSPF（reducedstandard parasitic format），叫精简标准寄生格式，属于CADENCE公司的文件格式。

SBPF（synopsys binary parasitic format），叫Synopsys二进制寄生格式，属于SYNOPSYS公司的文件格式。

SPEF（standard parasitic exchange format），叫标准寄生交换格式，属于IEEE国际标准文件格式。

以上四种文件格式都是从版图中提取出来的寄生RC信息，是在寄生参数提取工具与时序验证工具之间传递RC信息的文件格式。

ALF：

(Advanvedlibrary format)，叫先进库格式，是一种用于描述基本库单元的格式，它包含电性能参数。

PDEF：

(Physical designexchange format)，叫物理设计交换格式。它是SYNOPSYS公司用在前端和后端工具之间传递信息的文件格式。描述了与单元层次分组相关的互连信息。这种文件格式只有在使用SYNOPSYS公司的Physical Compiler工具才会用到，而且130 nm以下工艺基本都会用到该工具。