#!/bin/bash

wget "http://ati.ttu.ee/~rpi/IAF0620/PSL/FSM/dut/fsm.psl"
wget "http://ati.ttu.ee/~rpi/IAF0620/PSL/FSM/dut/fsm.vhd"
wget "http://ati.ttu.ee/~rpi/IAF0620/PSL/FSM/dut/fsm.tv"
wget "http://ati.ttu.ee/~rpi/IAF0620/PSL/FSM/dut/tb_fsm.vhd"
wget "http://ati.ttu.ee/~rpi/IAF0620/PSL/FSM/dut/run_sim.do"
