Sağlamdemir, O., Şen, A., Dündar, G., “A formal equivalence checking methodology for simulink and register transfer level designs”, International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), İspanya, 2012.

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