- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j4 |      | Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita: Multi-Level Bounded Model Checking with Symbolic Counterexamples. IEICE Transactions 94-A(2): 696-705 (2011) |
| 2010 | ||
| c6 | | Masahiro Fujita, Hideo Tanida, Fei Gao, Tasuku Nishihara, Takeshi Matsumoto: Synthesis and formal verification of on-chip protocol transducers through decomposed specification. ISQED 2010: 515-523 |
| 2009 | ||
| j3 | | Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita: Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath. IEICE Transactions 92-D(5): 972-984 (2009) |
| c5 | | Yeonbok Lee, Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita: A Post-Silicon Debug Support Using High-Level Design Description. Asian Test Symposium 2009: 137-142 |
| 2008 | ||
| c4 | | Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita: Multi-level Bounded Model Checking to detect bugs beyond the bound. HLDVT 2008: 49-55 |
| 2007 | ||
| j2 | | Shunsuke Sasaki, Tasuku Nishihara, Daisuke Ando, Masahiro Fujita: Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph. J. UCS 13(13): 1972-2001 (2007) |
| c3 | | Takeshi Matsumoto, Daisuke Ando, Tasuku Nishihara, Masahiro Fujita: Development and Verification of a Collaborative Printing Environment. C5 2007: 99-108 |
| 2006 | ||
| j1 | | Shunsuke Sasaki, Tasuku Nishihara, Masahiro Fujita: Slicing-based Hardware/Software Co-design Methodology From Functional Specifications. Electr. Notes Theor. Comput. Sci. 159: 265-280 (2006) |
| c2 | | Masahiro Fujita, Tasuku Nishihara, Daisuke Ando: System LSI distributed collaborative design environment for both designers and CAD developers/engineers. C5 2006: 175-183 |
| c1 | | Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita: Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis. HLDVT 2006: 162-169 |
| 1 | Daisuke Ando | |
| 2 | Masahiro Fujita | |
| 3 | Fei Gao | |
| 4 | Yeonbok Lee | |
| 5 | Takeshi Matsumoto | |
| 6 | Shunsuke Sasaki | |
| 7 | Hideo Tanida |
Data released under the ODC-BY 1.0 license — See also our legal information page