lec怎么处理参数化模块(rtl to rtl)

有一个design很大，然后我想对其中一个小的子模块去做formal，这个子模块是参数化的
我用下列命令设root到子模块
set root module $DESIGN -golden
出现下列错误
// Command: set root module $DESIGN -golden
// Error: Specified module xxxxx' is a template.
应该怎么做？谢谢

模块单独提出来包一个顶层，顶层里设置好参数。我猜的~

但是我设的那个子模块里面是有parameter的啊

没一个参数化模块不都有自己local的para嘛
关键是lec报error了
难道在内存里面名字改变了？因为我是把整个design一起读进来的
// Error: Specified module xxxxx' is a template.

set_design module_name [-parameters parameter_value_list]
你man一下这个cmd试试