• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Hybrid Method for Equivalence Checking Between System Level and RTL.

Jian HuMinhui HuKuang ZhaoYun KangHaitao YangJie Cheng
Published in: J. Circuits Syst. Comput. (2022)
Keyphrases
  • hybrid method
  • hybrid algorithm
  • support vector machine
  • evolutionary methods
  • higher level
  • query answering
  • model based diagnosis