✦ LIBER ✦

[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) - Static analysis of HDL descriptions: Extracting models for verification

✍ Scribed by Kamkin, Alexander; Smolov, Sergey; Melnichenko, Igor

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 11th East-West Design and Tes

✍ Hahanov, V.I.; Hahanova, I.V.; Litvinova, E.I.; Chumachenko, S.V.; Priymak, A.; 📂 Article 📅 2013 🏛 IEEE ⚖ 480 KB

[IEEE 2013 11th East-West Design and Tes

✍ Hahanov, V.I.; Gus, O.A.; Ziarmand, A.; Umerah, Ngene Christopher; Arefjev, A. 📂 Article 📅 2013 🏛 IEEE ⚖ 206 KB

[IEEE 2013 11th East-West Design and Tes

✍ Matrosova, A.; Mitrofanov, E.; Singh, V. 📂 Article 📅 2013 🏛 IEEE ⚖ 163 KB

[IEEE 2013 11th East-West Design and Tes

✍ Moroz, Leonid; Mykytiv, Taras; Herasym, Martyn 📂 Article 📅 2013 🏛 IEEE ⚖ 173 KB

[IEEE 2013 11th East-West Design and Tes

✍ Gharibi, Wajeb; Hahanov, V.I.; Carlsson, Anders; Hahanova, I.V.; Filippenko, I.V 📂 Article 📅 2013 🏛 IEEE ⚖ 263 KB

[IEEE 2013 11th East-West Design and Tes

✍ Sadeghi-Kohan, Somayeh; Keshavarz, Shahrzad; Zokaee, Farzaneh; Farahmandi, Farim 📂 Article 📅 2013 🏛 IEEE ⚖ 134 KB