Vladimir Hahanov, Dong-Won Park, Olesya Guz, Aleksey Priymak. Verification and diagnosis of SoC HDL-code. In Vladimir Hahanov, Yervant Zorian, editors, 9th East-West Design & Test Symposium, EWDTS 2011, Sevastopol, Ukraine, September 9-12, 2011. pages 72-83, IEEE, 2011. [doi]
Abstract is missing.