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

相关阅读

SDC命令详解https://blog.csdn.net/weixin_45791458/category_12931432.html?spm=1001.2014.3001.5482

        set_logic_one命令可以设置当前设计中的输入端口为1（设置端口的driven_by_logic_one属性为true），该端口在综合是可以被认为是1以简化逻辑。如果使用了set_logic_one命令，不能对同一个端口对象使用set_logic_dc命令和set_logic_zero命令。如果想要移除设置为1的端口，使用remove_attribute命令。

        本文针对Design Compiler，命令不存在于PrimeTime、IC Compiler等工具中。set_logic_one命令的BNF范式（有关BNF范式，可以参考以往文章）为：

set_logic_one
    port_list

简单使用

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

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

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

图2 直接综合结果 

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

dc_shell> set_logic_one [get_ports S]

图3 设置端口为1后综合结果

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

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