标签: 所见即所得

StratixII 之 EDA 及学术开发功能描述 1 ．概述          同 Stratix/Cyclone 。   2 ．逻辑单元（ Logic Cell ）描述 在以前的架构中（比如 Cyclone ），单个 LE 包括一个组合逻辑和寄存器。对于 Stratix II 来说，组合逻辑和寄存器被单独分开到两个部分，原语创建的时候也不象 Cyclone 和 Stratix 那样，而是通过 lcell_comb （组合逻辑部分）和 lcell_ff （ flip-flop/register ）分别创建。这和 CycloneII 的情形有点类似。注意这里的 flip-flop 和 register 的意思可以互换。            图 1 显示了 Stratix II 寄存器逻辑单元完整功能框图，它有八个输入，分别是 datain 、 adatasdata 、 clk 、 ena 、 sload 、 sclr 、 aload 和 aclr； 同时只有一个输出 regout 。   图 1 ： Stratix II 寄存器逻辑单元完整功能框图            图 2 显示了 Stratix ii 组合逻辑单元完整的功能框图，它有八个输入端口，分别是 dataa 、 datab 、 datac 、 datad 、 datae 、 dataf 、 sharein 和 cin ，以及四个输出端口，分别是 shareout 、 cout 、 sumout 和 combout 。   图 2 ： Stratix II 组合逻辑单元完整功能框图   3 ．坐标系统和位置约束 图 3 ： StratixII 坐标系统            图 3 显示了 Stratix II 器件底层坐标系统，坐标标注和 Stratix/Cyclone 类似，这里不赘述。只是从 Cyclone II 开始，根据上述 LE 的结构分析，可以直接单独给 lcell_comb 或者 lcell_ff 约束位置了。这在 FPGA TDC 设计中延时链锁定有一定好处，同时增加了具体的工作量，因为你必须分别约束组合逻辑阵列和寄存器阵列。            可以看到 M-RAM 占了很大一块，一个基本坐标单元是一个 LAB 的位置大小。那么一个 M-RAM 占据的位置相当于 3x4=12 个 LAB 的面积。每个 LAB 有（ x ， y ）坐标，而其内部的 lcell_comb 和 lcell_ff 又有子坐标，比如 lcell_comb_X2_Y5_N4 。 ALTERA 的意思是不建议这样按数字从上到下约束组合逻辑单元或者寄存器单元的位置，因为这样常常给 fitter 来麻烦，最好的办法是仅仅约束 LAB 的位置。   4 ． 布线延迟与布线距离以及布线规则的关系          略，同 Cyclone II 5 ． Netlist Recommendations 内容略，同 Cyclone II 。但是由于逻辑单元端口有差别，所以表 1 的内容和 CycloneII 有区别。 表 1 ： 6 ．逻辑综合概览和优化 6.1 ALM 和 LAB 的相关描述          第二节描述了 Stratix II 器件使用的基本逻辑单元， Quartus II 开发软件将这些逻辑单元打包进两种结构，即 ALM 和 LAB 。这两种结构除了单独逻辑单元自己的限制外还有一些额外的限制。后面我们将讨论这些限制规则。            一个 ALM （ Adaptive Logic Module ）包括最多 2 个 lcell_comb 模块和 2 个 lcell_ff 模块，如图 4 所示。 Note that not all positions in an ALM need necessarily be populated with a logic cell for theALM to be valid. 图 4 ：一个 ALM 中的逻辑单元（ Logic Cell ）            Stratix II 的一个 LAB 中有 8 个 ALM ，所以一个 LAB 中有 32 个逻辑单元（ Logic cell ）（ 16 个 lcell_comb 和 16 个 lcell_ff ）。如图 5 所示， 32 个单元组成了一个 LAB ，灰色的为 lcell_comb ，白色的为 lcell_ff ，每个虚线框表示一个 ALM ，如前所述位置信息显示是 ALM 的可能位置信息，用户逻辑电路并不一定在 fit 后会使用到。            注意图 5 中灰色所示的所有 lcell_comb 位置标号都是偶数，而白色所示的 lcell_ff 位置标号都是奇数，这些信息用户在 ChipPlanner 或者资源属性编辑器中看得到。如果我们要约束 lcell_comb 和 lcell_ff 位置，那么如图 3 所示找到这些逻辑单元所在的 LAB 坐标，然后确定该逻辑单元的位置，比如将一个 lcell_comb 进行位置约束如 lcell_comb_X4_Y6_N0 ，就是将其约束位于图 5 所示 ALM#1 中，将一个 lcell_ff 进行位置约束如 lcell_ff_X4_Y6_N7 ，就是将其约束位于图 5 所示的 ALM#2 中的第二个寄存器。   图 5 ： Stratix II 器件中的 LAB 6.2 测量综合面积质量          因为组合逻辑单元（ lcell_comb ）可以以不同的方式组合起来，形成 ALM ，所以测量综合面积不是单单象统计创建的逻辑单元那样简单。从面积角度来看，当 fitter 争取最大密度努力时，综合将创建最少的 ALM 和 LAB 。我们来看一个很简单例子， 80 个 6 输入 lcell_comb 单元可能要消耗 80 个 ALM （因为一个 ALM 只有在满足 LUT 掩码要求的情况下才可能实现两个 6 输入函数），而 100 个 4 输入 lcell_comb 仅消耗 50 个 ALM （因为一个 ALM 总是包含 2 个四输入函数）。从电路面积角度来说，消耗最小面积的综合效果是最好的。            在 Altera 提供的 quartus.ini 文件中，包含这样的信息“ fit_pack_for_density=on ”和“ fit_report_lab_usage _stats=on ”，这些都将允许精确的面积估算。当这些变量使用的时候， Quartus II 软件将试图通过 Packing 逻辑单元（ Logic Cell ）进 ALM 和 LAB 来达到最小化面积，特别是同时 Fmax 只是很小降低。 Quartus II 软件同时会给用户打印以下信息： Info: Number of LABs at the end of packing: 100 Info: Number of LEs at the end of packing: 1600 来说明当它 fit 电路的时候，最小的 ALM 和 LAB 使用量。当然当综合算法中的最大电路速度被执行，那么 Quratus II 软件运行的时候不带上述变量。          最好的办法是在工程的 qsf 文件中添加以下的编译设置： set_global_assignment –name INI_VARS "fit_pack_for_density=on;fit_report_lab_usage_ stats=on” 注意上述约束行中的引号中不能包含任何空格。 6.3 获得好的面积及性能建议          通常来说，最好是使用 6 输入函数来减少电路深度从而提高电路的性能。在那些不影响电路深度的情况最好是使用 6 输入函数，这些情况有，如果 6 输入函数能节约多于两个 5 或者更少输入函数，或者 ALM 的掩码支持 2 个 6 输入函数。   6.4 获得好的 Fitting 结果建议 1.          使用 lcell_ff 的 .sclr 应当慎重， Stratix II 架构中一个 LAB 最多只有一个 .sclr 。不恰当地使用这个端口，会大幅降低逻辑资源利用率、 fitting 可能性以及电路速度。举个例子，过去常常在一个逻辑单元里使用 .sclr 端口来产生一个 5 输入函数，如此在实现这个电路的时候可以减少逻辑单元的数量，因此从一个综合角度来看这也许是一个好主意。但是，一旦这个 lcell_ff 使用了 .sclr ，那么这个 lcell_ff 所在的 LAB 一般无法将其它寄存器逻辑单元打包（ Pack ）进来，除非这些寄存器逻辑单元都使用同样的 .sclr 值或者它们的 synch_mode=off 。这可能在最坏情况下导致逻辑密度大量减少，因为只有一个 lcell_ff 可以被放置在一个 LAB 中，而不是 16 个。所以无原则地使用 .sclr 会导致非常坏的 fitter 结果和电路速度，因为 fitter 在这种情况将 lcell_ff 组合进 LAB 的灵活性非常小。 .sclr 应该只有在用户电路中实现同步清零的时候才被使用，因为在这种情况下同步清零信号一般产生非常大的扇出。因此， fitter 一般不会过分约束同步清零信号。 .sclr 端口也可以审慎地用于实现其他中等扇出信号，用来减少逻辑单元的使用量。 2.          上述原则同样适用于 .sload 端口。同步加载应当会产生高扇出。 3.          时钟使能（ .ena ）使用起来相对有点宽松，因为每个 LAB 允许有三个不同的 .ena 值，这比只有两个 .ena 值大大提高了 fitter 应对多 .ena 值情况的能力。不过，过多的时钟使能（ .ena ）使得获取高逻辑利用率非常困难。我们发现电路如果使用成千上万的时钟使能， APEX 往往逻辑利用率只能达到 90% 。更谨慎地使用时钟使能，常常能达到 99% 的逻辑利用率。因此，注意限制不同 .ena 信号的数量（尤其是低扇出信号）还是值得的。 Stratix II 比之前器件多出一个时钟使能端口，所以相对要宽松。 4.          到 LAB 的总的布线信号是 44 个（不包括 cin 和 LAB 内逻辑单元生成的信号），所以为了更好的布通性，最好使用不超过 38个 不同的信号布线到一个 LAB （不包括 clk 和 aclr ，它们可以使用全局资源）。 5.          Fitter 将会在需要的时候将 lcell_comb 单元和 lcell_ff 单元“打包”一起放入一个 ALM 中。如此，综合阶段没有必要将二者放在一起。然而，需要注意的是单元创建的时候不要对 fitter 打包 lcell_comb 和 lcell_ff 进同一个 LE 产生不利影响。 6.          如图 4 所示的 ALM 总共包括 2 个 lcell_comb 和 2 个 lecll_ff ，表 2 显示了除了逻辑单元自己的限制外的 lcell_comb 单元组合到一个 ALM 的一些限制。该表并没有显示出每一种可能的 lcell_comb 组合，详细的情况可以查看 Stratix II 的 LCELL 所见即所得相关文档。 表 2 ：聚合 lcell_comb 进入 ALM 的限制情况          Lcell_comb 类型选择没有意义，只有当使用 6 输入函数有明确的优势的时候可以采用，比如需要减少电路深度或者电路面积的时候可以选择使用 6 输入函数。如果没有严格限制一定要使用 6 输入函数，最好使用更小输入函数，因为如上表所示，输入端口越少，限制也越少。  

