Getting Rid of False Errors when Verifying LSI Designs Including Non-Determinism Author(s): Matthieu Parizy and Hiroaki Iwashita Location: United States Year: 2011 Type: Paper Download