Development of a test environment for pre- and post-synthesis verification of correct VHDL description of core processor systems | IEEE Conference Publication | IEEE Xplore