Sağlamdemir, Muharrem Orkun.
(Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2018., 2018.)
We propose methodologies for checking the equivalence of analog and digital Simulink models and their low level implementations. For digital methodology, we develop a flow utilizing commonly used tools used in digital ...