Malazgirt, G.A., Çulha, E., Şen, A., Başkaya, F., Yurdakul, A., “Static model checking based formal verification of automated RTL design”, 15th Euromicro Conference on Digital System Design, 2012, Çeşme, 2012.

Yayın Tarihi: 
Pazar, 1 Ocak, 2012
Yayın Indexi: 
Yayın Bölümü: 
Yayın Türü: