Keywords

Keywords

activate, and, as, assert, assume, automaton

bool, block, byname, bypos

case, char, clock, const

def, default, diagram

else, elsif, emit, end, enum, every, expr

false, fby, final, flatten, float, float32, float64, forl, foldi, forward, function

guarantee, group

if, initial, inline, int8, int16, int32, int64, integer

land, lnot, lor, lxor, lsl, lsr, last, let

map, mapfold, mapfoldi, map, mapi, match, merge, mod

node, not, numeric

of, or

pack, pre

restart, resume, returns, reverse

self, sensor, signed, specialize, state

then, transpose, true, type

uint8, uint16, uint32, uint64, unless, unsigned, until, use

var

when, where, window, wire, with

xor

Reserved words

The following keywords are unused but reserved (they cannot be used as identifiers in models)

abstract,

do

fby, final, foldw, foldwi, forwardi

imported, is

make, mapfoldw, mapfoldwi, mapw, mapwi

onreset, open

package, parameter, private, probe, public

repeat, repeati

sig, synchro

tel, times