Masahiro Fujita

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere and others (1999) · ACM

Program Slicing of Hardware Description Languages

Edmund M. Clarke and others (1999) · School of Computer Science, Carnegie Mellon University

Hardware verification based on HDL sources

Masahiro Fujita (1987) · Hardware Description Languages · Elsevier Science Publishers (North Holland)