在dc_shell中，先把tessent生成的design source file(可以是RTL也可能是netlist)全部load进去，然后source tessent 吐出来的那个.sdc文件，设置好参数和调用相关的proc，就可以dc_shell吐出来一个mbist sdc了。