Tasuku Nishihara

According to our database, Tasuku Nishihara authored at least 12 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Multi-Level Bounded Model Checking with Symbolic Counterexamples.

Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

2010

Performance Estimation with Automatic False-Path Detection for System-Level Designs.

Takeshi Matsumoto, Tasuku Nishihara, Masahiro Fujita

IPSJ Trans. Syst. LSI Des. Methodol., 2010

Synthesis and formal verification of on-chip protocol transducers through decomposed specification.

Masahiro Fujita, Hideo Tanida, Fei Gao, Tasuku Nishihara, Takeshi Matsumoto

Proceedings of the 11th International Symposium on Quality of Electronic Design (ISQED 2010), 2010

2009

Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath.

Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita

IEICE Trans. Inf. Syst., 2009

A Post-Silicon Debug Support Using High-Level Design Description.

Yeonbok Lee, Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita

Proceedings of the Eighteentgh Asian Test Symposium, 2009

2008

Multi-level Bounded Model Checking to detect bugs beyond the bound.

Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008

An Interactive Verification and Debugging Environment by Concrete/Symbolic Simulations for System-Level Designs.

Yoshihisa Kojima, Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita

Proceedings of the 17th IEEE Asian Test Symposium, 2008

2007

Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph.

Shunsuke Sasaki, Tasuku Nishihara, Daisuke Ando, Masahiro Fujita

J. Univers. Comput. Sci., 2007

Development and Verification of a Collaborative Printing Environment.

Takeshi Matsumoto, Daisuke Ando, Tasuku Nishihara, Masahiro Fujita

Proceedings of the Fifth International Conference on Creating, 2007

2006

Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis.

Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

System LSI distributed collaborative design environment for both designers and CAD developers/engineers.

Masahiro Fujita, Tasuku Nishihara, Daisuke Ando

Proceedings of the Fourth International Conference on Creating, 2006

2005

Slicing-based Hardware/Software Co-design Methodology From Functional Specifications.

Shunsuke Sasaki, Tasuku Nishihara, Masahiro Fujita

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005