Login / Signup
Hybrid Approach to Faster Functional Verification with Full Visibility.
Chin-Lung Chuang
Wei-Hsiang Cheng
Dong-Jung Lu
Chien-Nan Jimmy Liu
Published in:
IEEE Des. Test Comput. (2007)
Keyphrases
</>
functional verification
memory efficient
parallel algorithm
formal verification