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