Search Algorithm for Optimal Synthesis of Decoder for RAMs with Error-Correcting Codes | IEEE Conference Publication | IEEE Xplore