Masahiro Fujita

Symbolic model checking using SAT procedures instead of BDDs

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

Theory Of Computing, Article Symbolic Model, Engineering +15

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 · 386 citations

Spectral transforms for large boolean functions with applications to technology mapping

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

Spectral Theory, Circuit Complexity, Engineering +19

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 · 269 citations

Power-aware Computing, Custom Dsp Processor, Engineering +15

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

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

Circuit Complexity, Engineering, Boolean Function +19