2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions.

Dan Zhu Tun Li Yang Guo Sikun Li

Published in: ISQED (2008)

Keyphrases

high level
higher level
learning algorithm
database
real time
information retrieval
multi agent systems
low level