T
toobad365
Guest
Hi All,
1.RTL vs Netlist comparation với hình thức.Tôi đọc các tập tin SVF thành công, nhưng một số svf hoạt động từ chối.OK để xác minh là hình thức?
2.Có một số điểm không khi nào tôi xác minh với các hình thức.Tôi phân tích một trong những điểm không, và hình thức báo cáo các điểm không tồn tại, do sự phát triển từ chối svf hoạt động và đề nghị phải làm reg_merging.Khi mở scahematics logic cone, DFF rất lạ (D thấy với mô phỏng giá 1 và Hỏi thấy với mô phỏng giá 0).
Là cái gì sai với các hình thức làm mẫu và DFF này datapath?
lẫn lộn ....
1.RTL vs Netlist comparation với hình thức.Tôi đọc các tập tin SVF thành công, nhưng một số svf hoạt động từ chối.OK để xác minh là hình thức?
2.Có một số điểm không khi nào tôi xác minh với các hình thức.Tôi phân tích một trong những điểm không, và hình thức báo cáo các điểm không tồn tại, do sự phát triển từ chối svf hoạt động và đề nghị phải làm reg_merging.Khi mở scahematics logic cone, DFF rất lạ (D thấy với mô phỏng giá 1 và Hỏi thấy với mô phỏng giá 0).
Là cái gì sai với các hình thức làm mẫu và DFF này datapath?
lẫn lộn ....