Checker Generation of Assertions with Local Variables for Model Checking. - Sho Takeuchi; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (IPSJ Trans. Syst. LSI Des. Methodol., 2009)

A design method for single phase Z-source inverter. - Sho Takeuchi; Naoki Yamashita; Hirotaka Koizumi (ISCAS, 2014)