Analog ve karışık işaret tasarımların benzetimler üzerinden gözcü tabanlı doğrulaması

Bu tezde Analog ve Karışık İşaret (AKİ) sistemler için gözcü tabanlı doğrulama yöntembilimi incelenmiş ve gözcülerin analog özellikleri daha ifade edebeilmesi sağlanmıştır. Gözcü tabanlı doğrulama yöntemleri, ilk olarak sayısal tasarım ve yazılım alanları için geliştirildiği için analog özellikleri ifade etmekte yetersiz kalmaktadır. Bu yüzden, öncelikle analog işaretler için hale kavramını öne sürülmüştür. Haleler, analog işaretlerin çevresinde kabul edilebilir alanlar tanımlayarak analog karşılaştırmayı kolaylaştırmaktadır. İkinci olarak analog doğrulamada yaygın olarak kullanılan ölçümler ve devre çözümlemeleri AKİ gözcüleri ile bütünleştirilmiştir. Bu bütünleşme ile AKİ sistemler için tam ve birleşik bir doğrulama ortamı elde edilmiştir. Son olarak AMS-Verify aracı geliştirilmiş ve önerilen doğrulama çözümleri bu araç ile gerçeklenmiştir. Sunulan üç örnek tasarımda ise AKİ özellikler için gözcü formülleri yazılmış ve bu özellikler AMS-Verify aracı kullanılarak benzetimler üzerinden doğrulanmıştır.