la definició de inabastable i no-assignat a LEC?

[bradyue]

He llegit el document LEC, però tot i així estic molt confós sobre la definició dels punts clau inabastable i no assignat. Qui em pot fer un favor que l'hi expliqui en detall? Gràcies per endavant ...

 

[iwpia50s]

Punts inaccessibles de l'estat són els punts de l'estat on no és possible LEC a la condició de la lògica per arribar a un fracàs o tancament. No és assignada a detectar els punts de l'estat en una aplicació que no estan en l'altre, de manera que no s'assigna a qualsevol cosa perquè no es desajust.

 

[bradyue]

Podria donar alguns exemples perquè? perquè jo encara estic una mica no s'entén ... gràcies

 

[sree205]

no assignat en el sentit, quina és l'actualitat, ja sigui en RTL netlist o no és present en l'altre o el seu estat no assignat. inabastable - definició iwpia50s és prou bo