Verilog er et formelt språk for å beskrive sammenkopling av digitale funksjoner til digitale kretser.
Verilog
Historie
Verilog ble utviklet i 1983–1984 av Phil Moorby og Prabhu Goel hos Automated Integrated Design Systems, senere Gateway Design Automation (GDA) som et språk for maskinvaremodellering som skulle brukes av simulatorer som firmaet hadde utviklet og solgt.
I 1990 ble firmaet kjøpt av Cadence Design Systems Inc som fortsatt selger Verilogsimulatorene som ble utviklet av GDA.
VHDL var allerede etablert som et uavhengig språk og i konkurranse med dette ble Verilog i 1995 gjort tilgjengelig av bransjeorganisasjonen IEEE som IEEE STD 1364-1995, kjent som Verilog-95.
Foreløpig siste revisjon er fra 2005. Videre revisjon av standarden håndteres av Accellera.
Simulering og syntese
Verilog ble primært utviklet som et språk som skulle simuleres. I ettertid er det også utvidet med modeller for syntese, slik at en kretsbeskrivelse som er modellert og verifisert i Verilog kan syntetiseres til en beskrivelse som kan implementeres på en digital krets.
Utvikling av digitale funksjoner med høynivåspråk
En som arbeider med utvikling av en ny funksjon eller en ny krets vil først gjøre en syntese av utkastet for å sjekke at det som er designet kan syntetiseres. Deretter vil man simulere nøye for å verifisere at funksjonen løser oppgaven sin riktig. Formell verifisering er en metode for å verifisere uten simulering
Les mer i Store norske leksikon
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.