Master programming syntax, solve interactive challenges & run live code in Syntaxis Explore Arena →
Syntaxis
menu_book Course Curriculum (Verilog) expand_more
Modules & Nets
module input output wire reg logic parameter localparam module instantiation named port mapping generate
Combinational Logic
assign always @* always_comb blocking assignment ternary operator case casez casex caveat concatenation replication
Sequential Logic
always posedge nonblocking assignment always_ff synchronous reset asynchronous reset clock enable counter shift register edge detector register pipeline
Data & Operators
bit vector signed value part select indexed part select arithmetic operators logical operators bitwise operators reduction operators shift operators comparison operators
Procedural Control
if else for loop while loop repeat forever break continue function task automatic lifetime
Finite State Machines
state parameter enum state state register next-state combinational Moore FSM Mealy FSM default state recovery one-hot state output register transition condition
Testbenches
initial block delay control clock generation $display $monitor $finish test vector loop task stimulus $readmemh assert property
Advanced RTL
interface modport struct packed union packed typedef package import generate if generate for parameterized module signed arithmetic
Verilog / Procedural Control

if else

Learn if else in Verilog through a focused explanation, a dedicated construct-specific example, an engineering boundary, and a mastery check.

10 min read • Intermediate

if else is an atomic Verilog topic inside Procedural Control. This lesson focuses on how the if else construct is written, what it changes, and when it is the right tool.

Trace the example line by line. Identify the exact syntax for if else, the input state before it runs, and the resulting value, control flow, database state, hardware behavior, or runtime effect afterward. Neighboring lessons use different constructs rather than renamed copies of this one.

Topic-specific example

verilog-05-01-if-else.sv
verilog Try It Live 
always_comb begin if(sel) y=b; else y=a; end
Edge case / engineering note

For if else, test the boundary that belongs to this exact feature rather than a generic failure case. Check invalid or empty input, NULL/unknown state, numeric limits, transaction or exception behavior, synthesis/runtime constraints, ownership/permission rules, or backtracking/control-flow effects where they apply.

Content source & attribution
Original Syntaxis Content · Original Syntaxis Content

Lesson quizzes

if else Mastery Check →
← PREVIOUS
comparison operators
NEXT →
for loop