H
hgby2209
Guest
Ich benutze Verplex lec formale Überprüfung vornimmt.
Ich habe Gating-Uhr-Gate-Ebene Netzliste synthetisiert, die von DC Strom-Compiler.
Aber die formale Prüfung der RTL vs Tor Netzliste haben unmatch Punkte, und wenn ich nicht Gating-Uhr-Netzliste, die formale Prüfung bestanden wurde.
Kann irgend jemand kann mir sagen, wie man in LEC RTL tun vs Gating-Uhr-Netzliste mit Verplex lec?
Ich habe Gating-Uhr-Gate-Ebene Netzliste synthetisiert, die von DC Strom-Compiler.
Aber die formale Prüfung der RTL vs Tor Netzliste haben unmatch Punkte, und wenn ich nicht Gating-Uhr-Netzliste, die formale Prüfung bestanden wurde.
Kann irgend jemand kann mir sagen, wie man in LEC RTL tun vs Gating-Uhr-Netzliste mit Verplex lec?