System validation by source level emulation of behavioral VHDL specifications | IEEE Conference Publication | IEEE Xplore