请教set_black_box的设置

请教用set_black_box来设置ref和imp相对应的子模块之后，是不是需要对子模块的port做什么约束？否则black box的port上的信号都unmatched

不需要，module指定了以后，tool会自动match它们的port，除非有些port明显不一致无法匹配上。

formal的两份code，其中一份是名字加密，所以工具就懵逼了，导致port无法匹配