Basic VHDL tests conforming to IEC 61508 | IEEE Conference Publication | IEEE Xplore