die Definition der unerreichbar und in LEC nicht-mapped?

[bradyue]

Ich habe die LEC Dokument zu lesen, aber ich bin immer noch so über die Definition von unerreichbar und nicht-mapped Eckpunkte verwirrt. Wer kann mir einen Gefallen tun, um es im Detail zu erklären? Vielen Dank im Voraus ...

 

[iwpia50s]

Unreachable Staat Punkte sind staatliche Stellen, an denen es nicht für LEC auf den Zustand Ihrer Logik zu einem Flop oder Latch bekommen möglich. Nicht-mapped ist, wo es staatliche Stellen in einer Ausführung, die nicht in den anderen, damit es nicht zu irgendetwas Karte so kann es nicht mismatch.

 

[bradyue]

würden Sie bitte ein paar Beispiele dafür? denn ich bin immer noch ein bisschen nicht verstanden ... danke

 

[sree205]

nicht im Sinne abgebildet, was ist in entweder RTL oder Netzliste nicht vorhanden ist in den anderen oder dessen nicht kartiert. unreachable - iwpia50s Definition ist gut genug