multi-bit reg unmatch

 

问题：使用前一次综合出的gtech网表再跑综合 formalty会有多比特的reg unmatch问题，fm报svf reject。

解决：目前测试，前一步综合出gtech网表的阶段将dc设置禁用mbb可以解决(set_app_var hdlin_infer_multibit default_none)

暂时不清楚原因。