dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Masahiro Fujita (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita: Multi-Level Bounded Model Checking with Symbolic Counterexamples. IEICE Transactions 94-A(2): 696-705 (2011)
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiro 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
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYeonbok Lee, Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita: A Post-Silicon Debug Support Using High-Level Design Description. Asian Test Symposium 2009: 137-142
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTasuku 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)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakeshi Matsumoto, Daisuke Ando, Tasuku Nishihara, Masahiro Fujita: Development and Verification of a Collaborative Printing Environment. C5 2007: 99-108
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShunsuke 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)
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiro Fujita, Tasuku Nishihara, Daisuke Ando: System LSI distributed collaborative design environment for both designers and CAD developers/engineers. C5 2006: 175-183
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShunsuke Sasaki, Tasuku Nishihara, Masahiro Fujita: Slicing-based Hardware/Software Co-design Methodology From Functional Specifications. Electr. Notes Theor. Comput. Sci. 159: 265-280 (2006)

Selection of 8 from 224 records - Masahiro Fujita has 247 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page