MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Tomohiro Yoneda" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

Abstracted Instruction Cache of TITAC2 - As a Benchmark Circuit for Timed Asynchronous Circuit Verification
by Tomohiro Yoneda — 1999
… 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
by Tomohiro Yoneda — 1999 — Proc. of Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems
…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
by Tomohiro Yoneda — 2004 — In ASYNC 2004
…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
by Tomohiro Yoneda, Yusuke Oguro
…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
by Minoru Tomisaka, Tomohiro YONEDA — 1999 — IEICE Trans. Fundamentals
… 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
by Tomohiro Yoneda, Holger Schlingloff — 1992
…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
by Tomohiro Yoneda, Takashi Yoshikawa — 1996 — Proc. of Second International Symposium on Advanced Research in Asynchronous Circuits and Systems
…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
by Tomohiro Yoneda, Bernd-Holger Schlingloff — 1997 — In Costas Courcoubetis, editor, Computer Aided Verification
…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
by A Case Study, Tomohiro Yoneda — 1999
…Chapter 1 VERIFICATION OF ABSTRACTED INSTRUCTION CACHE OF TITAC2: A CASE STUDY Tomohiro Yoneda…
Add To MetaCart

Conformance and Mirroring for Timed System
by Bin Zhou, Bin Zhou, Tomohiro Yoneda, Tomohiro Yoneda, Bernd-holger Schlingloff, Bernd-holger Schlingloff — 2001
…Conformance and Mirroring for Timed System Bin Zhou, Tomohiro Yoneda and Bernd-Holger Schlingloff…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB