[IEEE 2005 42nd Design Automation Conference - Anaheim, CA, USA (2005.06.13-2005.06.17)] Proceedings. 42nd Design Automation Conference, 2005. - Word level predicate abstraction and refinement for verifying RTL Verilog
Himanshu Jain,, Kroening, D., Sharygina, N., Clarke, E.Year:
2005
Language:
english
DOI:
10.1109/dac.2005.193850
File:
PDF, 1.29 MB
english, 2005