definisjonen av utilgjengelige og ikke-kartlagt i LMU?

[bradyue]

Jeg har lest LMU dokumentet, men jeg er så forvirret om definisjonen av utilgjengelige og ikke-kartlagt sentrale punkter. Hvem kan gjøre meg en tjeneste å forklare det i detalj? Takk på forhånd ...

 

[iwpia50s]

Utilgjengelige state poeng er state punkter hvor det ikke er mulig for LMU til tilstanden din logikk for å komme til en flopp eller låsen. Ikke-kartlagt er der det er statlig poeng i en implementering som ikke er i den andre, slik at det ikke kart til noe så den kan ikke mismatch.

 

[bradyue]

Kan du gi noen eksempler på det? forårsake Jeg er fortsatt litt ikke forstått ... takk

 

[sree205]

ikke kartlagt i den forstand, whats stede i enten RTL eller netlist ikke er tilstede i den andre eller ikke kartlagt. unreachable - iwpia50s definisjon er god nok