The openMSP430 is a synthesizable 16bit microcontroller core written in Verilog.