[IEEE 2013 11th East-West Design and Test Symposium (EWDTS) - Rostov-on-Don, Russia (2013.09.27-2013.09.30)] East-West Design & Test Symposium (EWDTS 2013) - A probabilistic approach for counterexample generation to aid design debugging
Behnam, Payman, Sabaghian-Bidgoli, Hossein, Alizadeh, Bijan, Mohajerani, Kamyar, Navabi, ZainalabedinYear:
2013
Language:
english
DOI:
10.1109/ewdts.2013.6673083
File:
PDF, 205 KB
english, 2013