Design of asynchronous MSP430 microprocessor using balsa back-end retargeting | IEEE Conference Publication | IEEE Xplore