Return to HDL info page. |
Verilog Reference Guide |
(last edit: 27. November 2024) |
|
Contents |
|
|
|
|
|
Introduction |
|
|
Verilog is a hardware description language (HDL) that is used to describe digital systems and circuits in the form of code. It was developed by Gateway Design Automation in the mid-1980s and later acquired by Cadence Design Systems.
Verilog is widely used for design and verification of digital and mixed-signal systems, including both application-specific integrated circuits (ASICs) and field-programmable gate arrays (FPGAs). It supports a range of levels of abstraction, from structural to behavioral, and is used for both simulation-based design and synthesis-based design.
The language is used to describe digital circuits hierarchically, starting with the most basic elements such as logic gates and flip-flops and building up to more complex functional blocks and systems. It also supports a range of modeling techniques, including gate-level, RTL-level, and behavioral-level modeling.
|
|
|
Using this Guide |
|
|
| |
|
A Brief Introduction to Verilog |
|
|
| |
|
Alphabetical Reference
|
|
|
|
|
|
|
|
|
Alias
|
|
|
Always
|
|
|
Always_Comb
|
|
|
Always_FF
|
|
|
Always_Latch
|
|
|
And
|
|
|
Array
|
|
|
Assert
|
|
|
Assign
|
|
|
Assume
|
|
|
Automatic
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
Before
|
|
|
Begin
|
|
|
Bind
|
|
|
Bins
|
|
|
Binsof
|
|
|
Bit
|
|
|
Blocking/Non-blocking
|
|
|
Break
|
|
|
Buf
|
|
|
BufIf0
|
|
|
BufIf1
|
|
|
Byte
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
Case
|
|
|
CaseX
|
|
|
CaseZ
|
|
|
Cell
|
|
|
Chandle
|
|
|
Class
|
|
|
Clocking
|
|
|
CMOS
|
|
|
Conditional Assignment
|
|
|
Config
|
|
|
Const
|
|
|
Constraint
|
|
|
Context
|
|
|
Continue
|
|
|
Cover
|
|
|
CoverGroup
|
|
|
CoverPoint
|
|
|
Cross
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
Deassign
|
|
|
Default
|
|
|
DefParam
|
|
|
Design
|
|
|
Disable
|
|
|
Dist
|
|
|
Do
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
Edge
|
|
|
Else
|
|
|
End
|
|
|
EndCase
|
|
|
EndClass
|
|
|
EndClocking
|
|
|
EndConfig
|
|
|
EndFunction
|
|
|
EndGenerate
|
|
|
EndGroup
|
|
|
EndInterface
|
|
|
EndModule
|
|
|
EndPackage
|
|
|
EndPrimitive
|
|
|
EndProgram
|
|
|
EndProperty
|
|
|
EndSpecify
|
|
|
EndSequence
|
|
|
EndTable
|
|
|
EndTask
|
|
|
Enum
|
|
|
Event
|
|
|
Expect
|
|
|
Export
|
|
|
Extends
|
|
|
Extern
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
Final
|
|
|
First_Match
|
|
|
For
|
|
|
Force
|
|
|
ForEach
|
|
|
Forever
|
|
|
Fork
|
|
|
Fork - Join
|
|
|
Function
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
Generate
|
|
|
Genvar
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
HighZ0
|
|
|
HighZ1
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
If
|
|
|
Iff
|
|
|
IfNone
|
|
|
Ignore_Bins
|
|
|
Illegal_Bins
|
|
|
Import
|
|
|
IncDir
|
|
|
Include
|
|
|
Initial
|
|
|
InOut
|
|
|
Input
|
|
|
Inside
|
|
|
Instance
|
|
|
Int
|
|
|
Integer
|
|
|
Interface
|
|
|
InterSect
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
Join
|
|
|
Join_any
|
|
|
Join_none
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
Large
|
|
|
LibList
|
|
|
Library
|
|
|
Local
|
|
|
LocalParam
|
|
|
Logic
|
|
|
LongInt
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
MacroModule
|
|
|
Matches
| |
|
Medium
|
|
|
ModPort
|
|
|
Module
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
NAND
|
|
|
NegEdge
|
|
New
|
|
NMOS
|
|
NOR
|
|
NoShowCancelled
|
|
NOT
|
|
NotIf0
|
|
NotIf1
|
|
NULL
|
Back to Alphabetical Reference
|
|
|
|
Or
|
|
Output
|
Back to Alphabetical Reference
|
|
|
|
Package
|
|
Packed
|
|
Parameter
|
|
PMOS
|
|
PosEdge
|
|
Primitive
|
|
Priority
|
|
Program
|
|
Property
|
|
Protected
|
|
Pull0
|
|
Pull1
|
|
PullDown
|
|
PullUp
|
|
PulseStyle_OnEvent
|
|
PulseStyle_OnDetect
|
|
Pure
|
Back to Alphabetical Reference
|
|
|
|
|
|
Back to Alphabetical Reference
|
|
|
|
Rand
|
|
RandC
|
|
RandCase
|
|
RandSequence
|
|
RCMOS
|
|
Real
|
|
RealTime
|
|
Ref
|
|
Reg
|
|
Release
|
|
Repeat
|
|
Return
|
|
RNMOS
|
|
RPMOS
|
|
RTran
|
|
RTranIf0
|
|
RTranIf1
|
Back to Alphabetical Reference
|
|
|
|
Scalared
|
|
Sequence
|
|
ShortInt
|
|
ShortReal
|
|
ShowCancelled
|
|
Signed
|
|
Small
|
|
Solve
|
|
Specify
|
|
SpecParam
|
|
Static
|
|
String
|
|
Strons0
|
|
Strong1
|
|
Struct
|
|
Super
|
|
Supply0
|
|
Supply1
|
Back to Alphabetical Reference
|
|
|
|
Table
|
|
Tagged
|
|
Task
|
|
This
|
|
Throughout
|
|
Time
|
|
TimePrecision
|
|
TimeUnit
|
|
Tran
|
|
TranIf0
|
|
TranIf1
|
|
Tri
|
|
Tri0
|
|
Tri1
|
|
TriAnd
|
|
TriOr
|
|
TriReg
|
|
Type
|
|
TypeDef
|
Back to Alphabetical Reference
|
|
|
|
Union
|
|
Unique
|
|
Unsigned
|
|
Use
|
|
Uwird
|
Back to Alphabetical Reference
|
|
|
|
Var
|
|
Vectored
|
|
Virtual
|
|
Void
|
Back to Alphabetical Reference
|
|
|
|
W
|
|
W
|
|
W
|
|
W
|
|
W
|
|
W
|
|
W
|
|
W
|
|
W
|
|
W
|
|
W
|
Back to Alphabetical Reference
|
|
|
|
XNOR
|
|
XOR
|
Back to Alphabetical Reference
|
|
|
|
|
|
Back to Alphabetical Reference
|
|
|
|
|
|
|