A static microcode analysis tool for programmable load drivers | IEEE Conference Publication | IEEE Xplore