M
M. Fujita
Publications - 1
Citations - 39
M. Fujita is an academic researcher. The author has contributed to research in topics: Model checking & Formal verification. The author has an hindex of 1, co-authored 1 publications receiving 39 citations.
Papers
More filters
Proceedings ArticleDOI
Bug identification of a real chip design by symbolic model checking
B. Chen,M. Yamazaki,M. Fujita +2 more
TL;DR: This work shows how it has successfully identified the bug of a real chip by using formal verification techniques, specifically CTL symbolic model checking, and demonstrates several approaches including abstraction, which make it possible to apply symbolic model Checking methods.