chính thức xác nhận nghi ngờ

[spauls]

Giả sử bạn có một mạch như dưới đây.----- Invertor ------ (d) F / F (q) ------- Invertor (IN RTL)

Và trong cả hai danh sách net invertors được rửa sạch đi để LEC thất bại, nhưng logic là giống như cả hai i / p và o / p được đảo ngược.

Làm thế nào để khắc phục điều này trong LEC, như LEC chắc chắn sẽ thất bại tại đầu vào tiểu học (tức là d của F / F).

Xin vui lòng tư vấn.

 

[nand_gates]

Điều này chỉ có thể được giải quyết bằng cách dân tộc LEC!
Liên hệ ur LEC hỗ trợ kỹ thuật!Ông có thể giúp bạn!
Họ đang có rất nhiều lệnh và các biến không có giấy tờ!

 

[luancao]

Ông có thể mô tả những trường hợp cụ thể?

Tôi đã sử dụng rất nhiều LEC.Nó phải được bình đẳng cho A - INV - DFF - INV - B, và A - DFF - B.LEC kiểm tra những gì được gọi là điểm chính.tức là nguyên tố đầu vào, nguyên tố đầu ra, chốt, đăng ký, hardblock.

Vì vậy, trong trường hợp của bạn, nó chắc chắn sẽ vượt qua.Didyou so sánh RTL và GTL?Chỉ cần thử một trường hợp đơn giản của DFF --- --- IN OUT trong RTL.Bạn sẽ nhận được IN - DFF - BUF - OUT bởi gắn thiết BUF ô lái xe.Nếu nó không thể vượt qua.Kiểm tra LEC kịch bản của bạn.Trong thực tế, bạn chỉ có thể sử dụng script mẫu từ LEC và thay đổi danh sách RTL và GTL tên tập tin.Và thiết lập danh sách chặn cứng trong kịch bản.Nó sẽ làm việc.

 

[spauls]

Hi,
vấn đề của tôi là giải quyết, đó là vấn đề liên quan đến đăng ký retiming.