Searching for authors named "Tomohiro Yoneda" – sorted by Relevance.
-
Abstracted Instruction Cache of TITAC2 - As a Benchmark Circuit for Timed Asynchronous Circuit Verification
- Circuit for Timed Asynchronous Circuit Verification Tomohiro Yoneda TR99-0002 June Department
- Cited by 3 (3 self) – Add To MetaCart
-
Timed trace theoretic verification using partial order reduction
- Timed Trace Theoretic Verification Using Partial Order Reduction Tomohiro Yoneda Department
- Cited by 15 (7 self) – Add To MetaCart
-
Synthesis of speed independent circuits based on decomposition
- Synthesis of Speed Independent Circuits Based on Decomposition Tomohiro Yoneda National
- Cited by 5 (0 self) – Add To MetaCart
-
An Approach to Verification of Datapath Circuits
- An Approach to Verification of Datapath Circuits Tomohiro Yoneda Yusuke Oguro Department
- Add To MetaCart
-
Partial Order Reduction in Symbolic State Space Traversal Using ZBDDs
- in Symbolic State Space Traversal Using ZBDDs Minoru TOMISAKA +# , Nonmember and Tomohiro YONEDA + , Member
- Cited by 1 (0 self) – Add To MetaCart
-
On Model Checking for Petri Nets and a Linear-Time Temporal Logic
- On Model Checking for Petri Nets and a Linear-Time Temporal Logic Tomohiro Yoneda Tokyo Institute
- Cited by 3 (3 self) – Add To MetaCart
-
Using partial orders for trace theoretic verification of asynchronous circuits
- Using partial orders for trace theoretic verification of asynchronous circuits Tomohiro Yoneda
- Cited by 8 (6 self) – Add To MetaCart
-
Efficient Verification of Parallel Real-Time Systems
- Efficient Verification of Parallel Real--Time Systems Tomohiro Yoneda Tokyo Institute
- Cited by 42 (9 self) – Add To MetaCart
-
Verification Of Abstracted Instruction Cache of TITAC2: A Case Study
- Chapter 1 VERIFICATION OF ABSTRACTED INSTRUCTION CACHE OF TITAC2: A CASE STUDY Tomohiro Yoneda
- Add To MetaCart
-
Conformance and Mirroring for Timed System
- Conformance and Mirroring for Timed System Bin Zhou, Tomohiro Yoneda and Bernd-Holger Schlingloff
- Add To MetaCart

