Login / Signup

Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information.

Jian HuTun LiSikun Li
Published in: J. Circuits Syst. Comput. (2019)
Keyphrases
  • computer systems
  • information sharing
  • genetic algorithm
  • multimedia
  • keywords
  • domain knowledge
  • information extraction
  • higher level
  • formal specification
  • individual level