![](/img/cover-not-exists.png)
[IEEE 2010 IEEE International Conference on Computer Design (ICCD 2010) - Amsterdam, Netherlands (2010.10.3-2010.10.6)] 2010 IEEE International Conference on Computer Design - EQUIPE: Parallel equivalence checking with GP-GPUs
Chatterjee, Debapriya, Bertacco, ValeriaYear:
2010
Language:
english
DOI:
10.1109/iccd.2010.5647645
File:
PDF, 868 KB
english, 2010