Tomoya Kitai

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Publications

Tomoya Kitai, Tomohiro Yoneda, Chris J. Myers
Failure Trace Analysis of Timed Circuits for Automatic Timing Constraints Derivation. IEICE Trans. Inf. Syst. (11) (2005)
Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers
Automatic Derivation of Timing Constraints by Failure Analysis. CAV (2002)
Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers
Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. PRDC (2002)
Tomoya Kitai, Tomohiro Yoneda
Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits. PRDC (2001)