Hardwarebeschrijvingstalen en verificatie
Welke uitspraak over de rol van lint-tools die bij HDL-verificatie worden gebruikt is juist?
- AEen apparaat dat pluisjes uit de chip verwijdert
- BEen hulpmiddel dat de golfvormen van de simulatie mooi weergeeft
- CZonder simulatie de beschrijving onderzoeken en problemen vinden zoals niet-overeenkomende bitbreedtes, onbedoelde latches en niet te synthetiseren schrijfwijzen
Antwoord en toelichting tonen
Antwoord: C. Zonder simulatie de beschrijving onderzoeken en problemen vinden zoals niet-overeenkomende bitbreedtes, onbedoelde latches en niet te synthetiseren schrijfwijzen
Een lint-tool onderzoekt de HDL-beschrijving statisch aan de hand van regels en wijst op schrijfwijzen die grammaticaal juist zijn maar gemakkelijk problemen geven. Voorbeelden zijn toekenning van signalen met verschillende breedte, weglatingen in de sensitivity list, het afleiden van latches, het mengen van blokkerende en niet-blokkerende toekenning en fouten in de omgang met klokken. Omdat het zonder het maken van tests kan worden uitgevoerd, kan het vroeg in het ontwerp de moeite van latere verificatie verminderen.
Verder: nog 9 vragen over Hardwarebeschrijvingstalen en verificatie