相关阅读Design Compilerhttps://blog.csdn.net/weixin_45791458/category_12738116.html?spm1001.2014.3001.5482目录简介生成和使用ALIB简介在使用Design Compiler时可以对目标逻辑库进行特征分析并创建一个称为ALIB的伪库可以被认为是缓存伪库中包含复杂布尔函数的实现方式与尺寸、延迟无关这些布尔函数是基于库中已有的、更简单的门单元实现的纯组合逻辑。以下面的布尔函数为例图1和图2是它在ALIB中的两种实现方式其中黄色为逻辑库中的门单元。库特征分析将构建所有四输入以内的布尔函数以及常用的超过四输入的布尔函数每个布尔函数大约生成十五种实现方式。图1 实现方式​​​​​​​图2 实现方式ALIB为Design Compiler提供了更大的灵活性和更大的解空间以探索面积与延迟之间的权衡但需要注意的是只有compile_ultra命令才能利用ALIB进行综合而不能使用compile命令。虽然使用compile_ultra命令会自动创建ALIB如果它不存在或已过时但由于对每个逻辑库进行特征分析可能会耗费一些时间建议提前生成目标逻辑库的ALIB并将其存储在一个共享位置以便多个用户可以共用该库。生成和使用ALIB使用compile_ultra命令或alib_analyze_libs命令会在alib_library_analysis_path变量默认值为./即当前工作目录指定的目录下创建一个特定版本的子目录并将生成的ALIB存储在该子目录中。例如以下命令会为名为fast.db的目标逻辑库生成fast.db.alib文件添加了.alib后缀以建立两者之间的联系并将其存储在目录/remote/libraries/alib/alib-**下dc_shell set_app_var target_library fast.db dc_shell set_app_var link_library * fast.db dc_shell set_app_var alib_library_analysis_path /remote/libraries/alib dc_shell alib_analyze_libs // 或compile_ultra命令生成的目录结构如下所示其中alib-51为Design Compiler Y-2006.06-SP4版本前创建的子目录而alib-52为Design Compiler Y-2006.06-SP4版本及以后创建的子目录因此该版本后的所有版本都可以共用ALIB。/remote/libraries │ ├── target_libraries │ ├── x.db │ ├── y.db │ └── z.db │ └── alib ├── alib-51 │ ├── x.db.alib │ ├── y.db.alib │ └── z.db.alib │ └── alib-52 ├── x.db.alib ├── y.db.alib └── z.db.alib