"SD Formatter4.0 is official SD memory card format software.
It formats SD memory cards, SDHC memory cards and SDXC memory cards. Trendy provided the SD Formatter by request from SDA. Number of downloads from SDA web surpasses 2 millions in 2013."
Mac and Windows downloads available.
http://www.trendy.co.jp/sd/en/p_formatter.html