funstudy1022的博客

原创 multi-bit reg unmatch

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