Login / Signup
Sequential equivalence checking between system level and RTL descriptions.
Shobha Vasudevan
Vinod Viswanath
Jacob A. Abraham
Jiajin 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