Verilog er et programmeringsspråk som beskriver digital hardware . Påstander er uttalelser som definerer forventede forholdene i et program. I Verilog , er påstander som brukes til å definere sier at kretsen skulle oppstå under normal drift . Disse påstander kan brukes til å analysere kretsen for feil . Eventuelle programmeringsfeil kan føre til en mislykket påstand , som hjelper deg å spore en bug tilbake til årsaken til uhellet . Du bør legge påstander til din Verilog program for å hjelpe deg feilsøke systemet , og som et verktøy for å hjelpe andre programmerere når de går gjennom koden din. Du trenger
Verilog Integrated Development Environment (IDE ), for eksempel Altera Quartus II ( se Ressurser for link)
Vis flere instruksjoner
en

Åpne Verilog IDE ved å klikke på ikonet. Lag et nytt prosjekt ved å klikke på "File " og deretter velge "New Project Wizard . " Et nytt prosjekt åpnes. Velg et navn og katalog for dette prosjektet . Trykk på " Neste"-knappen for å gå gjennom resten av sidene , slik at alle innstillingene på standardinnstillingene. Trykk på " Finish" -knappen for å opprette prosjektet .
2

Velg " File " og deretter " Ny" for å åpne en fil oppretting vindu . Velg " Verilog HDL File " og trykk på "OK" -knappen for å legge til en ny Verilog fil til prosjektet . En tom Verilog filen vises i hovedteksten editor vinduet .
3

Lag en modul oppkalt etter prosjektet. For eksempel , hvis prosjektet har fått navnet " Påstander ", kan du skrive følgende modul definisjon:

modul Påstander ;
4

Erklærer to registre som holder verdier , kalt "A" og "B ", som dette : en

reg A, ​​B;
5

Sett den opprinnelige verdien for hvert register som dette : en

innledende begynne A = 0 , innledende begynne B = 1;
6

Anta at du har en " hvis " statement som tester om "A" ikke lik " B. " På dette punktet i programmet , bør dette alltid være sant , siden "A" og "B" var bare initialisert ved ulike verdier . Dette ville være et flott sted å sette en " hevde " statement. Skriv følgende " hvis " statement , etterfulgt av en " hevde " statement : en

if ( ! A = B ) hevder ( ! A = B ) ;
7

Skriv et mer ordrik " hevde " statement som skriver ut meldinger når en " hevde " statement er behandlet. Erstatte " hevde ( A = B ! ); " Statement med følgende : en

hevde ( ! A = B ) $ display ( " . Påstand passert A ikke er lik B. "); annet $ error ( " Påstand mislyktes A er lik B. . ");
8

Kjør programmet ved å trykke på den grønne " Play" -knappen på verktøylinjen øverst . Programmet skal skrive ut følgende melding : " Påstand passert. En ikke lik B. " Men hvis noen feil oppstår som setter verdien av" B " til null , vil påstanden mislykkes og feilmeldingen " Påstand mislyktes. A er lik B. "vises .
9

Bruk påstanden meldinger til analysere tilstanden til programmet ditt og kontrollere alle dine antagelser om design. Når en påstand mislykkes gjentatte ganger , er det en feil i programmet som ikke klarer å møte dine design kriterier . Du kan jobbe deg fra påstanden bakover til roten årsaken til denne feilen .