Eigenschap van HDL-simulatie waarbij een voorwaarde met de onbepaalde waarde X niet als X wordt doorgegeven maar als bepaalde waarde wordt behandeld, zodat fouten worden verborgen. X-optimism.
Japanse benaming: X楽観主義
“X-optimisme” komt voor in 2 oefenvragen uit 1 onderwerpen, bijv. Hardwarebeschrijvingstalen en verificatie.
Vakgebied: Hardwarebeschrijvingstalen en verificatie
Antwoord: B. Problemen controleren die in RTL-simulatie niet zichtbaar zijn: problemen met initialisatie en reset, verschillen door synthese en vertragingsgerelateerde problemen
RTL-simulatie is snel, maar merkt niets op als door X-optimisme problemen met onbepaalde waarden verborgen blijven of als door synthese een andere schakeling ontstaat dan beschreven. Bij gate-level-simulatie wordt de werking gecontroleerd met de werkelijk gemaakte poorten en flipflops, en als in SDF-formaat de vertragingen van elke poort en bedrading worden gegeven, worden ook vertragingsgerelateerde problemen zichtbaar. Ze is echter zeer traag, dus gewoonlijk wordt ze met een beperkt aantal tests uitgevoerd.
Dit heet X-optimisme, en men pakt het aan door te schrijven op een manier die X doorgeeft en door assertions op te nemen die X detecteren.
Als sel in de bovenstaande beschrijving X (onbepaald) is, w…RTL-simulatie is snel, maar merkt niets op als door X-optimisme problemen met onbepaalde waarden verborgen blijven of als door synthese een andere schakeling ontstaat dan beschreven.
Wat is het belangrijkste doel van het uitvoeren van simulat…Verilog Numerieke apertuur (NA) Logische synthese Netlist RTL (register transfer level) Gate-level-simulatie Asynchrone reset Blocking assignment Combinatorische lus (combinational loop) Constrained-random-verificatie