Login / Signup

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