[ACM Press the 2002 IEEE/ACM international conference - San Jose, California (2002.11.10-2002.11.14)] Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design - ICCAD '02 - Simplifying Boolean constraint solving for random simulation-vector generation
Yuan, Jun, Albin, Ken, Aziz, Adnan, Pixley, CarlYear:
2002
Language:
english
DOI:
10.1145/774572.774590
File:
PDF, 103 KB
english, 2002