Login / Signup

Sequential equivalence checking between system level and RTL descriptions.

Shobha VasudevanVinod ViswanathJacob A. AbrahamJiajin Tu
Published in: Des. Autom. Embed. Syst. (2008)
Keyphrases
  • higher level
  • high level
  • lower level
  • neural network
  • image segmentation
  • multi agent
  • mobile robot
  • natural language descriptions