M
Masahiro Fujita
Researcher at University of Tokyo
Publications - 389
Citations - 4106
Masahiro Fujita is an academic researcher from University of Tokyo. The author has contributed to research in topics: Formal verification & Debugging. The author has an hindex of 29, co-authored 371 publications receiving 3890 citations. Previous affiliations of Masahiro Fujita include University of Aizu & Fujitsu.
Papers
More filters
Journal ArticleDOI
Multi-Terminal Binary Decision Diagrams: An Efficient DataStructure for Matrix Representation
TL;DR: It is demonstrated that binary decision diagrams are an efficient representation for every special-case matrix in common use, notably sparse matrices, and that complete pivoting is no more difficult over these matrices than partial pivoting.
Journal ArticleDOI
Spectral Transforms for Large Boolean Functions withApplications to Technology Mapping
TL;DR: This paper shows how to compute concise representations of the Walsh transform for functions with several hundred variables and obtains a speed up of as much as 50% for the matching phase.
Book ChapterDOI
Program Slicing of Hardware Description Languages
Edmund M. Clarke,Masahiro Fujita,Sreeranga P. Rajan,Thomas Reps,Subash Shankar,Subash Shankar,Tim Teitelbaum +6 more
TL;DR: An overview of program slicing, a discussion of how to slice VHDL programs, a description of the resulting tool, and a brief overview of some applications and experimental results are provided.
Proceedings ArticleDOI
Advanced Verification Techniques Based on Learning
TL;DR: This work presents a verification method which employs a learning technique based on symbolic manipulation and which can more efficiently learn indirect implications, and a framework in which an indirect implication technique is integrated with an OBDD based verification tool.
Journal ArticleDOI
Variable ordering algorithms for ordered binary decision diagrams and their evaluation
TL;DR: The results of experiments in variable ordering using an experimentally practical algorithm are presented, which is basically a depth-first traversal through a circuit from the output to the inputs.