123
123
verilated.h to change the typedef to work, probably to @samp{typedef
124
124
unsigned long uint32_t;}.
127
127
set the environment variable VERILATOR_ROOT to point to this
128
128
distribution, then execute $VERILATOR_ROOT/bin/verilator, which will
129
129
find the path to all needed files.