formality工具的current_design

formality工具的`current_design`是一个命令，用于获取或设置当前设计的名称。其应用格式如下：

current_design [<design_name>]

其中，`<design_name>`指定设计的名称。执行该命令时，如果没有指定`<design_name>`，则会返回当前的设计名称；如果指定了`<design_name>`，则会将当前设计设置为指定的名称。

在formality工具中，可以同时处理多个设计，每个设计都有自己的名称。通过`current_design`命令可以方便地在多个设计之间进行切换，并且可以在不同的设计之间复用代码和IP核等资源。需要注意的是，不同的设计之间可能会存在资源冲突等问题，在进行切换时需要仔细检查和处理。