Assertion based verification for analog and mixed-signal designs using simulations
Analog ve karışık işaret tasarımların benzetimler üzerinden gözcü tabanlı doğrulaması
- Tez No: 338840
- Danışmanlar: YRD. DOÇ. DR. FAİK BAŞKAYA, DOÇ. DR. ALPER ŞEN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Elektrik ve Elektronik Mühendisliği, Computer Engineering and Computer Science and Control, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2013
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 88
Özet
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.
Özet (Çeviri)
This thesis studies assertion based verification methodology for analog and mixed-signal (AMS) designs and improves analog expressiveness of assertions. Assertion based verification methodology is originally derived for digital domain, hence AMS assertion languages are inadequate to express all aspects of AMS designs. Therefore, we first introduce the halo concept for analog signals to formally express them with their tolerance and variation values in assertions. Haloes of analog signals define an effective region around these signals which help analog comparison. Second, we integrate measurements and circuit analyses into AMS assertions. These analyses are widely used verification techniques in conventional AMS verification. Their integration into assertions provide a complete and unified AMS verification methodology. Finally, we develop AMS-Verify, a flexible framework to verify AMS properties on simulations. AMS-Verify is able to express analog tolerances, measurements and circuit analyses. We validate our solutions in three case studies using AMS-Verify framework.
Benzer Tezler
- Reinforcement learning guided input generation for faster assertion-based verification
Daha hızlı bildirim tabanlı doğrulama için destekli öğrenme güdümlü girdi üretme
OĞUZ KEREM TURAL
Yüksek Lisans
İngilizce
2021
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET ALPER ŞEN
- Formal verification for I2C communication protocol in aerospace and aviation industries
Havacılık ve uzay endüstrilerinde I2C iletişim protokolünün formal doğrulaması
MERVE BERİK
Yüksek Lisans
İngilizce
2024
Elektrik ve Elektronik MühendisliğiÇankaya ÜniversitesiElektrik ve Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. YAHYA KEMAL BAYKAL
- Haber okuryazarlığı programı: İçerik tasarımı ve etkililiğinin değerlendirilmesi
News literacy curriculum: Content design and evaluation of its effectiveness
İPEK ŞENCAN
Doktora
Türkçe
2020
Bilgi ve Belge YönetimiHacettepe ÜniversitesiBilgi ve Belge Yönetimi Ana Bilim Dalı
DOÇ. DR. İREM SOYDAL ÖZTÜRK
- Verification of concurrent programs via refinement proofs
İyileştirme ispatları ile koşut-zamanlı programların doğrulanması
SÜHA ORHUN MUTLUERGİL
Doktora
İngilizce
2018
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKoç ÜniversitesiBilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı
PROF. DR. ATTİLA GÜRSOY
- Yeni milliyetçi ideoloji olarak ulusalcılık: İzmir örneği üzerinden ulusalcıların duygularının analizi
Ulusalcilik as a new nationalist ideology: Analysis of the emotions of ulusalcis through the case of Izmir
GÜNCE SABAH ERYILMAZ ERDAMAR
Doktora
Türkçe
2024
Siyasal BilimlerGalatasaray ÜniversitesiSiyaset Bilimi Ana Bilim Dalı
PROF. DR. HÜSEYİN ÖZGÜR ADADAĞ