[MERGED] Verifying VHDL code

This topic has been merged into Hardware Verification/VHDL formalism for Arduino softcore.