C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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