Tasuku Nishihara

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

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