相关阅读SDC命令详解https://blog.csdn.net/weixin_45791458/category_12931432.html?spm1001.2014.3001.5482目录简单使用写在最后set_logic_dc命令可以设置当前设计中的输入端口为不关心设置输入端口的driven_by_dont_care属性为true该输入端口在综合是可以被赋予任何信号包括但不限于1或0以简化逻辑。如果使用了set_logic_dc命令不能对同一个输入端口对象使用set_logic_one命令和set_logic_zero命令。如果想要移除不关心的输入端口使用remove_attribute命令。本文针对Design Compiler但该命令同样存在于IC Compiler等工具中。set_logic_dc命令的BNF范式有关BNF范式可以参考以往文章为set_logic_dc port_list该命令对所有场景生效。关于场景的更多介绍可以参考下面的博客。Design Compiler多工艺角和多工作模式(Multicorner-Multimode, MCMM)https://blog.csdn.net/weixin_45791458/article/details/149578771?ops_request_misc%257B%2522request%255Fid%2522%253A%2522e3267dcc7cc26380435f53994dc8b9b8%2522%252C%2522scm%2522%253A%252220140713.130102334.pc%255Fblog.%2522%257Drequest_ide3267dcc7cc26380435f53994dc8b9b8biz_id0utm_mediumdistribute.pc_search_result.none-task-blog-2~blog~first_rank_ecpm_v1~rank_v31_ecpm-1-149578771-null-null.nonecaseutm_termMCMMspm1018.2226.3001.4450简单使用下面以图1为例说明set_logic_dc命令的使用。图1 布尔表达式SASB如果直接进行综合结果如图2所示。图2 直接综合结果使用set_logic_dc命令后再综合结果如图3所示。dc_shell set_logic_dc [get_ports A]图3 设置输入端口不关心后综合结果图3中的输入端口A悬空不驱动任何逻辑这是set_logic_dc命令、set_logic_one命令和set_logic_zero命令的结果。需要注意的是此命令不能用于输出端口若要指定未连接的输出端口使用set_unconnected命令。写在最后理想情况下对于SASB的最佳优化应该是令输入端口A连接到输入端口B而不是1或0此时化简后为B如图4所示。但是真实的综合结果却不是这样即使笔者尝试了加严约束等方法依旧无法综合出想要的结果疑似为bug。图4 设置输入端口不关心后综合结果理想set_logic_dc命令可以直接影响综合而set_case_analysis命令只能间接影响综合。顺带一提常量是否能跨层次传播并直接影响综合可以由一些变量控制具体可以参考下面的博客。Design Compiler边界优化(Boundary Optimization)https://blog.csdn.net/weixin_45791458/article/details/145666047?ops_request_miscelastic_search_miscrequest_id23da72e4da13338190b465b95a415693biz_id0utm_mediumdistribute.pc_search_result.none-task-blog-2~all~ElasticSearch~search_v2-1-145666047-null-null.541^v3^pc_search_result_blog1utm_term%E8%BE%B9%E7%95%8C%E4%BC%98%E5%8C%96spm1018.2226.3001.4450关于Design Compiler中常量触发器移除的更多细节可以参考下面的博客。Design Compiler常量触发器的移除https://blog.csdn.net/weixin_45791458/article/details/157099522?ops_request_miscelastic_search_miscrequest_id8c25ae511a94a255e625223ccd11f147biz_id0utm_mediumdistribute.pc_search_result.none-task-blog-2~all~ElasticSearch~search_v2-2-157099522-null-null.541^v3^pc_search_result_blog1utm_term%E5%B8%B8%E9%87%8F%E4%BC%A0%E6%92%ADspm1018.2226.3001.4450该约束只对当前设计生效因为只有当前设计有端口的概念且propagate_constraints命令对该约束无效即无法将子设计的输入端口约束传播到顶层设计。