Personal information

No personal information available

Activities

Employment (1)

University of Tokyo: Tokyo, JP

Employment
Source: Self-asserted source
Masahiro Fujita

Works (21)

RefSCAT: Formal Verification of Logic-Optimized Multipliers via Automated Reference Multiplier Generation and SCA-SAT Synergy

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2025-02 | Journal article
Contributors: Rui Li; Lin Li; Heng Yu; Masahiro Fujita; Weixiong Jiang; Yajun Ha
Source: check_circle
Crossref

Breaking the Barriers of One-to-One Usage of Implicit Neural Representation in Image Compression: A Linear Combination Approach With Performance Guarantees

IEEE Internet of Things Journal
2024 | Journal article
Contributors: Sai Sanjeet; Seyyedali Hosseinalipour; Jinjun Xiong; Masahiro Fujita; Bibhu Datta Sahoo
Source: check_circle
Crossref

Parallelizing Quantum Simulation With Decision Diagrams

IEEE Transactions on Quantum Engineering
2024 | Journal article
Contributors: Shaowen Li; Yusuke Kimura; Hiroyuki Sato; Masahiro Fujita
Source: check_circle
Crossref

FPGA Codec System of Learned Image Compression With Algorithm-Architecture Co-Optimization

IEEE Journal on Emerging and Selected Topics in Circuits and Systems
2024-06 | Journal article
Contributors: Heming Sun; Qingyang Yi; Masahiro Fujita
Source: check_circle
Crossref

Bidirectional LSTM Model for Accurate and Real-Time Landslide Detection: A Case Study in Mawiongrim, Meghalaya, India

IEEE Internet of Things Journal
2024-02-01 | Journal article
Contributors: J. Sharailin Gidon; Jintu Borah; Smrutirekha Sahoo; Shubhankar Majumdar; Masahiro Fujita
Source: check_circle
Crossref

Noise Resilience of Reduced Precision Neural Networks

2023-06-14 | Conference paper
Contributors: Sai Sanjeet; Sannidhi Boppana; Bibhu Datta Sahoo; Masahiro Fujita
Source: check_circle
Crossref

Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2023-04 | Journal article
Contributors: Jitendra Kumar; Yukio Miyasaka; Asutosh Srivastava; Masahiro Fujita
Source: check_circle
Crossref

Energy-Efficient FPGA Implementation of Power-of-2 Weights-Based Convolutional Neural Networks With Low Bit-Precision Input Images

IEEE Transactions on Circuits and Systems II: Express Briefs
2023-02 | Journal article
Contributors: Sai Sanjeet; Bibhu Datta Sahoo; Masahiro Fujita
Source: check_circle
Crossref

Scalable Construction of Formal Error Guaranteed LUT-Based Approximate Multipliers with Analytical Worst-Case Error Bound

2022 | Book chapter
Contributors: Anishetti Venkatesh; Chandan Kumar Jha; G. U. Vinod; Masahiro Fujita; Virendra Singh
Source: check_circle
Crossref

Synthesis of LUT Based Approximating Adder Circuits with Formal Error Guarantees

2022 | Book chapter
Contributors: Pooja Choudhary; Lava Bhargava; Masahiro Fujita; Virendra Singh
Source: check_circle
Crossref

Aries: A Semiformal Technique for Fine-Grained Bug Localization in Hardware Designs

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2022-12 | Journal article
Contributors: Binod Kumar; V. S. Vineesh; Puneet Nemade; Masahiro Fujita
Source: check_circle
Crossref

BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
2022-11 | Journal article
Contributors: Ying Zhang; Yi Ding; Zebo Peng; Huawei Li; Masahiro Fujita; Jianhui Jiang
Source: check_circle
Crossref

High-Precision Sub-Nyquist Sampling System Based on Modulated Wideband Converter for Communication Device Testing

IEEE Transactions on Circuits and Systems I: Regular Papers
2022-01 | Journal article
Contributors: Zolboo Byambadorj; Koji Asami; Takahiro J. Yamaguchi; Akio Higo; Masahiro Fujita; Tetsuya Iizuka
Source: check_circle
Crossref

Enhanced Design Debugging With Assistance From Guidance-Based Model Checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2021-05 | Journal article
Contributors: V. S. Vineesh; Binod Kumar; Rushikesh Shinde; Neelam Sharma; Masahiro Fujita; Virendra Singh
Source: check_circle
Crossref

Design of Single-Bit Fault-Tolerant Reversible Circuits

IEEE Design & Test
2021-04 | Journal article
Contributors: Hari M. Gaur; Ashutosh K. Singh; Anand Mohan; Masahiro Fujita; Dhiraj K. Pradhan
Source: check_circle
Crossref

SAT-Based On-Track Bus Routing

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2021-04 | Journal article
Contributors: He-Teng Zhang; Masahiro Fujita; Chung-Kuan Cheng; Jie-Hong R. Jiang
Source: check_circle
Crossref

A Calibration Technique for Simultaneous Estimation of Actual Sensing Matrix Coefficients on Modulated Wideband Converters

IEEE Transactions on Circuits and Systems I: Regular Papers
2020-12 | Journal article
Contributors: Zolboo Byambadorj; Koji Asami; Takahiro J. Yamaguchi; Akio Higo; Masahiro Fujita; Tetsuya Iizuka
Source: check_circle
Crossref

An Automatic Test Pattern Generation Method for Multiple Stuck-At Faults by Incrementally Extending the Test Patterns

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2020-10 | Journal article
Contributors: Peikun Wang; Amir Masoud Gharehbaghi; Masahiro Fujita
Source: check_circle
Crossref

A Methodology to Capture Fine-Grained Internal Visibility During Multisession Silicon Debug

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
2020-04 | Journal article
Contributors: Binod Kumar; Jay Adhaduk; Kanad Basu; Masahiro Fujita; Virendra Singh
Source: check_circle
Crossref

Post-Silicon Gate-Level Error Localization With Effective and Combined Trace Signal Selection

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2020-01 | Journal article
Contributors: Binod Kumar; Kanad Basu; Masahiro Fujita; Virendra Singh
Source: check_circle
Crossref

Theoretical Analysis of Noise Figure for Modulated Wideband Converter

IEEE Transactions on Circuits and Systems I: Regular Papers
2020-01 | Journal article
Contributors: Zolboo Byambadorj; Koji Asami; Takahiro J. Yamaguchi; Akio Higo; Masahiro Fujita; Tetsuya Iizuka
Source: check_circle
Crossref