Masahiro Fujita

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere, Alessandro Cimatti, E. M. Clarke et al. · 1999 · 697 citations

Computing, Computer Engineering, Computer Science +16

Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation

Masahiro Fujita, Patrick C. McGeer, J.C.-Y. Yang · Formal Methods in System Design · 1997 · 392 citations

Architecture, Decision Sciences, Data Structures +6

Spectral transforms for large boolean functions with applications to technology mapping

E. M. Clarke, Kenneth L. McMillan, Xudong Zhao et al. · 1993 · 277 citations

Engineering, Computer Engineering, Computer Science +15

Evaluation and improvement of Boolean comparison method based on binary decision diagrams

Masahiro Fujita, Hisanori Fujisawa, Nobuaki Kawato · 2003 · 271 citations

Engineering, Computer Engineering, Computer Science +17

Power analysis and minimization techniques for embedded DSP software

Mike Tien-Chien Lee, Vivek Tiwari, Sharad Malik et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1997 · 271 citations

Engineering, Computer Engineering, Computer Science +17