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.