HK386: an x86-compatible 32-bit CISC microprocessor | IEEE Conference Publication | IEEE Xplore