Pro. Masahiro Fujita from Tokyo University visited our lab

Fujita's talk
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.

Dr. Yunshan Zhu Visited Our Lab on September 5

Dr. Yunshan Zhu was NextOp(纳拓)’s President & CEO, and was supervised by Prof. Ed Clarke. We have discussed the future cooperation and projects.