 | 2009 |
|---|
| 5 |       | 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) |
| 2007 |
|---|
| 4 | | Takeshi Matsumoto,
Daisuke Ando,
Tasuku Nishihara,
Masahiro Fujita:
Development and Verification of a Collaborative Printing Environment.
C5 2007: 99-108 |
| 3 | | 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) |
| 2006 |
|---|
| 2 | | Masahiro Fujita,
Tasuku Nishihara,
Daisuke Ando:
System LSI distributed collaborative design environment for both designers and CAD developers/engineers.
C5 2006: 175-183 |
| 1 | | 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) |
