Subversion Repositories vhld_tb

DEFINE_VAR ADDR x01000

DEFINE_VAR DATA 0

DEFINE_VAR CONTROL 0

DEFINE_VAR CONFIG  1

DEFINE_VAR ENABLE  1

DEFINE_VAR OPEN_FILE_TRIGGER 3

DEFINE_VAR RANDOM 1

DEFINE_VAR LOAD_FROM_FILE 2

DEFINE_VAR USER 3

RESET_SYS

WRITE_STM $CONTROL $ENABLE

REQUEST

WRITE_STM $CONFIG $RANDOM

REQUEST

SET_FN  "data.dat

WRITE_STM $CONTROL $OPEN_FILE_TRIGGER

WRITE_STM $CONFIG $LOAD_FROM_FILE

REQUEST

REQUEST

LOOP 128

  WRITE_STM $ADDR $DATA

  ADD_VAR DATA x011

  ADD_VAR ADDR 1

END_LOOP

WRITE_STM $ADDR $DATA  -- out of bounds write

WRITE_STM $CONFIG $USER

REQUEST

TEST_INST $DATA

TEST_INST $DATA $DATA

TEST_INST $DATA $DATA $DATA

TEST_INST $DATA $DATA $DATA $DATA

TEST_INST $DATA $DATA $DATA $DATA $DATA

TEST_INST $DATA $DATA $DATA $DATA $DATA $DATA

TEST_INST

TEST_INST $DATA

TEST_INST $DATA $DATA $DATA $DATA $DATA $DATA $DATA

FINISH