Hardwarebeschrijvingstalen en verificatie
Welke schrijfwijze wordt veel gebruikt om onbedoelde latches in een always-blok van een combinatorische schakeling te voorkomen?
- AZoveel mogelijk voorwaardelijke takken schrijven en else weglaten
- BAan het begin van het blok aan alle uitgangssignalen een standaardwaarde toekennen en daarna de voorwaardelijke takken schrijven
- CAlle uitgangssignalen als wire declareren en in always toekennen
Antwoord en toelichting tonen
Antwoord: B. Aan het begin van het blok aan alle uitgangssignalen een standaardwaarde toekennen en daarna de voorwaardelijke takken schrijven
Als aan het begin van het blok aan uitgangen standaardwaarden worden gegeven, zoals 'y = 0; valid = 0;', is bij elk pad door de latere voorwaardelijke takken in elk geval de standaardwaarde toegekend, zodat geen waarde behouden hoeft te worden en geen latch ontstaat. Het is vooral nuttig bij de beschrijving van uitgangen van toestandsmachines met veel voorwaarden. Met always_comb van SystemVerilog waarschuwt de tool als er een latch ontstaat.
Verder: nog 9 vragen over Hardwarebeschrijvingstalen en verificatie