• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Hybrid Approach to Faster Functional Verification with Full Visibility.

Chin-Lung ChuangWei-Hsiang ChengDong-Jung LuChien-Nan Jimmy Liu
Published in: IEEE Des. Test Comput. (2007)
Keyphrases
  • functional verification
  • memory efficient
  • parallel algorithm
  • formal verification