T
Tomohiro Yoneda
Researcher at National Institute of Informatics
Publications - 64
Citations - 544
Tomohiro Yoneda is an academic researcher from National Institute of Informatics. The author has contributed to research in topics: Asynchronous communication & Formal verification. The author has an hindex of 11, co-authored 64 publications receiving 518 citations. Previous affiliations of Tomohiro Yoneda include Graduate University for Advanced Studies.
Papers
More filters
Journal Article
CTL model checking of time petri nets using geometric regions
Tomohiro Yoneda,Hikaru Ryuba +1 more
Proceedings ArticleDOI
Verification of analog/mixed-signal circuits using labeled hybrid petri nets
TL;DR: A new model, labeled hybrid Petri nets (LHPNs), is developed to be capable of modeling such a heterogeneous set of components and an efficient zone-based state space exploration algorithm for LHPNs is presented.
Journal ArticleDOI
Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods
TL;DR: This paper presents two symbolic model checking algorithms for the verification of analog/mixed-signal circuits that utilizes binary decision diagrams while the second is a bounded model checker that uses a satisfiability modulo theory solver.
Proceedings ArticleDOI
Improving Dependability and Performance of Fully Asynchronous On-chip Networks
Masashi Imai,Tomohiro Yoneda +1 more
TL;DR: This paper proposes fully asynchronous on-chip networks which have improved tolerance against stuck-at-faults, aging degradation faults and transient faults, as well as potential of high performance.
Proceedings ArticleDOI
High level synthesis of timed asynchronous circuits
TL;DR: The experiments to synthesize a portion of a DCT circuit show that the proposed method can handle a nontrivial example and produce a smaller and faster circuit than a previous approach.