{"id":2052,"date":"2015-09-08T15:35:04","date_gmt":"2015-09-08T06:35:04","guid":{"rendered":"http:\/\/www.waseda.jp\/fsci\/gips\/?p=2052"},"modified":"2025-12-11T10:39:12","modified_gmt":"2025-12-11T01:39:12","slug":"kimura-shinji","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/fsci\/gips\/other-en\/2015\/09\/08\/2052\/","title":{"rendered":"Professor KIMURA Shinji"},"content":{"rendered":"<p style=\"text-align: right;\"><a href=\"https:\/\/www.waseda.jp\/fsci\/gips\/other\/2015\/07\/16\/377\/\" target=\"_blank\" rel=\"noopener\">\u65e5\u672c\u8a9e\u7248\u306f\u3053\u3061\u3089\/Click here the Japanese version<\/a><\/p>\n<p>&nbsp;<\/p>\n<h3>Introduction<\/h3>\n<h3><\/h3>\n<div class=\"table-wrapper\"><table style=\"border-collapse: collapse; width: 100%;\" border=\"0\">\n<tbody>\n<tr>\n<td style=\"width: 76.5841%;\">\n<ul>\n<li>Dr. of Engineering (Kyoto University)<\/li>\n<li>I like to read books, especially mysteries. I would like to do the research and education with kindness, politeness and thoughtfulness.<\/li>\n<li><a href=\"https:\/\/w-rdb.waseda.jp\/html\/100000600_en.html\" target=\"_blank\" rel=\"noopener\">WASEDA University Researchers Database<\/a><\/li>\n<li><a href=\"https:\/\/shinji-kimura.w.waseda.jp\/index.html\" target=\"_blank\" rel=\"noopener\">Kimura laboratory website<\/a><\/li>\n<li>Email : shinji_kimura(at)waseda.jp\n<p>*Swap &#8220;(at)&#8221; with &#8220;@&#8221;<\/li>\n<\/ul>\n<\/td>\n<td style=\"width: 23.4159%;\"><a href=\"http:\/\/www.waseda.jp\/fsci\/gips\/assets\/uploads\/2015\/07\/05-2.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright  wp-image-380\" src=\"http:\/\/www.waseda.jp\/fsci\/gips\/assets\/uploads\/2015\/07\/05-2.jpg\" alt=\"05-2\" width=\"264\" height=\"373\" \/><\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table><\/div>\n<p>&nbsp;<\/p>\n<h3>Laboratory Introduction Video<\/h3>\n<p><iframe loading=\"lazy\" src=\"https:\/\/wcms.waseda.jp\/em\/68bea4d822223\" width=\"502\" height=\"336\" frameborder=\"0\" allowfullscreen=\"allowfullscreen\"><span data-mce-type=\"bookmark\" style=\"display: inline-block; width: 0px; overflow: hidden; line-height: 0;\" class=\"mce_SELRES_start\">\ufeff<\/span><span data-mce-type=\"bookmark\" style=\"display: inline-block; width: 0px; overflow: hidden; line-height: 0;\" class=\"mce_SELRES_start\"><\/span><\/iframe><\/p>\n<p>&nbsp;<\/p>\n<h3>Research<\/h3>\n<p><strong>High-level Verification Technologies<\/strong><\/p>\n<p>I have been working on the design and verification of VLSI systems from my graduate thesis on a design method of regular structural VLSI circuits. Verification means to show the correctness of the designs of VLSI systems, and is one of key issues because of the huge cost and the long time to implement VLSI chips. I think a method to show the correctness of VLSI designs by designing Java processor, voice recognizer and image recognition circuits.<\/p>\n<div class=\"table-wrapper\"><table style=\"border-collapse: collapse; width: 100%;\" border=\"0\">\n<tbody>\n<tr>\n<td style=\"width: 70.539%;\">\n<ul>\n<li>High-level Design and Verification<\/li>\n<li>Application Specific High-level Synthesis<\/li>\n<li>Hardware\/Software Codesign<\/li>\n<li>Dependable Computing<\/li>\n<\/ul>\n<p>&nbsp;<\/td>\n<td style=\"width: 29.461%;\"><a href=\"http:\/\/www.waseda.jp\/fsci\/gips\/assets\/uploads\/2015\/09\/05ch.gif\"><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-2086 alignright\" src=\"http:\/\/www.waseda.jp\/fsci\/gips\/assets\/uploads\/2015\/09\/05ch.gif\" alt=\"05ch\" width=\"367\" height=\"551\" \/><\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table><\/div>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u65e5\u672c\u8a9e\u7248\u306f\u3053\u3061\u3089\/Click here the Japanese version &nbsp; Introduction Dr. of Engineering (Kyoto University) I like to r [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[97],"tags":[],"class_list":["post-2052","post","type-post","status-publish","format-standard","hentry","category-other-en","lang-ja"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/fsci\/gips\/wp-json\/wp\/v2\/posts\/2052","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.waseda.jp\/fsci\/gips\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.waseda.jp\/fsci\/gips\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/gips\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/gips\/wp-json\/wp\/v2\/comments?post=2052"}],"version-history":[{"count":2,"href":"https:\/\/www.waseda.jp\/fsci\/gips\/wp-json\/wp\/v2\/posts\/2052\/revisions"}],"predecessor-version":[{"id":33073,"href":"https:\/\/www.waseda.jp\/fsci\/gips\/wp-json\/wp\/v2\/posts\/2052\/revisions\/33073"}],"wp:attachment":[{"href":"https:\/\/www.waseda.jp\/fsci\/gips\/wp-json\/wp\/v2\/media?parent=2052"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/gips\/wp-json\/wp\/v2\/categories?post=2052"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/gips\/wp-json\/wp\/v2\/tags?post=2052"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}