Pro. Masahiro Fujita from Tokyo University visited our lab
Professor Fujita gave a talk about his research:
- Hardware synthesis and complete verification with small numbers of test vectors.
- Program code clone detection and its application to equivalence checking.