7 ．逻辑单元（ Logic Cell ）规则 7.1  对单个寄存器逻辑单元（ lcell_ff ）进行约束 如果clk端口连接，那么regout端口必须连接 如果sclr端口连接，那么clk端口必须连接 如果sload端口连接，那么clk端口必须连接 如果ena端口连接，那么clk端口必须连接 7.2  对单个组合逻辑单元（ lcell_comb ）进行约束 Cin端口不连接，要连接必须连接到GND或者连接到另一个lcell_comb的cout端口。如果一个lcell_comb的cin连接到另一个lcell_comb的cout端口，那么该lcell_comb使用的时候其SUMOUT或COUT一定要受到cin端口的影响。 Cout端口必须根据上一条连接，或者保持不连接 Sharein端口可能被连接只有当cin被连接且该lecll_comb的参数shared_arith = on。 如果sharein连接，它可以连接到GND或者必须由驱动本本lcell_comb的cin端口的lcell_comb的shareout驱动 Shareout端口只有在cout端口连接的时候才能被连接 当shareout端口连接的时候，它必须驱动被本lcell_comb的cout驱动的同一个lcell_comb的sharein端口 如果cout/cin连接，但是sharein/shareout没有连接，那么只有 dataa ，datab ，datac ， datad 和 dataf 输入端口可以使用。 如果参数shared_arith =  on（即sharein/shareout连接），那么只有 dataa ，datab ，datac ， datad 和 dataf 输入端口可以使用，dataf端口只影响该lcell_comb的组合逻辑输出，即combout。 在一个lcell_comb中，如果一个输入连接有信号，但是该信号依据LUT掩码没有影响至少一个输出，那么这是违法的，作为规则，Quartus II软件将Disconnect这个输入。 LUT掩码依赖一个没有任何信号连接的输入端口也是不合法的。 8 ． ALM 和 LAB 规则          本节讨论一下综合器应当遵守的规则，依据这些规则产生的逻辑单元才具有电气特性，逻辑单元组合进LE和LAB的时候才能形成合法的LAB可布通性。 8.1 约束 LABs 的进位链          进位链概念省略。如图3所示的连续相连的灰色（偶数）lcell_comb可以组成进位链。长进位链跨多个LAB的时候必须从上一个LAB直接跨入紧邻的下一个LAB，只能从上到下连接。需要注意的是StratixII中的进位链连接时，sharein和shareout的是否连接是可选的。相对比较以前器件结构，在StratixII架构中创建一个非法的进位链是不可能的，因为lcell_comb和lcell_ff无法合并进同一个LE中。          进位链的起始位置总是固定在一些特定位置的carryin/sharein，fitter可以分配一个进位链从一个LAB的子坐标（sub-location）0或者16开始（因为只有这些子坐标位置才有进位链输入的tie-off。笔者注：什么是“tie-off”）。如果这对于某个特殊设计是一个很大的限制，那么fitter可以插入一个lecll_comb单元来为进位链创建一个固定的carryin/sharein作为该链的起始。这个增加的lcell_comb的所有其他输入端口都未连接（或者都连接到VCC或GND），而只连接carryout端口（shareout端口也可能连接）到另一个lcell_comb的carryin端口。使用这种技术，fitter可以将一个进位链放置在任何LAB子坐标。          长进位链跨多个LAB的时候必须从上一个LAB直接跨入紧邻的下一个LAB，只能从上到下连接。          Stratix II的ALM可以实现8输入的算术功能，如果某个使用了整个LAB中8个ALM的链很可能使得这个LAB没有足够的输入端口来实现该链。在这些情况下，fitter会自动将这个链分成小链，并将这些小链只fit进半个LAB。这些小链将使用下面介绍到的“early exit”和“late entry”模块完成LAB之间的连接。          被放置在LAB子坐标0、4、8、和12位置的链使得其可以从这个LAB的中间离开并从下一个LAB起始的子坐标0继续。这就是所谓的“early exit”模式。链从一个LAB末尾（即子坐标30）离开，使得其有可能从下一个LAB的中间（即子坐标16）进入。这就是所谓的“late entry”模式。Stratix II器件的LAB列只能交替地支持上述模式中的一种，即某个LAB支持哪种模式取决于该LAB的列位置。图6显示了上述内容。          fitter除了使用上述early exit和late entry模式来打开进位链以外，还会使用通用布线资源（即不使用专用的carryin和carryout连接）在LAB之间连接链。如果fitter这样做了，软件会给出一个相关警告信息。 图6：early exit和late entry跨LAB的进位链 8.2 约束进位链到 ALM          进位链意味着一组相邻的ALM被打包在一起，这样就需要满意的ALM设置。比如，进位链的第一个和第二个lcell_comb必须位于同一个ALM中，第三个和第四个必须位于下一个ALM中，等等。图7显示了ALM中的这些进位单元。 图7：聚合进位链进ALM          图7所示的进位链相邻进位单元必须遵守下列ALM合法规则： 它们必须处于相同的共享算术模式（即两个进位单元要么sharein/shareout都连接，要么都不连接）。需要注意的是链中不同ALM的LUT可以毫无限制地配置成shared或者non-shared模式，只要同一个ALM中的LUT配置成相同的模式即可。 2.          连接到lcell_comb端口dataa、datab和两个lcell_comb的datac的不同信号数目不能多于4个。这是因为这三个端口中的两个必须由这两个lcell_comb共享。 个人觉得应该是 dataa 和datab 在一个ALM 中是由其中的两个组合逻辑单元共享，而datac 应该上下有不同的datac 端口。          图8显示了一个遵守规则2和一个不遵守的例子。合法的ALM有信号s1、s2、s3和s6连接到ALM的两个lcell_comb的端口dataa、datab和datac上，而非法的ALM有s1、s2、s3、s6、s7和s8六个信号连接到ALM的两个lcell_comb的端口dataa、datab和datac上。 图8：规则2合法和非法实例 8.3 约束 LAB-wide 信号          好多连接到逻辑单元的信号叫做“LAB-wide”信号，这些信号单独为LAB产生并可以由LAB内的逻辑共享。因此，在一个LAB布置的逻辑单元如果需要过多的LAB-wide信号将是非法的。          上一节讨论的进位链，虽然进位自己不会有错，当进位链中每个逻辑单元要驱动寄存器单元的时候，这些进位链结构常常会导致比较差的fit结果。我们最好来看这样一个例子，假如一个长度为6的进位链（横跨3个ALM），进位链每个逻辑单元驱动一个寄存器，同时每个寄存器的使用不一样的时钟信号，那么进位链所在的这个LAB最多只能放入这些寄存器中的两个，因为每个LAB最多只支持两个不同的时钟信号。因此，这只会带来比较次优的布局结构，如图9所示。 在Stratix II器件中，连接到lcell_ff的clk，ena，aclr，aload，sclr和sload端口的信号都属于LAB-wide信号。一个lcell_ff端口连接到一个正常信号都消耗一个LAB-wide信号，同一个信号被取反后在LAB中使用也额外消耗一个LAB-wide信号。所以如果LAB中的一个lcell_ff使用clock，而!clock被另一个lcell_ff使用，那么将消耗两个LAB-wide信号。逻辑单元上连接到VCC和GND的端口也需要LAB-wide线。还有一种情况是逻辑单元某些端口处于悬空状态，这种unconnect情况可能需要LAB-wide线，也可能不需要，这取决于端口以及LE的配置。表3显示了lecll_ff中悬空端口的处理情况。 图9：过多LAB-wide被使用的时候地布局影响 表3：端口未连接时是否被认为“used” 下列都是表3定义的重要的规则，用于统计被认为“used”但是却未连接信号的寄存器端口。 所有lecll_ff上的.clk和.ena信号都成对地组成LE时钟，如图10所示。在任何LAB中，可以有不超过2个不同的时钟对。 l  同一个.clk信号和2个不同的.ena信号可认为是两个不同的寄存器时钟对 l  同一个.ena信号和2个不同的.clk信号可认为是两个不同的寄存器时钟对 图10：形成lcell_ff时钟的时钟和时钟使能组合 最多只有两个不同的时钟信号可以连接到clk端口 表4显示了一个时钟加时钟使能如何创建时钟对的例子。该例显示了三个的寄存器使用的三组时钟和三组时钟使能，clk(#1)和ena(#1)属于register Cell(#1)，clk(#2)和ena(#2)属于register Cell(#2)。没有连接的.ena端口被配置为VCC，如表3指定那样。A，B，C、D，E和F对应信号网络。 表4：时钟和时钟使能如何组成lcell_ff时钟的例子（所有单元的.regout连接） 最多2个不同的信号可能被连接到.aclr端口。（从表2，未连接的.aclr将会认为是连接到GND） 最多只有一个不同的信号可以连接到aload端口 如果任何LAB中的一个lcell_ff使用了alod端口，那么： l  该LAB中所有使用aload的lcell_ff必须使用和第一个lcell_ff相同的aclr l  该LAB中所有未使用aload的lcell_ff必须使用相同的aclr 最多只有一个不同信号能被连接到.sload端口，最多只有一个不同信号能被连接到.sclr端口 l  一个lcell_ff使用sload和（或）sclr只能被放置在一个使用相同sload和（或）sclr或者不使用sload和（或）sclr的LAB中。 表4显示了sload和sclr组合是否被认为“used”的情况，表5则显示了sload和sclr组合被合法布局到一个LAB的例子。两个表中的A和B都是指非GND和非VCC的信号网络。 表5：当sload和sclr被认为“used”的例子 表6：lcell_ff使用sload和sclr的合法和非法组合 注：表5和表6中A和B均为非VCC和非GND的信号网络。 8.3LAB 控制信号可布通性约束 这里有一些规则可以确保LAB内所有必需的控制信号能被布局进这个LAB。任何连接到逻辑单元端口的信号网络（非VCC和非GND），如果其未使用全局布线资源，那么它布进LAB，需要占用LAB-wide输入端口。一个信号如果在LAB内正和负都被用到，那么该信号必须被布线两次。如果一个逻辑单元的一个端口连接（或者说可以如表3那样认为连接）到VCC或者GND信号，那么它可能需要也可能不需要占用LAB-wide输入端口，这取决于这个端口是否存在LAB-wide tie-off。表7显示了lcell_ff的哪些端口连接到一个信号或者连接（或者说可以如表3那样认为连接）到VCC或者GND时需要LAB-wide输入端口的情况。 表7：VCC/GND需要布线进LAB的情况（*为不同于Stratix）          以下是一些重要规则，依据表 7 定义 VCC/GND 需要布线资源。