Automatic test program generation from RT-level microprocessor descriptions | IEEE Conference Publication | IEEE Xplore