Tasuku Nishihara

12 papers Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2011 J jnl
Multi-Level Bounded Model Checking with Symbolic Counterexamples.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
2010 J jnl
Performance Estimation with Automatic False-Path Detection for System-Level Designs.
IPSJ Trans. Syst. LSI Des. Methodol.
Takeshi Matsumoto, Tasuku Nishihara, Masahiro Fujita
2010 — conf
Synthesis and formal verification of on-chip protocol transducers through decomposed specification.
ISQED
Masahiro Fujita, Hideo Tanida, Fei Gao, Tasuku Nishihara, Takeshi Matsumoto
2009 — conf
A Post-Silicon Debug Support Using High-Level Design Description.
Asian Test Symposium
Yeonbok Lee, Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
2009 J jnl
Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath.
IEICE Trans. Inf. Syst.
Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
2008 — conf
An Interactive Verification and Debugging Environment by Concrete/Symbolic Simulations for System-Level Designs.
ATS
Yoshihisa Kojima, Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
2008 — conf
Multi-level Bounded Model Checking to detect bugs beyond the bound.
HLDVT
Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
2007 — conf
Development and Verification of a Collaborative Printing Environment.
C5
Takeshi Matsumoto, Daisuke Ando, Tasuku Nishihara, Masahiro Fujita
2007 J jnl
Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph.
J. Univers. Comput. Sci.
Shunsuke Sasaki, Tasuku Nishihara, Daisuke Ando, Masahiro Fujita
2006 — conf
Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis.
HLDVT
Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
2006 — conf
System LSI distributed collaborative design environment for both designers and CAD developers/engineers.
C5
Masahiro Fujita, Tasuku Nishihara, Daisuke Ando
2005 — conf
Slicing-based Hardware/Software Co-design Methodology From Functional Specifications.
FSEN
Shunsuke Sasaki, Tasuku Nishihara, Masahiro Fujita