Masahiro Fujita

Verification techniques for system-level design