[Seminar] LEC : Learning Driven Data-path Equivalence Checking by Dr.Jiang Long