Hình thức LEC --- FE-LINK-2

[ASIC_intl]

Tôi có một bộ nhớ instantiated như một hộp đen trong netlist mức cổng. Đó là hộp đen là một bộ nhớ mà một thư viện (db) tồn tại. Từ tập tin đó. Db bộ nhớ được chọn khi tổng hợp chạy. Trong khi làm LEC bởi hình thức có một lỗi phát sinh do không phù hợp cổng. Tuy nhiên, không phải là không phù hợp cổng cho rằng bộ nhớ thực sự giữa RTL và netlist mức. Rằng bộ nhớ phải được thiết lập như là hộp đen trong kịch bản hình thức để tránh lỗi này? Mã lỗi này trong hình thức là FE-LINK-2

 

[lostinxlation]

LEC làm việc với db hiện nay? Khi đã Cadence làm cho nó làm việc như vậy? Dù sao, làm cho các macro cứng hộp đen.

 

[ASIC_intl]

Lostin Tôi không nhận được những gì bạn có nghĩa là bằng cách -------- có hoạt động LEC. Db ngày nay? Khi đã Cadence làm cho nó làm việc như vậy? Tôi làm việc với hình thức. IS IT bắt buộc phải thực hiện các macro cứng hộp đen? Nó bắt buộc

 

[lostinxlation]

oh, ok, tôi bị mất bởi vì, trường hợp trên, LEC nhắc nhở tôi về Verplex. Xin lỗi về điều đó. Trong khi làm LEC bởi hình thức có một lỗi phát sinh do không phù hợp cổng. Tuy nhiên, không phải là không phù hợp cổng cho rằng bộ nhớ thực sự giữa RTL và nhận được mức netlist nếu bạn đang sử dụng tập tin db, bạn nên kiểm tra pin kết hợp giữa RTL / netlist của bạn và db. (Lib) cũng . Nếu mismatching pin giữa RTLS và netlists, tôi đoán nó sẽ không gây ERROR. Nó thay vì báo cáo là bất xứng hợp.

 

[ASIC_intl]

Những gì bạn đã viết những gì nếu FE-LINK-2 nói. IS IT bắt buộc phải thực hiện các macro cứng hộp đen?

 

[lostinxlation]

. Db sẽ làm việc. Nếu không, nó là bởi vì netlist / RTL của bạn và thư viện có một số không thống nhất như bất xứng hợp pin.

 

[sp]

u cần phải cả hai hộp đen vàng và sửa đổi cho ram đó để công cụ có thể làm bản đồ và so sánh, còn tôi nghĩ rằng đây là không cadence lec nhưng nó Synopsys hình thức.