Formal verification of data-path circuits based on symbolic simulation
Get full text
Conference Proceeding
Journal Article
DYNAMIC PRESSURE BEARING APPARATUS AND FAN
HIRONO TEIICHI, YONEDA TOMOHIRO, NODA SHINICHIRO, KIMURA AKIHIRO, HASEGAWA TOMOHIRO, SUGIYAMA TOMOTSUGU, FUJIMOTO MASAFUMI, IKEGAMI YOSHIHARU
Year of Publication 16.06.2016
Get full text
Year of Publication 16.06.2016
Patent
Fan
HIRONO TEIICHI, YONEDA TOMOHIRO, NODA SHINICHIRO, HASEGAWA TOMOHIRO, YOO SEUNGSIN, IKEGAMI YOSHIHARU, KABUNE KOUTA, MATSUMOTO SHUNJI
Year of Publication 17.05.2016
Get full text
Year of Publication 17.05.2016
Patent
Dynamic pressure bearing apparatus and fan
HIRONO TEIICHI, YONEDA TOMOHIRO, NODA SHINICHIRO, KIMURA AKIHIRO, HASEGAWA TOMOHIRO, SUGIYAMA TOMOTSUGU, FUJIMOTO MASAFUMI, IKEGAMI YOSHIHARU
Year of Publication 05.04.2016
Get full text
Year of Publication 05.04.2016
Patent
Dynamic pressure bearing apparatus and fan
HIRONO TEIICHI, YONEDA TOMOHIRO, NODA SHINICHIRO, KIMURA AKIHIRO, HASEGAWA TOMOHIRO, SUGIYAMA TOMOTSUGU, FUJIMOTO MASAFUMI, IKEGAMI YOSHIHARU
Year of Publication 02.12.2015
Get full text
Year of Publication 02.12.2015
Patent
DYNAMIC PRESSURE BEARING APPARATUS AND FAN
HIRONO TEIICHI, YONEDA TOMOHIRO, NODA SHINICHIRO, KIMURA AKIHIRO, HASEGAWA TOMOHIRO, SUGIYAMA TOMOTSUGU, FUJIMOTO MASAFUMI, IKEGAMI YOSHIHARU
Year of Publication 29.01.2015
Get full text
Year of Publication 29.01.2015
Patent
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
Little, S., Seegmiller, N., Walter, D., Myers, C., Yoneda, T.
Published in 2006 IEEE/ACM International Conference on Computer Aided Design (01.11.2006)
Published in 2006 IEEE/ACM International Conference on Computer Aided Design (01.11.2006)
Get full text
Conference Proceeding
A Dynamic Link-Width Optimization for Network-on-Chip
Daihan Wang, Koibuchi, M., Yoneda, T., Matsutani, H., Amano, H.
Published in 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2011)
Published in 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2011)
Get full text
Conference Proceeding
ILP-based Scheduling for Asynchronous Circuits in Bundled-Data Implementation
Saito, Hiroshi, Jindapetch, Nattha, Yoneda, Tomohiro, Myers, Chris, Nanya, Takashi
Published in The Sixth IEEE International Conference on Computer and Information Technology (CIT'06) (01.09.2006)
Published in The Sixth IEEE International Conference on Computer and Information Technology (CIT'06) (01.09.2006)
Get full text
Conference Proceeding