Tasuku Nishihara

12 papers Journal 4Unranked 8

Year	Rank	Type	Title / 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

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz