[ACM Press the 42nd annual conference - San Diego, California, USA (2005.06.13-2005.06.17)] Proceedings of the 42nd annual conference on Design automation - DAC '05 - Dynamic abstraction using SAT-based BMC
Zhang, Liang, Prasad, Mukul R., Hsiao, Michael S., Sidle, ThomasYear:
2005
Language:
english
DOI:
10.1145/1065579.1065776
File:
PDF, 555 KB
english, 2005