Equivalence checking of designs modeled in simulink implemented in low level


Tezin Türü: Doktora

Tezin Yürütüldüğü Kurum: Boğaziçi Üniversitesi, FEN BİLİMLERİ ENSTİTÜSÜ, Türkiye

Tezin Onay Tarihi: 2018

Öğrenci: MUHARREM ORKUN SAĞLAMDEMİR

Danışman: GÜNHAN DÜNDAR