Havacılıkta donanım sertifikasyonu için universal verification methodology kullanımı ile field programmable gate array üzerinde vaka çalışması