Hardwarebeschrijvingstalen en verificatie
Welke van de volgende Verilog-beschrijvingen wordt door logische synthese niet tot een schakeling gemaakt maar genegeerd (een beschrijving voor simulatie)?
- AEen assign-statement
- Balways @(posedge clk)
- CEen vertragingsspecificatie zoals #10
Antwoord en toelichting tonen
Antwoord: C. Een vertragingsspecificatie zoals #10
'#10' betekent dat de tijd in de simulatie met 10 eenheden vooruitgaat, maar logische synthese kan geen vertraging maken en negeert het. De werkelijke vertraging van een schakeling wordt bepaald door de gebruikte poorten en bedrading. Ook weergaveopdrachten zoals $display en het lezen en schrijven van bestanden, die bij testbenches horen, worden geen schakeling. Als zulke beschrijvingen in te synthetiseren RTL worden gemengd, is dat een oorzaak van verschillend gedrag tussen simulatie en werkelijke hardware.
Verder: nog 9 vragen over Hardwarebeschrijvingstalen en verificatie