Vikipedi özgür ansiklopedi Bu madde öksüz maddedir zira herhangi bir maddeden bu maddeye verilmiş bir bağlantı yoktur Lü

Vikipedi ozgur ansiklopedi Bu madde oksuz maddedir zira herhangi bir maddeden bu maddeye verilmis bir baglanti yoktur Lutfen ilgili maddelerden bu sayfaya baglanti vermeye calisin Agustos 2022 Espresso mantik sadelestiricisi dijital mantik kapisi devrelerinin karmasikligini etkili bir sekilde azaltmak icin sezgisel ve ozel algoritmalar kullanan bir bilgisayar programidir Espresso IBM den Robert K Brayton tarafindan gelistirilmistir Richard L Rudell daha sonra 1986 da PLA Sentezi icin Cok Degerlikli Mantik Minimizasyonu basligi altinda Espresso MV varyantini yayinladi Espresso bircok turevine ilham vermistir Giris span Elektronik cihazlar birlesimleri gerekli gorevleri yerine getiren cok sayida dijital devre blogundan olusur Uretim maliyetlerini en aza indirmek veya bir cihazin performansini en ust duzeye cikarmak icin mantik fonksiyonlarinin mantik kapisi devreleri biciminde gerekenden daha cok mantik kapisi kullanilmadan verimli bir sekilde gerceklenmesi gerekir Dijital mantik devreleri tasarlama span Tum dijital sistemler iki temel fonksiyondan olusur bilgi depolayan bellek elemanlari ve bu bilgiyi donusturen kombinasyonel devreler Sayicilar gibi durum makineleri bellek elemanlarinin ve kombinasyonel mantik devrelerinin bir kombinasyonudur Bellek elemanlari standart mantik devreleri oldugundan sinirli sayida alternatif devre arasindan secilirler bu yuzden dijital fonksiyonlarin tasarimi kombinasyonel kapi devrelerinin tasarlanmasi ve birbirine baglanmasi ile ilgilidir Genel olarak yuksek seviyeli soyutlamadan mantik devrelerinin somutlastirilmasi mantik sentezi olarak adlandirilir ve elle gerceklestirilebilir ancak genellikle bilgisayar tarafindan bazi bicimsel usuller uygulanir Bu maddede kombinasyonel mantik devreleri icin tasarim yontemleri kisaca ozetlenmistir Bir dijital mantik devresinin tasarimi icin baslangic noktasi sistemin bir butun olarak analizinden elde edilecek ve mantik devresinin bir parcasi olacak istenilen islevselliktir Tanim bazi algoritmik formlarla veya mantik denklemleriyle ifade edilebilir bunlarin yani sira bir tablo seklinde de ozetlenebilir Asagidaki ornek ondalik hane degerleri icin ikili kodu ekranin ilgili bolumlerinin yanmasini saglayan sinyallere donusturen 7 segmentli bir ekran surucusune ait boyle bir tablonun bir bolumunu gostermektedir Rakam Kod Bolumler A B C D E F G 0 0000 1 1 1 1 1 1 0 A 1 0001 0 1 1 0 0 0 0 2 0010 1 1 0 1 1 0 1 F B 3 0011 1 1 1 1 0 0 1 4 0100 0 1 1 0 0 1 1 G 5 0101 1 0 1 1 0 1 1 6 0110 1 0 1 1 1 1 1 E C 7 0111 1 1 1 0 0 0 0 8 1000 1 1 1 1 1 1 1 D 9 1001 1 1 1 1 0 1 1 Gercekleme sureci ayri terimleri daha az degisken iceren daha buyuk terimlerle birlestirerek fonksiyon tablosunu basitlestirmek icin asagida tarif edilecek bir mantiksal minimizasyon asamasi ile baslar Daha sonra minimize edilmis sonuc bir carpanlara ayirma proseduru ile daha kucuk parcalara bolunebilir ve sonunda hedef teknolojinin mevcut temel mantik hucreleri uzerine eslestirilir Bu isleme genel olarak mantiksal optimizasyon denir Klasik minimizasyon yontemleri span Klasik Karnaugh haritalarini kullanarak Boole islevlerini elle sadelestirmek zahmetli sikici ve hataya meyilli bir surectir Altidan fazla giris degiskeni icin uygun degildir ve yalnizca dort degiskene kadar pratiktir coklu cikis islevleri icin carpim terimi paylasiminin gerceklestirilmesi ise daha da zordur Dahasi bu yontem bir bilgisayar programi seklinde otomatiklestirilmeye musait degildir Bununla birlikte modern mantik fonksiyonlari genellikle bu kadar az sayida degiskenle sinirlandirilmadigindan ve maliyet ile hata yapma riski mantik fonksiyonlarinin elle gerceklenmesinde engelleyici oldugundan bilgisayar kullanimi vazgecilmez hale gelmistir Populer hale gelen ilk alternatif yontem Willard Quine ve Edward McCluskey tarafindan gelistirilen tablo metoduydu Bir dizi mantik fonksiyonu icin dogruluk tablosundan baslayarak fonksiyonlarin aktif oldugu veya fonksiyon degerinin alakasiz oldugu farketmedigi mintermleri birlestirerek bir dizi asal implikant olusturulur Son olarak cikti fonksiyonlarinin gerceklestirilebilecegi en kucuk asal anlam kumesini bulmak icin sistematik bir prosedur izlenir Bu Quine McCluskey algoritmasi bir bilgisayar programinda uygulanmaya cok uygun olmasina ragmen sonuc isleme suresi ve bellek kullanimi acisindan hala verimli olmaktan uzaktir Isleve bir degisken eklemek hem islem suresini hem de bellek kullanimini kabaca ikiye katlayacaktir cunku dogruluk tablosu uzunlugu degisken sayisiyla katlanarak artar Bir kombinasyonel fonksiyon blogunun cikti fonksiyonlarinin sayisi arttirildiginda da benzer bir problem ortaya cikar Sonuc olarak Quine McCluskey yontemi yalnizca sinirli sayida girdi degiskeni ve cikti islevi olan islevler icin pratiktir Espresso algoritmasi span Kaliforniya Universitesi Berkeley de Brayton ve digerleri tarafindan gelistirilen Espresso algoritmasinda bu konuya farkli bir yaklasim izlenmistir Bir mantik fonksiyonunu mintermlere genisletmek yerine program urun terimlerini ON DC ve OFF kapaklarinda yinelemeli olarak temsil eden kupleri manipule eder Minimizasyon sonucunun global minimum olacagi garanti edilmese de pratikte buna cok yakin bir sekilde yaklasilirken cozum her zaman fazlalik icermez Diger yontemlerle karsilastirildiginda bu yontem esasen daha verimlidir bellek kullanimini ve hesaplama suresini birkac buyukluk derecesinde azaltir Adi aninda bir fincan taze kahve yapma seklini yansitir Bir kombinasyonel fonksiyon blogunun degisken sayisi cikti fonksiyonlari ve carpim terimlerinde neredeyse hic kisitlama yoktur Genel olarak ornegin onlarca cikti fonksiyonuna sahip onlarca degisken kolayca ele alinir Espresso icin girdi istenen islevselligin bir fonksiyon tablosudur sonuc ise secilen seceneklere bagli olarak islevin ACIK veya KAPALI oldugunu aciklayan simge durumuna kucultulmus bir tablodur Ontanimli olarak carpim terimleri birkac cikis islevi tarafindan mumkun oldugunca paylasilacaktir ancak programdan cikis islevlerinin her birini ayri ayri ele almasi istenebilir Bu bir PLA Programlanabilir Mantik Dizisi veya bir PAL Programlanabilir Mantik Dizisi gibi iki seviyeli mantik dizilerinde verimli uygulamaya olanak tanir Espresso algoritmasi o kadar basarili oldugunu kanitladi ki hemen hemen her turlu cagdas mantik sentez aracina standart bir mantik islevi sadelestirme adimi olarak dahil edildi Cok seviyeli mantikta bir fonksiyon gerceklemek icin minimizasyon sonucu carpanlara ayirma yoluyla optimize edilir ve ister alanda programlanabilir kapi dizisi FPGA ister uygulamaya ozel entegre devre ASIC olsun hedef teknolojideki mevcut temel mantik hucrelerine eslenir Yazilim span Espresso span Orijinal Espresso programi Kaliforniya Universitesi Berkeley web sitesinde C kaynak kodu olarak mevcuttur Son surumu 1988 tarihli 2 3 surumudur Modern POSIX sistemleri icin Espresso nun guncellenmis bir surumu olan Espresso ab ve eqntott esitlikten dogruluk tablosuna donusturucu programi Debian paketi deb biciminde ve C kaynak kodu olarak mevcuttur Son surum 2008 tarihli 9 0 surumudur Logic Friday span Logic Friday Espresso ya ve Berkeley Octtools paketindeki bir baska modul olan misII ye grafik arabirim saglayan ucretsiz bir Windows programidir Logic Friday ile kullanicilar bir mantik fonksiyonunu dogruluk tablosu denklem veya kapi diyagrami olarak girebilir fonksiyonu sadelestirebilir ve ardindan da sonuclari diger iki gosterimde goruntuleyebilir Son surumu 2012 tarihli 1 1 4 surumudur Minilog span Minilog Espresso algoritmasindan yararlanarak mantik minimizasyonu saglayan ucretsiz bir Windows programidir 40 a kadar giris ve cikisa sahip kombinasyonel fonksiyon blogu veya 256 duruma kadar senkronize durum makinesi icin iki seviyeli bir kapi gerceklemesi uretebilir Publicad egitim tasarim paketinin bir parcasidir Kaynakca span Konuyla ilgili yayinlar span Logic Synthesis for VLSI Design Electronics Research Laboratory College of Engineering University of California Berkeley USA April 1989 Espresso EXACT Funktionaler Entwurf digitaler Schaltungen Methoden und CAD Techniken Functional design of digital circuits Methods and CAD techniques Springer Lehrbuch Almanca Springer Verlag May 1993 ss 136 137 140 141 ISBN 9 783540 56788 2 3 540 56788 7 Kategoriler Elektronik devre simulatorleriElektronik tasarim otomasyonu yazilimlariGizli kategori Oksuz maddeler Agustos 2022