增量设计流程针对需要变更部分进行优化

　　增量设计流程的六个实施步骤
 

　　步骤一：准备采用增量流程的设计

　　创建设计后,使用Synplify Pro综合工具中MultiPoint的第一步是在启动Synplify Pro时创建“实现选项”。该选项包含器件、速度级别、全局频率,以及其它设计和优化参数。之后,也可以创建一些采用不同参数或包含设计变更的实现方案来测试设计的变更效果。例如可为初始参数和HDL设计代码创建名为“实现方案 1”的实现方案。

　　Synplify Pro的“Compile Only” (只有编译) 功能有助于Synplify Pro的SCOPE约束编辑器理解设计的层次结构。Synplify Pro中的SCOPE(r) 约束编辑器管理综合和布局布线的约束条件,同时也用于定义各编译点及其相应的约束条件。编译点和约束条件都保存在约束文件中,作为该实现方案的一部分,且约束条件已设置为编译点定义的一部分。编译点被定义在新的顶层约束文件中,或者说,编译点的定义被添加到已有的顶层约束文件 (.sdc) 中。

　　然后,从Synplify Pro的工具条中启动SCOPE,并从“Select File Type”(选择档案类型) 对话框中选择“Top Level Module”(顶层模块)。使用这个菜单命令,你可根据设计识别出的模块列表创建各编译点。你可锁定某些感兴趣的模块或功能区块。这些被锁定的区块将被Synplify Pro识别为编译点,并同时设置好其它的一些顶层约束,如输入/输出延迟、时钟频率、或多循环路径。

　　必须在相应的 .sdc文档中为每个编译点规定其约束条件,并在顶层.sdc文件中为整个设计添加单独的顶层约束条件。设计环境提供名为“Create SCOPE File”(创制 SCOPE 档案) 的对话框,让用户轻松建立编译点和约束条件。

　　在SCOPE中完成编译点和约束的设置后,就可以对顶层设计进行综合处理。
 

　　步骤二：分析Synplify Pro的结果

　　评价综合结果有几种方法。Synplify Pro将时序和区域写入实现方案目录中的日志文档。你可在Synplify Pro的"HDL Analyst RTL"和" Technology schematic views"中评价设计;确定其是否已达到设计目的。你也可查看和隔离某些关键路径,搜索和标出某些重点设计目标,在源文件间进行交叉探测。在这个层面上发现的任何错误都应当予以纠正。
 

　　步骤三：综合或以增量方式重新综合

　　Synplify Pro允许用户以增量方式综合设计或对整个设计进行综合。如果某一编译点从未改变,Synplify Pro便会使用前次综合运行时产生的建模文件。你可选择以增量方式综合设计 (即执行“run incrementally”指令),该指令只综合编译点;而且,只有那些已经出现源代码、约束或实现变更的编译点才会改变。也可用“re-synthesize all”(重新综合所有) 指令重新综合整个设计。一般来说,选择以增量方式综合设计比较省时。
 

　　步骤四：在物理实现环节将更新的网表导入Libero

　　一旦Synplify Pro生成网表,就自动成为Libero IDE文档管理器的一部分,并且可用于布局布线 (即可被布局功能调用)。在设计流程和文档管理器与Libero之间的用户界面上,你很容易就找到和选出Synplify Pro创建的网表实现方案(参见图2)。

　　假设该网表是更新后的网表,包含设计和综合过程中产生的增量变更,你可能首先希望保护Libero的初始布局布线过程生成的原始布局。在Libero中,你可轻松地将原始布局保存为物理设计“View”(也叫做“implementation”) 文件,可按使用方便给该视图命名,比如命名为“Design_Layout_1”。Libero不会用更新的网表结果覆盖“Design_Layout_1”这个文件,它允许在同一项目中创建新的View。例如,可将名为“Design_Layout_2”的文件用于存放更新网表的实现和测试结果。这个功能使用户能够比较用Synplify Pro产生增量网表变化前后的结果。

　　接下来,在Libero中打开Actel的物理实现工具Designer,将更新的网表用新的实现方案名称导入Libero,并编译设计。编译设计后,在Libero的布局选项中完成设计布局。该菜单的缺省选项会对整个布局进行重新布局布线。对于包含经MultiPoint更新后的网表,Actel建议采用完全布局布线。完全布局布线的布局效率最高,但需要对所有时序进行重新验证。从增量修改策略的角度来看,只对那些直接受增量变化影响的布局部分进行重新布局布线也许更为有利。布局选项菜单包括“Place Incrementally”(放置增量)、“Lock Existing Placement (Fix)”[锁定现有放置 (修正)]和“Route Incrementally”(布线增量)

　　步骤六：器件编程和调试

　　在采用ECO流程达到设计目标后,就可使用Libero IDE提供的FlashPro ISP (在系统内编程) 工具、Silicon Sculptor编程工具,以及Synplicity的 Identify(r) 及Actel的Silicon Explorer器件调试工具和验证工具。
 

　　总结

　　Synplify Pro MultiPoint综合和Libero IDE开发工具为管理实际的ECO需求提供了有效的增量设计流程。两者的结合使设计人员能对原设计作模块级变更,而且只更改那些需要变更的部分。这种设计流程最大限度地减少了变更对那些原已成熟的设计部分的影响;由于无需对整个设计重新布局,因而节省了时间。用户可使用Synplify和 Libero中的“实现选项和视图”,轻松地建立不同设计选项方案,进而分析和比较这些方案,并选出性能最佳的方案。