问题:使用前一次综合出的gtech网表再跑综合 formalty会有多比特的reg unmatch问题,fm报svf reject。
解决:目前测试,前一步综合出gtech网表的阶段将dc设置禁用mbb可以解决(set_app_var hdlin_infer_multibit default_none)
暂时不清楚原因。
问题:使用前一次综合出的gtech网表再跑综合 formalty会有多比特的reg unmatch问题,fm报svf reject。
解决:目前测试,前一步综合出gtech网表的阶段将dc设置禁用mbb可以解决(set_app_var hdlin_infer_multibit default_none)
暂时不清楚原因。