| 2009 |
|---|
| 159 | EE | Hiroaki Yoshida,
Masahiro Fujita:
Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences.
ISQED 2009: 366-370 |
| 2008 |
|---|
| 158 | EE | Hiroaki Yoshida,
Masahiro Fujita:
Performance-Constrained Different Cell Count Minimization for Continuously-Sized Circuits.
DATE 2008: 1099-1102 |
| 157 | EE | Taro Takahashi,
Toshimitsu Tsuboi,
Takeo Kishida,
Yasunori Kawanami,
Satoru Shimizu,
Masatsugu Iribe,
Tetsuharu Fukushima,
Masahiro Fujita:
Adaptive grasping by multi fingered hand with tactile sensor based on robust force and position control.
ICRA 2008: 264-271 |
| 156 | | Masahiro Fujita,
Takeshi Matsumoto,
Hiroaki Yoshida:
A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams.
ICSOFT (SE/MUSE/GSDCA) 2008: 240-245 |
| 155 | EE | Ken'ichiro Nagasaka,
Atsushi Miyamoto,
Masakuni Nagano,
Hirokazu Shirado,
Tetsuharu Fukushima,
Masahiro Fujita:
Motion control of a virtual humanoid that can perform real physical interactions with a human.
IROS 2008: 2303-2310 |
| 154 | EE | Subash Shankar,
Masahiro Fujita:
Rule-Based Approaches for Equivalence Checking of SpecC Programs.
MEMOCODE 2008: 39-48 |
| 153 | EE | O. Sarbishei,
Bijan Alizadeh,
Masahiro Fujita:
Arithmetic Circuits Verification without Looking for Internal Equivalences.
MEMOCODE 2008: 7-16 |
| 152 | EE | Kenshu Seto,
Masahiro Fujita:
Custom Instruction Generation with High-Level Synthesis.
SASP 2008: 14-19 |
| 2007 |
|---|
| 151 | EE | Shigeru Watanabe,
Kenshu Seto,
Y. Ishikawa,
Satoshi Komatsu,
Masahiro Fujita:
Protocol Transducer Synthesis using Divide and Conquer approach.
ASP-DAC 2007: 280-285 |
| 150 | EE | Bijan Alizadeh,
Masahiro Fujita:
Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions.
ATVA 2007: 129-144 |
| 149 | EE | Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction.
ATVA 2007: 553-563 |
| 148 | EE | Takeshi Matsumoto,
Daisuke Ando,
Tasuku Nishihara,
Masahiro Fujita:
Development and Verification of a Collaborative Printing Environment.
C5 2007: 99-108 |
| 147 | EE | Shanghua Gao,
Kenshu Seto,
Satoshi Komatsu,
Masahiro Fujita:
Interconnect-aware Pipeline Synthesis for Array based Reconfigurable Architectures.
IESS 2007: 121-134 |
| 146 | EE | 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 |
|---|
| 145 | | Ken Matsui,
Masahiro Fujita:
Object-oriented analysis and specification for HW/SW co-design with UML diagrams.
ACST 2006: 38-43 |
| 144 | EE | Masahiro Fujita,
Tasuku Nishihara,
Daisuke Ando:
System LSI distributed collaborative design environment for both designers and CAD developers/engineers.
C5 2006: 175-183 |
| 143 | EE | Satoshi Komatsu,
Masahiro Fujita:
An optimization of bus interconnects pitch for low-power and reliable bus encoding scheme.
ISCAS 2006 |
| 142 | EE | Takeshi Matsumoto,
Hiroshi Saito,
Masahiro Fujita:
Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs.
ISQED 2006: 370-375 |
| 141 | EE | Masahiro Fujita,
Subash Shankar,
S. Shunsuke:
Equivalence checking: a rule-based approach.
MEMOCODE 2006: 197 |
| 140 | EE | Anmol Mathur,
Masahiro Fujita,
M. Balakrishnan,
Raj S. Mitra:
Sequential Equivalence Checking.
VLSI Design 2006: 18-19 |
| 139 | EE | 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) |
| 138 | EE | Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
Synchronization Verification in System-Level Design with ILP Solvers.
IEICE Transactions 89-A(12): 3387-3396 (2006) |
| 137 | EE | Yu Liu,
Satoshi Komatsu,
Masahiro Fujita:
The AMS Extension to System Level Design Language - SpecC.
IEICE Transactions 89-A(12): 3397-3407 (2006) |
| 136 | EE | Yu Liu,
Satoshi Komatsu,
Masahiro Fujita:
Synchronization Mechanism for Timed/Untimed Mixed-Signal System Level Design Environment.
IEICE Transactions 89-A(4): 1018-1026 (2006) |
| 135 | EE | David W. Currie,
Xiushan Feng,
Masahiro Fujita,
Alan J. Hu,
Mark Kwan,
Sreeranga P. Rajan:
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.
International Journal of Parallel Programming 34(1): 61-91 (2006) |
| 2005 |
|---|
| 134 | EE | Yu Liu,
Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
System level design language extensions for timed/untimed digital-analog combined system design.
ACM Great Lakes Symposium on VLSI 2005: 130-133 |
| 133 | EE | Masahiro Fujita:
Behavior-RTL Equivalence Checking Based on Data Transfer Analysis with Virtual Controllers and Datapaths.
CHARME 2005: 340-344 |
| 132 | EE | Yu Liu,
Satoshi Komatsu,
Masahiro Fujita:
AMS Extensions for Timed/Untimed System-Level Design Language.
FDL 2005: 77-81 |
| 131 | | Shanghua Gao,
Kenshu Seto,
Satoshi Komatsu,
Masahiro Fujita:
Pipeline Scheduling for Array Based Reconfigurable Architectures Considering Interconnect Delays.
FPT 2005: 137-144 |
| 130 | EE | Yosuke Bando,
Takahiro Saito,
Masahiro Fujita:
Hexagonal storage scheme for interleaved frame buffers and textures.
Graphics Hardware 2005: 33-40 |
| 129 | | Jens-Steffen Gutmann,
Masaki Fukuchi,
Masahiro Fujita:
A Floor and Obstacle Height Map for 3D Navigation of a Humanoid Robot.
ICRA 2005: 1066-1071 |
| 128 | EE | Jens-Steffen Gutmann,
Masaki Fukuchi,
Masahiro Fujita:
Real-Time Path Planning for Humanoid Robot Navigation.
IJCAI 2005: 1232-1237 |
| 127 | EE | Masahiro Fujita,
Shunsuke Sasaki,
Ken Matsui:
Object-oriented analysis and design of hardware/software co-designs with dependence analysis for design reuse.
IRI 2005: 318-325 |
| 126 | EE | Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
Synchronization verification in system-level design with ILP solvers.
MEMOCODE 2005: 121-130 |
| 125 | EE | Masahiro Fujita:
Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL.
MEMOCODE 2005: 241-242 |
| 124 | EE | Masahiro Fujita:
Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths.
ACM Trans. Design Autom. Electr. Syst. 10(4): 610-626 (2005) |
| 123 | EE | Satoshi Komatsu,
Masahiro Fujita:
Low Power and Fault Tolerant Encoding Methods for On-Chip Data Transfer in Practical Applications.
IEICE Transactions 88-A(12): 3282-3289 (2005) |
| 122 | EE | Takeshi Matsumoto,
Hiroshi Saito,
Masahiro Fujita:
An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences.
IEICE Transactions 88-A(12): 3315-3323 (2005) |
| 2004 |
|---|
| 121 | EE | Masahiro Fujita,
Takashi Kanai:
Precomputed Radiance Transfer with Spatially-Varying Lighting Effects.
CGIV 2004: 101-108 |
| 120 | EE | Fumihide Tanaka,
Kuniaki Noda,
Tsutomu Sawada,
Masahiro Fujita:
Associated Emotion and Its Expression in an Entertainment Robot QRIO.
ICEC 2004: 499-504 |
| 119 | EE | Yukiko Hoshino,
Tsuyoshi Takagi,
Ugo Di Profio,
Masahiro Fujita:
Behavior Description and Control using Behavior Module for Personal Robot.
ICRA 2004: 4165-4171 |
| 118 | EE | Indradeep Ghosh,
Rajarshi Mukherjee,
Mukul R. Prasad,
Masahiro Fujita:
High Level Design Validation: Current Practices and Future Directions.
VLSI Design 2004: 9-11 |
| 117 | EE | Masahiro Fujita:
Formal Verification of C Language Based VLSI Designs.
VLSI Design 2004: 93- |
| 2003 |
|---|
| 116 | EE | Rajesh K. Gupta,
Shishpal Rawat,
Sandeep K. Shukla,
Brian Bailey,
Daniel K. Beece,
Masahiro Fujita,
Carl Pixley,
John O'Leary,
Fabio Somenzi:
Formal verification - prove it or pitch it.
DAC 2003: 710-711 |
| 115 | EE | Edmund M. Clarke,
Masahiro Fujita,
David P. Gluch:
Model Checking for Dependable Software-Intensive Systems.
DSN 2003: 764 |
| 114 | EE | Masahiro Fujita,
Satoshi Komatsu,
Hiroshi Saito,
Kenshu Seto,
Thanyapat Sakunkonchak,
Yoshihisa Kojima:
Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies.
HICSS 2003: 279 |
| 113 | | Yoshihiro Kuroki,
Masahiro Fujita,
Tatsuzo Ishida,
Ken'ichiro Nagasaka,
Jin'ichi Yamaguchi:
A small biped entertainment robot exploring attractive applications.
ICRA 2003: 471-476 |
| 112 | EE | Masahiro Fujita,
Kohtaro Sabe,
Yoshihiro Kuroki,
Tatsuzo Ishida,
Toshi T. Doi:
SDR-4X II: A Small Humanoid as an Entertainer in Home Environment.
ISRR 2003: 355-364 |
| 111 | EE | Hiroshi Saito,
Kenshu Seto,
Yoshihisa Kojima,
Satoshi Komatsu,
Masahiro Fujita:
Engineering Changes in Field Modifiable Architectures.
MEMOCODE 2003: 87-94 |
| 110 | EE | Tohru Ishihara,
Satoshi Komatsu,
Makoto Ikeda,
Masahiro Fujita,
Kunihiro Asada:
Comparative Study On Verilog-Based And C-Based Hardware Design Education.
MSE 2003: 41-42 |
| 109 | EE | Tetsuro Ogi,
Toshio Yamada,
Michitaka Hirose,
Masahiro Fujita,
Kazuto Kuzuu:
High Presence Remote Presentation in the Shared Immersive Virtual World.
VR 2003: 289-290 |
| 108 | | Minoru Asada,
Oliver Obst,
Daniel Polani,
Brett Browning,
Andrea Bonarini,
Masahiro Fujita,
Thomas Christaller,
Tomoichi Takahashi,
Satoshi Tadokoro,
Elizabeth Sklar,
Gal A. Kaminka:
An Overview of RoboCup-2002 Fukuoka/Busan.
AI Magazine 24(2): 21-40 (2003) |
| 107 | EE | Ronald C. Arkin,
Masahiro Fujita,
Tsuyoshi Takagi,
Rika Hasegawa:
An ethological and emotional basis for human-robot interaction.
Robotics and Autonomous Systems 42(3-4): 191-201 (2003) |
| 2002 |
|---|
| 106 | EE | Thanyapat Sakunkonchak,
Masahiro Fujita:
Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams.
FORTE 2002: 369 |
| 105 | | Yoshihisa Kojima,
Hiroshi Saito,
Kenshu Seto,
Satoshi Komatsu,
Masahiro Fujita:
Field Modifiable Architecture and its Design Methodology: System Design Without Logic Synthesis.
IWLS 2002: 103-108 |
| 104 | | Hiroshi Saito,
Hiroshi Nakamura,
Masahiro Fujita,
Takashi Nanya:
Logic Optimization for Asynchronous SI Controllers using Transduction Method.
IWLS 2002: 245-250 |
| 103 | EE | Hiroshi Nakamura,
Takanori Arai,
Masahiro Fujita:
Formal Verification of a Pipelined Processor with New Memory.
PRDC 2002: 321-324 |
| 102 | EE | Masahiro Fujita:
Sony Four Legged Robot League at RoboCup 2002.
RoboCup 2002: 469-476 |
| 101 | EE | Hiroaki Yoshida,
Motohiro Sera,
Masao Kubo,
Masahiro Fujita:
Simultaneous Circuit Transformation and Routing.
VLSI Design 2002: 479-483 |
| 100 | | Rajarshi Mukherjee,
Jawahar Jain,
Koichiro Takayama,
Jacob A. Abraham,
Donald S. Fussell,
Masahiro Fujita:
Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table.
Formal Methods in System Design 21(1): 95-101 (2002) |
| 99 | EE | Edmund M. Clarke,
Masahiro Fujita,
Sreeranga P. Rajan,
Thomas W. Reps,
Subash Shankar,
Tim Teitelbaum:
Program slicing for VHDL.
STTT 4(1): 125-137 (2002) |
| 2001 |
|---|
| 98 | EE | Masahiro Fujita,
Gabriel Costa,
Rika Hasegawa,
Tsuyoshi Takagi,
Jun Yokono,
Hideki Shimomura:
Architecture and preliminary experimental results for emotionally grounded symbol acquisition.
Agents 2001: 35-36 |
| 97 | | Ronald C. Arkin,
Masahiro Fujita,
Tsuyoshi Takagi,
Rika Hasegawa:
Ethological Modeling and Architecture for an Entertainment Robot.
ICRA 2001: 453-458 |
| 96 | | Masahiro Fujita,
Hiroshi Nakamura:
The standard SpecC language.
ISSS 2001: 81-86 |
| 95 | | Wolfgang Rosenstiel,
Brian Bailey,
Masahiro Fujita,
Guang R. Gao,
Rajesh K. Gupta,
Preeti Ranjan Panda:
New design paradigms.
ISSS 2001: 94 |
| 94 | EE | Takashi Michikawa,
Takashi Kanai,
Masahiro Fujita,
Hiroaki Chiyokura:
Multiresolution Interpolation Meshes.
Pacific Conference on Computer Graphics and Applications 2001: 60-69 |
| 93 | EE | Masahiro Fujita:
AIBO: Toward the Era of Digital Creatures.
I. J. Robotic Res. 20(10): 781-794 (2001) |
| 92 | EE | Jawahar Jain,
Ingo Wegener,
Masahiro Fujita:
A Note on Complexity of OBDD Composition and Efficiency of Partitioned-OBDDs over OBDDs.
IEEE Trans. Computers 50(11): 1289-1290 (2001) |
| 91 | EE | Indradeep Ghosh,
Masahiro Fujita:
Automatic test pattern generation for functional register-transferlevel circuits using assignment decision diagrams.
IEEE Trans. on CAD of Integrated Circuits and Systems 20(3): 402-415 (2001) |
| 2000 |
|---|
| 90 | EE | Rajarshi Mukherjee,
Jawahar Jain,
Koichiro Takayama,
Masahiro Fujita:
Automatic partitioning for efficient combinatorial verification.
ASP-DAC 2000: 67-72 |
| 89 | EE | Indradeep Ghosh,
Masahiro Fujita:
Automatic test pattern generation for functional RTL circuits using assignment decision diagrams.
DAC 2000: 43-48 |
| 88 | EE | Yuan Lu,
Jawahar Jain,
Edmund M. Clarke,
Masahiro Fujita:
Efficient variable ordering using aBDD based sampling.
DAC 2000: 687-692 |
| 87 | EE | Gregory Hornby,
Seiichi Takamura,
Osamu Hanagata,
Masahiro Fujita,
Jordan B. Pollack:
Evolution of Controllers from a High-Level Simulator to a High DOF Robot.
ICES 2000: 80-89 |
| 86 | | Gregory Hornby,
Seiichi Takamura,
Jun Yokono,
Osamu Hanagata,
Takashi Yamamoto,
Masahiro Fujita:
Evolving Robust Gaits with AIBO.
ICRA 2000: 3040-3045 |
| 85 | | Masahiro Fujita:
Digital Creatures for Future Entertainment Robotics.
ICRA 2000: 801-806 |
| 84 | EE | Minoru Asada,
Andreas Birk,
Enrico Pagello,
Masahiro Fujita,
Itsuki Noda,
Satoshi Tadokoro,
Dominique Duhaut,
Peter Stone,
Manuela M. Veloso,
Tucker R. Balch,
Hiroaki Kitano,
Brian Thomas:
Progress in RoboCup Soccer Research in 2000.
ISER 2000: 363-372 |
| 83 | EE | Peter Stone,
Minoru Asada,
Tucker R. Balch,
Masahiro Fujita,
Gerhard K. Kraetzschmar,
Henrik Hautop Lund,
Paul Scerri,
Satoshi Tadokoro,
Gordon Wyeth:
Overview of RoboCup-2000.
RoboCup 2000: 1-28 |
| 82 | EE | Vamsi Boppana,
Indradeep Ghosh,
Rajarshi Mukherjee,
Jawahar Jain,
Masahiro Fujita:
Hierarchical Error Diagnosis Targeting RTL Circuits.
VLSI Design 2000: 436-441 |
| 81 | EE | Ankur Jain,
Vamsi Boppana,
Rajarshi Mukherjee,
Jawahar Jain,
Masahiro Fujita,
Michael S. Hsiao:
Testing, Verification, and Diagnosis in the Presence of Unknowns.
VTS 2000: 263-270 |
| 80 | | Masahiro Fujita,
Manuela M. Veloso,
William T. B. Uther,
Minoru Asada,
Hiroaki Kitano,
Vincent Hugel,
Patrick Bonnin,
Jean-Christophe Bouramoué,
Pierre Blazevic:
Vision, Strategy, and Localization Using the Sony Robots at .
AI Magazine 21(1): 47-56 (2000) |
| 1999 |
|---|
| 79 | EE | Vamsi Boppana,
Sreeranga P. Rajan,
Koichiro Takayama,
Masahiro Fujita:
Model Checking Based on Sequential ATPG.
CAV 1999: 418-430 |
| 78 | EE | Edmund M. Clarke,
Masahiro Fujita,
Sreeranga P. Rajan,
Thomas W. Reps,
Subash Shankar,
Tim Teitelbaum:
Program Slicing of Hardware Description Languages.
CHARME 1999: 298-312 |
| 77 | EE | Sreeranga P. Rajan,
Masahiro Fujita,
Ashok Sudarsanam,
Sharad Malik:
Development of an optimizing compiler for a Fujitsu fixed-point digital signal processor.
CODES 1999: 2-6 |
| 76 | EE | Armin Biere,
Alessandro Cimatti,
Edmund M. Clarke,
Masahiro Fujita,
Yunshan Zhu:
Symbolic Model Checking Using SAT Procedures instead of BDDs.
DAC 1999: 317-320 |
| 75 | EE | Vamsi Boppana,
Rajarshi Mukherjee,
Jawahar Jain,
Masahiro Fujita,
Pradeep Bollineni:
Multiple Error Diagnosis Based on Xlists.
DAC 1999: 660-665 |
| 74 | EE | Rajarshi Mukherjee,
Jawahar Jain,
Koichiro Takayama,
Masahiro Fujita,
Jacob A. Abraham,
Donald S. Fussell:
An Efficient Filter-Based Approach for Combinational Verification.
DATE 1999: 132-137 |
| 73 | EE | Rajeev Murgai,
Masahiro Fujita:
On Reducing Transitions Through Data Modifications.
DATE 1999: 82- |
| 72 | | Manuela M. Veloso,
Hiroaki Kitano,
Enrico Pagello,
Gerhard K. Kraetzschmar,
Peter Stone,
Tucker R. Balch,
Minoru Asada,
Silvia Coradeschi,
Lars Karlsson,
Masahiro Fujita:
Overview of RoboCup-99.
RoboCup 1999: 1-34 |
| 71 | | Rajeev Murgai,
Fumiyasu Hirose,
Masahiro Fujita:
Speeding Up Look-up-Table Driven Logic Simulation.
VLSI 1999: 385-397 |
| 70 | EE | Rajeev Murgai,
Jawahar Jain,
Masahiro Fujita:
Efficient Scheduling Techniques for ROBDD Construction.
VLSI Design 1999: 394-401 |
| 69 | EE | Ankur Jain,
Michael S. Hsiao,
Vamsi Boppana,
Masahiro Fujita:
On the Evaluation of Arbitrary Defect Coverage of Test Sets.
VTS 1999: 426-432 |
| 68 | EE | Rajarshi Mukherjee,
Jawahar Jain,
Koichiro Takayama,
Masahiro Fujita,
Jacob A. Abraham,
Donald S. Fussell:
An efficient filter-based approach for combinational verification.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(11): 1542-1557 (1999) |
| 67 | EE | Masahiro Fujita,
Hiroaki Kitano,
Koji Kageyama:
A reconfigurable robot platform.
Robotics and Autonomous Systems 29(2-3): 119-132 (1999) |
| 1998 |
|---|
| 66 | | Masahiro Fujita:
Model Checking: Its Basics and Reality (Embedded Tutorial).
ASP-DAC 1998: 217-222 |
| 65 | EE | Juan D. Velásquez,
Masahiro Fujita,
Hiroaki Kitano:
An Open Architecture of Remotion and Behavior Control of Autonomous Agents.
Agents 1998: 473-474 |
| 64 | EE | Masahiro Fujita,
Hiroaki Kitano,
Koji Kageyama:
Reconfigurable Physical Agents.
Agents 1998: 54-61 |
| 63 | EE | Rajeev Murgai,
Masahiro Fujita,
Arlindo L. Oliveira:
Using Complementation and Resequencing to Minimize Transitions.
DAC 1998: 694-697 |
| 62 | | Masahiro Fujita,
Sreeranga P. Rajan,
Alan J. Hu:
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol.
FM-Trends 1998: 281-295 |
| 61 | EE | Jawahar Jain,
William Adams,
Masahiro Fujita:
Sampling schemes for computing OBDD variable orderings.
ICCAD 1998: 631-638 |
| 60 | | Hiroaki Kitano,
Masahiro Fujita,
Stéphane Zrehen,
Koji Kageyama:
Sony Legged Robot for RoboCup Challenge.
ICRA 1998: 2605-2612 |
| 59 | EE | Vamsi Boppana,
Masahiro Fujita:
Modeling the unknown! Towards model-independent fault and error diagnosis.
ITC 1998: 1094- |
| 58 | EE | Masahiro Fujita,
Stéphane Zrehen,
Hiroaki Kitano:
A Quadruped Robot for RoboCup Legged Robot Challenge in Paris '98.
RoboCup 1998: 125-140 |
| 57 | EE | Sreeranga P. Rajan,
Masahiro Fujita:
Integration of High-Level Modeling, Formal Verification, and High-Level Synthesis in ATM Switch Design.
VLSI Design 1998: 552-557 |
| 56 | EE | Sreeranga P. Rajan,
Masahiro Fujita,
K. Yuan,
Mike Tien-Chien Lee:
ATM switch design by high-level modeling, formal verification and high-level synthesi.
ACM Trans. Design Autom. Electr. Syst. 3(4): 554-562 (1998) |
| 55 | | Masahiro Fujita,
Hiroaki Kitano:
Development of an Autonomous Quadruped Robot for Robot Entertainment.
Auton. Robots 5(1): 7-18 (1998) |
| 1997 |
|---|
| 54 | | Sreeranga P. Rajan,
Masahiro Fujita:
ATM Switch Design: Parametric High-Level Modeling and Formal Verification.
AMAST 1997: 437-450 |
| 53 | | Masahiro Fujita,
Koji Kageyama:
An Open Architecture for Robot Entertainment.
Agents 1997: 435-442 |
| 52 | EE | Rajat Aggarwal,
Rajeev Murgai,
Masahiro Fujita:
Speeding up technology-independent timing optimization by network partitioning.
ICCAD 1997: 83-90 |
| 51 | | Alan J. Hu,
Masahiro Fujita,
Chris Wilson:
Formal Verification of the HAL S1 System Cache Coherence Protocol.
ICCD 1997: 438-444 |
| 50 | | Jawahar Jain,
Amit Narayan,
Masahiro Fujita,
Alberto L. Sangiovanni-Vincentelli:
A Survey of Techniques for Formal Verification of Combinational Circuits.
ICCD 1997: 445-454 |
| 49 | | Masahiro Fujita,
Hiroaki Kitano,
Koji Kageyama:
A Legged Robot for RoboCup Based on "OPENR".
RoboCup 1997: 168-180 |
| 48 | EE | Jawahar Jain,
Amit Narayan,
Masahiro Fujita,
Alberto L. Sangiovanni-Vincentelli:
Formal Verification of Combinational Circuit.
VLSI Design 1997: 218-225 |
| 47 | EE | Rajeev Murgai,
Masahiro Fujita:
Some Recent Advances in Software and Hardware Logic Simulation.
VLSI Design 1997: 232-238 |
| 46 | | Masahiro Fujita,
Patrick C. McGeer:
Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams.
Formal Methods in System Design 10(2/3): 135-136 (1997) |
| 45 | | Edmund M. Clarke,
Kenneth L. McMillan,
Xudong Zhao,
Masahiro Fujita,
J. Yang:
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.
Formal Methods in System Design 10(2/3): 137-148 (1997) |
| 44 | | Masahiro Fujita,
Patrick C. McGeer,
Jerry Chih-Yuan Yang:
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation.
Formal Methods in System Design 10(2/3): 149-169 (1997) |
| 43 | EE | Mike Tien-Chien Lee,
Vivek Tiwari,
Sharad Malik,
Masahiro Fujita:
Power analysis and minimization techniques for embedded DSP software.
IEEE Trans. VLSI Syst. 5(1): 123-135 (1997) |
| 1996 |
|---|
| 42 | | Masahiro Fujita:
Verification of Arithmetic Circuits by Comparing Two Similar Circuits.
CAV 1996: 159-168 |
| 41 | EE | Mike Tien-Chien Lee,
Yu-Chin Hsu,
Ben Chen,
Masahiro Fujita:
Domain-Specific High-Level Modeling and Synthesis for ATM Switch Design Using VHDL.
DAC 1996: 585-590 |
| 40 | | Jawahar Jain,
Amit Narayan,
C. Coelho,
Sunil P. Khatri,
Alberto L. Sangiovanni-Vincentelli,
Robert K. Brayton,
Masahiro Fujita:
Decomposition Techniques for Efficient ROBDD Construction.
FMCAD 1996: 419-434 |
| 39 | EE | Amit Narayan,
Jawahar Jain,
Masahiro Fujita,
Alberto L. Sangiovanni-Vincentelli:
Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions.
ICCAD 1996: 547-554 |
| 38 | EE | Rajarshi Mukherjee,
Jawahar Jain,
Masahiro Fujita,
Jacob A. Abraham,
Donald S. Fussell:
On More Efficient Combinational ATPG Using Functional Learning.
VLSI Design 1996: 107-110 |
| 37 | EE | Amit Narayan,
Sunil P. Khatri,
Jawahar Jain,
Masahiro Fujita,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
A study of composition schemes for mixed apply/compose based construction of ROBDDs.
VLSI Design 1996: 249-253 |
| 36 | EE | Robert J. Carragher,
Chung-Kuan Cheng,
Xiao-Ming Xiong,
Masahiro Fujita,
Ramamohan Paturi:
Solving the net matching problem in high-performance chip design.
IEEE Trans. on CAD of Integrated Circuits and Systems 15(8): 902-911 (1996) |
| 1995 |
|---|
| 35 | EE | Jawahar Jain,
Rajarshi Mukherjee,
Masahiro Fujita:
Advanced Verification Techniques Based on Learning.
DAC 1995: 420-426 |
| 34 | EE | Edmund M. Clarke,
Masahiro Fujita,
Xudong Zhao:
Hybrid decision diagrams.
ICCAD 1995: 159-163 |
| 33 | EE | Rajeev Murgai,
Masahiro Fujita,
Fumiyasu Hirose:
Logic synthesis for a single large look-up table.
ICCD 1995: 415- |
| 32 | EE | Robert J. Carragher,
Masahiro Fujita,
Chung-Kuan Cheng:
Simple tree-construction heuristics for the fanout problem .
ICCD 1995: 671-679 |
| 31 | EE | Mike Tien-Chien Lee,
Vivek Tiwari,
Sharad Malik,
Masahiro Fujita:
Power analysis and low-power scheduling techniques for embedded DSP software.
ISSS 1995: 110-115 |
| 1994 |
|---|
| 30 | | Ben Chen,
Michihiro Yamazaki,
Masahiro Fujita:
Bug Identification of a Real Chip Design by Symbolic Model Checking.
EDAC-ETC-EUROASIC 1994: 132-136 |
| 29 | EE | Yutaka Tamiya,
Yusuke Matsunaga,
Masahiro Fujita:
LP based cell selection with constraints of timing, area, and power consumption.
ICCAD 1994: 378-381 |
| 28 | EE | Yuji Kukimoto,
Masahiro Fujita,
Robert K. Brayton:
A redesign technique for combinational circuits based on gate reconnections.
ICCAD 1994: 632-637 |
| 27 | | H. Sato,
Michihiro Yamazaki,
Masahiro Fujita:
YEPHCAD and FLORA: Logic Synthesis for Control and Datapath.
ICCD 1994: 527-530 |
| 26 | | Masahiro Fujita,
Jerry Chih-Yuan Yang,
Edmund M. Clarke,
Xudong Zhao,
Patrick C. McGeer:
Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams.
ISCAS 1994: 275-278 |
| 1993 |
|---|
| 25 | EE | Edmund M. Clarke,
Kenneth L. McMillan,
Xudong Zhao,
Masahiro Fujita,
J. Yang:
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.
DAC 1993: 54-60 |
| 24 | EE | Robert J. Carragher,
Chung-Kuan Cheng,
Masahiro Fujita:
An efficient algorithm for the net matching problem.
ICCAD 1993: 640-644 |
| 23 | | Masahiro Fujita,
Shinji Kono:
Synthesis of Controllers from Interval Temporal Logic Specification.
ICCD 1993: 242-245 |
| 22 | | T. Sakaguchi,
Masahiro Fujita,
Hiroshi Watanabe,
Fumio Miyazaki:
Motion Planning and Control for a Robot Performer.
ICRA (3) 1993: 925-931 |
| 21 | EE | Masahiro Fujita,
Hisanori Fujisawa,
Yusuke Matsunaga:
Variable ordering algorithms for ordered binary decision diagrams and their evaluation.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(1): 6-12 (1993) |
| 1992 |
|---|
| 20 | EE | Kuang-Chien Chen,
Masahiro Fujita:
Efficient Sum-to-One Subsets Algorithm for Logic Optimization.
DAC 1992: 443-448 |
| 19 | | Masahiro Fujita,
Yuji Kukimoto:
Patching Method for Lookup-Table Type FPLs.
FPL 1992: 61-70 |
| 18 | EE | Yuji Kukimoto,
Masahiro Fujita:
Rectification method for lookup-table type FPGA's.
ICCAD 1992: 54-61 |
| 17 | | Masahiro Fujita:
RTL Design Verification by Making Use of Datapath Information.
ICCD 1992: 592-597 |
| 1991 |
|---|
| 16 | EE | Kuang-Chien Chen,
Yusuke Matsunaga,
Saburo Muroga,
Masahiro Fujita:
A Resynthesis Approach for Network Optimization.
DAC 1991: 458-463 |
| 15 | | Masahiro Fujita,
Yutaka Tamiya,
Yuji Kukimoto,
Kuang-Chien Chen:
Application of Boolean Unification to Combinational Logic Synthesis.
ICCAD 1991: 510-513 |
| 14 | | Masahiro Fujita,
Yusuke Matsunaga:
Multi-Level Logic Minimization Based on Minimal Support and its Application to the Minimization of Look-Up Table Type FPGAs.
ICCAD 1991: 560-563 |
| 13 | | Kuang-Chien Chen,
Masahiro Fujita:
Concurrent Resynthesis for Network Optimization.
ICCD 1991: 44-48 |
| 12 | | Zhen-Ping Lo,
Masahiro Fujita,
Behnam Bavarian:
Analysis of Neighborhood Interaction in Kohonen Neural Networks.
IPPS 1991: 246-249 |
| 1990 |
|---|
| 11 | | Hiroshi Nakamura,
Yuji Kukimoto,
Masahiro Fujita,
Hidehiko Tanaka:
A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio.
CAV 1990: 76-85 |
| 10 | EE | Hitomi Sato,
Yoshihiro Yasue,
Yusuke Matsunaga,
Masahiro Fujita:
Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams.
DAC 1990: 284-289 |
| 9 | | Masahiro Fujita,
Yusuke Matsunaga,
Takeo Kakuda:
Automatic and Semi-Automatic Verification of Switch-Level Circuits with Temporal Logic and Binary Decision Diagrams.
ICCAD 1990: 38-41 |
| 8 | | Yusuke Matsunaga,
Masahiro Fujita,
Takeo Kakuda:
Multi-Level Logic Minimization Across Latch Boundaries.
ICCAD 1990: 406-409 |
| 1989 |
|---|
| 7 | | Hiroshi Nakamura,
Masaya Nakai,
Shinji Kono,
Masahiro Fujita,
Hidehiko Tanaka:
Logic Design Assistence Using Temporal Logic Based Language Tokio.
LP 1989: 174-183 |
| 1986 |
|---|
| 6 | | Masahiro Fujita,
Shinji Kono,
Hidehiko Tanaka,
Tohru Moto-Oka:
Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog.
ICLP 1986: 695-709 |
| 1985 |
|---|
| 5 | | T. Aoyagi,
Masahiro Fujita,
Tohru Moto-Oka:
Temporal Logic Programming Language Tokio - Programming in Tokio.
LP 1985: 128-137 |
| 4 | | Shinji Kono,
T. Aoyagi,
Masahiro Fujita,
Hidehiko Tanaka:
Implementation of Temporal Logic Programming Language Tokio.
LP 1985: 138-147 |
| 3 | | Masahiro Fujita,
Makoto Ishisone,
Hiroshi Nakamura,
Hidehiko Tanaka,
Tohru Moto-Oka:
Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis.
LP 1985: 246-255 |
| 1984 |
|---|
| 2 | | Masahiro Fujita,
Hidehiko Tanaka,
Tohru Moto-Oka:
Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog.
FGCS 1984: 572-581 |
| 1983 |
|---|
| 1 | | Masahiro Fujita,
Hidehiko Tanaka,
Tohru Moto-Oka:
Temporal Logic Based Hardware Description and Its Verification with Prolog.
New Generation Comput. 1(2): 195-203 (1983) |
