SDC命令详解：使用set_logic_dc命令进行约束

相关阅读

SDC命令详解https://blog.csdn.net/weixin_45791458/category_12931432.html?spm=1001.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，命令不存在于PrimeTime、IC Compiler等工具中。set_logic_dc命令的BNF范式（有关BNF范式，可以参考以往文章）为：

set_logic_dcport_list

简单使用

        下面以图1为例说明set_logic_dc命令的使用。

图1 布尔表达式SA+S'B

        如果直接进行综合，结果如图2所示。

图2 直接综合结果

        使用set_logic_dc命令后再综合，结果如图3所示。

dc_shell> set_logic_dc [get_ports A]

        图3中的端口A悬空，不驱动任何逻辑，这是set_logic_dc命令、set_logic_one命令和set_logic_zero命令的结果。

        需要注意的是，此命令不能用于输出端口，若要指定未连接的输出端口，使用set_unconnected命令。