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), 2012, İspanya, Proc. International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), 2012.

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