SV
Structured procedures
initial
always
final
task
function
Block statements
begin-end ( sequential )
fork-join ( parallel )
Timing control
delay ( # )
event ( @ )
wait
Process threads and process control
wait fork
disable fork
begin [ : block_id ] { block_item_declaration } { statement_or_null }
end [ : block_id ]
block_item_declaraton :=
data_declaration | local_param | parameter | let