Mantıksal Tasarım Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü.

... konulu sunumlar: "Mantıksal Tasarım Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü."— Sunum transkripti:

1 Mantıksal Tasarım Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

2 6.1. Yalın Bir Dizisel Devre : Seri Toplayıcı
 Dizisel devreler, şimdiki çıkışları yalnız şimdiki girişlerine bağlı olmayan; geçmiş girişlerin de şimdiki çıkışlar üzerinde etkisi olan devrelerdir.  Başka bir deyişle birleşimsel devreler geçmişi hatırlamayan, belleksiz devreler iken, dizisel devreleri geçmişi hatırlayan, bellekli devreler olarak tanımlamak mümkündür. 6.1. Yalın Bir Dizisel Devre : Seri Toplayıcı (A) …… (ai)  İkili Seri (si) …… (B) .. … (bi)  Toplayıcı Clock  t7 t6 t t4 t3 t2 t1 t0  Zaman (A) (B) + (A + B) Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

3 6.2. Durum Çizelgesi ve Durum Çizeneği
 Seri Toplayının Durum Çizelgesi ile Durum Çizeneği Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

4 6.3. Sonlu-Durumlu Özdevinir (Finite-StateAutomata) Modeli
 Zamanuyumlu dizisel devrelerin mantıksal yapısı, Sonlu-Durumlu Özdevinir ya da kısaca Sonlu Özdevinir (FA: Finite Automata) modeli ile gösterilebilir.  Sonlu Özdevinir bir beşli olarak tanımlanır: M = (I, O, S, , ) I : Giriş alfabesidir (sonlu bir küme) O : Çıkış alfabesidir (sonlu bir küme) S : Durumlar kümesidir (sonlu bir küme)  : Durum geçiş işlevidir. S x I’dan S’ye bir eşleme oluşturan bu işlev ile her durum (şimdiki durum) giriş simgesi çiftine bir durum (sonraki durum) eşlenir.  : Çıkış işlevidir  Sonlu özdevinir modelinin Mealy ve Moore modeli olarak adlandırılan 2 alt modeli vardır. Bu iki model çıkış işlevi ile birbirinden ayrılır. Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

5  Moore modelinde ise çıkış işlevi S’den O’ya bir eşlemedir.
 Mealy modelinde çıkış işlevi I x S’den O’ya bir eşlemedir. Mealy türü çıkışlar, durum geçişi sırasında saat vuruşu süresince üretilen, vuruş (pulse) türü çıkışlara karşı gelir.  Moore modelinde ise çıkış işlevi S’den O’ya bir eşlemedir. Moore türü çıkışlar, saat vuruşları arasında sabit kalan düzey (level) türü çıkışlardır.  Moore Türü Örnek Bir Zamanuyumlu Dizisel Devre Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

6 zamanuyumludizisel bir devrenin durumlarını ayırdetmek için k adet
 p durumu bulunan zamanuyumludizisel bir devrenin durumlarını ayırdetmek için k adet (k = log2 p) durum değişkenine gereklidir. Durumlardan her biri, durum değişkenlerinin birleşimlerinden birine karşı gelir. Buna göre n girişi, m çıkışı, k durum değişkeni ile gösterilen p da durumu bulunan zamanuyumlu dizisel bir devreyi, mantıksal olarak yandaki gibi göstermek mümkündür. Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

7 6.4. İkidurumlular (Flip-Flops)
 Bellek öğesi olarak en çok kullanılan bileşenler ikidurumlu (flip-flop) olarak adlandırılan bileşenlerdir.  İkidurumlu, genel olarak, bir bit’lik bilgiyi saklayabilen bir bileşendir.  İkidurumluların incelenecek türleri aşağıdakilerdir. SR türü ikidurumlu D türü ikidurumlu JK türü ikidurumlu T türü ikidurumlu Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

8 6.4.1. SR Türü İkidurumlu Zamanuyumsuz SR Türü İkidurumlu y y’
S R  SR türü ikidurumlu aşağıdaki gibi çalışır: İkidurumlunun doğru çalışabilmesi için S ve R girişlerinin aynı anda 1 olmaması gerekir.  Girişleri S = 1, R = 0 olduğunda ikidurumlu birlenir ve y = 1 olur.  Girişleri S = 0, R = 1 olduğunda ikidurumlu sıfırlanır ve y = 0 olur.  Girişleri S = 0, R = 0 olduğunda ikidurumlunun içeriği değişmez, y eski değerini korur. Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

9  SR Türü İkidurumlunun NOR geçitleriile Örnek Bir Gerçekleştirimi
 SR Türü İkidurumlu İçin Örnek Bir Zaman Çizeneği Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

10 Zamanuyumlu SR Türü İkidurumlu
y y’ S Cl R Zamanuyumlu SR Türü İkidurumlu  Zamanuyumlu SR türü ikidurumlu aşağıdaki gibi çalışır:  İki saat vuruşu arasında S ve R girişlerinin değerleri ne olursa olsun ikidurumlu bir değişikliğe uğramadan bulunduğu durumu korur.  Devrenin doğru çalışabilmesi için, saat vuruşu geldiğinde S ve R girişlerinden en çok birinin değeri 1 olmalıdır.  Saat vuruşu geldiğinde, girişlerde S = 1 ve R = 0 değerleri varsa ikidurumlu birlenir (y = 1 olur) ve bu durumunu bir sonraki saat vuruşuna kadar korur.  Saat vuruşu geldiğinde, girişlerde S = 0 ve R = 1 değerleri varsa ikidurumlu sıfırlanır (y = 0 olur) ve bu durumunu bir sonraki saat vuruşuna kadar korur.  Saat vuruşu geldiğinde, girişlerde S = 0 ve R = 0 değerleri varsa, ikidurumluda bir değişiklik olmaz ve ikidurumlu eski durumunu bir sonraki saat vuruşuna kadar korur. Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

11  Zamanuyumlu SR Türü İkidurumlunun Zaman Çizeneği
Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

12  Sonraki Durum Çizelgesi  Sonraki Durum İşlevi
 Zamanuyumlu SR Türü İkidurumlunun Örnek Bir Gerçekleştirimi  Sonraki Durum Çizelgesi  Sonraki Durum İşlevi y(t+1) = S + yR’ y S R y(t+1) ? ?  Uyarma Gereksinimi Çizelgesi y y(t+1) S R Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

13 6.4.2. D Türü İkidurumlu y y’  D türü ikidurumlu, girişindeki ikili
D Cl  D türü ikidurumlu, girişindeki ikili değeri bir sonraki saat vuruşuna kadar saklayan, bir anlamda girişini geçiktiren bir bellek elemanı olarak görülebilir.  D Türü İkidurumlunun Örnek Bir Gerçekleştirimi Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

14  Sonraki Durum Çizelgesi  Uyarma Gereksinimi Çizelgesi
y y(t+1) D y D y(t+1)  Sonraki Durum İşlevi y(t+1) = D Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

15 JK Türü İkidurumlu y y’ J Cl K  JK türü ikidurumlu aşağıdaki gibi çalışır: İki saat vuruşu arasında J ve K girişlerinin değerleri ne olursa olsun ikidurumlu, bir değişikliğe uğramadan bulunduğu durumu korur. Saat vuruşu geldiğinde, girişlerde J = 0 ve K = 0 değerleri varsa, ikidurumlu eski durumunu korur. Saat vuruşu geldiğinde, girişlerde J = 1 ve K = 0 değerleri varsa ikidurumlu birlenir (y = 1 olur). Saat vuruşu geldiğinde, girişlerde J = 0 ve K = 1 değerleri varsa ikidurumlu sıfırlanır (y = 0 olur). Saat vuruşu geldiğinde, girişlerde J = 1 ve K = 1 değerleri varsa, ikidurumlu durum değiştirir. Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

16  Sonraki Durum Çizelgesi  Sonraki Durum İşlevi
y(t+1) = Jy’ + K’ y y J K y(t+1)  Uyarma Gereksinimi Çizelgesi y y(t+1) J K Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

17  JK türü ikidurumlunun örnek bir gerçekleştirimi
Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

18 T Türü İkidurumlu y y’ T Cl  T harfi Toggle sözcüğünün baş harfidir. T türü ikidurumlu, saat vuruşu geldiğinde girişindeki ikili değer 0 ise eski durumunu koruyan, 1 ise durum değiştiren zamanuyumlu bir ikidurumludur.  T türü ikidurumlunun örnek bir gerçekleştirimi Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

19  Sonraki Durum Çizelgesi  Uyarma Gereksinimi Çizelgesi
y T y(t+1) y y(t+1) T  Sonraki Durum İşlevi y(t+1) = yT’ + T’y Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

20 6.4.5. İkidurumluların Tetiklenmesi
 İkidirumlular örneklerde gösterildiği gibi geçitlerden oluşturulursa: saat vuruşu süresinin genişliğine paralel olarak ikidurumlular birden çok kez durum değiştirebilir.  Bu nedenle uygulamada örneklerde gösterildiği gibi geçitlerden oluşan ikidurumlular kullanılmaz.  Uygulamada efendi-köle (master-slave) yapısındaki ikidurumlular ile saat vuruşunun kenarları ile tetiklenen ikidurumlular kullanılır.  Bundan sonraki kesiminde, tüm ikidurumluları birer kapalı kutu olarak görecek ve ikidurumluların, saat vuruşlarının pozitif kenarı (0’dan 1’e geçişini sağlayan kenar) ile tetiklendiğini varsayacağız. Dolayısıyla tüm ikidurumluların, türlerine ve giriş değişkenlerinin değerlerine göre, saat vuruşunun 0’dan 1’e geçişi sırasında durum değiştireceğini düşüneceğiz. Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

21  Efendi-Köle (Master-Slave) İkidurumlunun Örnek Yapısı
Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

22 6.4.6. İkidurumluların Zamanuyumsuz Girişleri
 Zamanuyumsuz Girişleri de Bulunan İkidurumlu Örneği Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

23 6.5. Zamanuyumlu Dizisel Devre Tasarımı
 Devrenin amacının ve çalışma ilkelerinin yer aldığı sözlü tanımın oluşturulması. Devrenin biçimsel tanımının oluşturulması: Giriş ve çıkışlarının sayı, değişkenler, değerler, anlamaları, vb. açısından tanımlanması. Devrenin durum sayısının, durum adlarının ve anlamlarının tanımlanması. Durum çizelge ve çizeneğinden en az birinin, gerekiyorsa ikisinin birden oluşturulması.  Durum değişkeni sayısının ve adlarının belirlenmesi ve durum atamasının yapılması  Geçiş ve çıkış çizelgelerinin, birlikte ya da ayrı ayrı, oluşturulması.  Belirtilmemişse, tasarımında hangi tür ikidurumluların kullanılacağının belirlenmesi.  Uyarma çizelgesinin oluşturulması.  Çıkış çizelgesinden çıkış işlevlerinin, uyarma çizelgesinden de uyarma işlevlerinin bulunması, indirgenmesi ve istenilen biçime sokulması.  Devre şemasının oluşturulması (eğer isteniyorsa) . Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

24 4 durumunun bulunması yeterlidir.
 Örnek 6.1. Saat vuruşu dışında bir girişi ile vuruş türü bir çıkışı bulunan devrenin, son 4 giriş değeri 1011 ise 1, değilse 0 çıkışı üretmesi istenmektedir. x Zamanuyumlu z Clock Dizisel Devre  Devre, son 4 giriş değeri (girişin şu andaki değeri ile 3 önceki değeri) 1011 olduğunda z = 1, değilse z = 0 çıkışı üretecektir: x(t-3) x(t-2) x(t-1) x(t) = 1011  Devrenin çalışması son 4 giriş değerine bağlıdır. Bu değerlerden en sonuncusu o anda devrenin girişindedir (x’in değeri). Devrenin durumları ise önceki 3 giriş değeri ile ilgili gerekli bilgiyi saklayacaktır. Devrenin en çok 8 durumu bulunacaktır. Ancak tanımlanan çalışma biçimine göre, devrenin 101 dizgisini tanıması, bunun için de 4 durumunun bulunması yeterlidir. Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

25  Durumların adları ve anlamları aşağıdaki gibi olacaktır.
 A Durumu: Dizginin henüz hiç bir simgesinin tanınmadığı durum. Devre başlangıçta bu durumdan başlayacaktır.  B Durumu: Dizginin ilk simgesinin (1) tanındığı durum. Son giriş simgesi 1 ise, ancak son 2 griş simgesi 10 değilse devre bu durumda bulunacaktır.  C Durumu: Dizginin ilk 2 simgesinin (10) tanındığı durum. Son iki giriş simgesi 10 ise, ancak son 3 giriş simgesi 101 değilse devre bu durumda bulunacaktır.  D Durumu: Dizginin ilk 3 simgesinin (101) tanındığı durum. Son 3 giriş simgesi 101 ise, daha öncekiler ne olursa olsun devre bu durumda bulunacaktır.  Durum çizelgesi  Durum çizeneği Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

26  Durum atamasını aşağıdaki gibi sıradan yapabiliriz. y1y0 = 00 : A
y1y0 = : B y1y0 = : C y1y0 = : D Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

27  Bu örnek için, tasarım SR türü ikidurumlular ile sürdürülecektir.
 Çıkış işlevi : z = y1y0’x Uyarma işlevleri : S1 = y1’y0x’ R1 = y1y0’x + y1y0x’ S0 = y1’y0’x + y1y0’x’ + y1y0’x R0 = y1y0x’ + y1y0x  Önemsiz birleşimler dikkate alınarak indirgeme yapıldıktan sonraki Çıkış işlevi : z = y1y0’x Uyarma işlevleri : S1 = y1’y0x’ R1 = y0’x + y1y0x’ S0 = y1y0’+ y0’x R0 = y1y0 Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

28  Devre şemasının oluşturulması
Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

29 6.6. Tasarım ve Çözümleme Örnekleri
 Örnek 6.2. Bir denetim girişi (x) bulunan 6 modüllü bir ikili sayacın T türü ikidurumlular kullanarak tasarlanması isteniyor. y y y0 x Clock T C T C T C Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

30  Durum Çizeneği:  Durum Çizelgesi: y2y1y0 = 000 : S0 001 : S1
 Durum ataması: Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

31  En küçük uyarma işlevleri:
T2 = y2y0x + y1y0x T1 = y2’y0x T0 = x  En küçük uyarma işlevleri: Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

32 ikidurumlularla tasarlayalım.
Örnek 6.3. Saat vuruşu dışında bir girişi ile vuruş türü bir çıkışı bulunan devrenin, son 3 giriş değeri 111 ise 1, değilse 0 çıkışı üretmesi istenmektedir. Devreyi JK türü ikidurumlularla tasarlayalım. x Zamanuyumlu z Clock Dizisel Devre İstenilen işlevi gerçekleştirmek için devrenin 3 durumunun bulunması yeterlidir. Durumların adları A, B ve C olsun. Durumların anlamları ise aşağıdaki gibidir. A : Son giriş 1 değil (devre başlangıçta da bu durumda bulunur) B : Son giriş 1, ancak son 2 giriş 11 değil C : Son 2 giriş 11 Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

33  Durum Çizeneği:  Durum Çizelgesi  Durum Ataması: y1y0 = 00 : A
01 : B 11 : C Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

34  Uyarma ve çıkış işlevleri: J1 = y0x K1 = x’ J0 = x K0 = x’ z = y1x
Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

35 ile oluşturulmuş bir yazmaç bulunan aşağıdaki devreyi tasarlayalım.
Örnek 6.4. Bazı devreler, tasarımın standart adımlarını izlemek yerine sonraki durum işlevlerini yazmak, sonraki durum işlevlerinden de uyarma işlevlerini elde etmek daha kolay olabilir. Örnek olarak, içinde 4 adet JK türü ikidurumlu ile oluşturulmuş bir yazmaç bulunan aşağıdaki devreyi tasarlayalım. y y y y0     x1  x2  Zamanuyumlu x3  Dizisel Devre Clock Tüm girişler 0 ise : yazmacın içeriği değişmesin x1 = 1 ise : yazmacın içeriğini oluşturan ikili sayı (y3y2y1y0) 1’e tümlensin. x2 = 1 ise : yazmacın içeriği bir sağa kaysın (ve en soldaki ikidurumlu sıfırlansın). x3 = 1 ise : yazmacın içeriği bir sola kaysın (ve en sağdaki ikidurumlu sıfırlansın). Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

36  JK türü ikidurumluların sonraki durum işlevinin genel yapısının
 Devrenin tanımından, Y3, Y2 , Y1 ve Y0 sonraki durum işlevleri aşağıdaki gibi yazılabilir: Y3 = x1’x2’x3’y3 + x1y3’ + x3y2 Y2 = x1’x2’x3’y2 + x1y2’ + x2y3 + x3y1 Y1 = x1’x2’x3’y1 + x1y1’ + x2y2 + x3y0 Y0 = x1’x2’x3’y0 + x1y0’ + x2y1  JK türü ikidurumluların sonraki durum işlevinin genel yapısının Y = Jy’ + K’y biçiminde olduğu bilinmektedir.  Sonraki durum işlevleri aşağıdaki biçime sokulur: Y3 = (x1’x2’x3’ + x3y2)y3 + (x1 + x3y2) y3’ Y2 = (x2y3 + x3y1 + x1’x2’x3’)y2 + (x2y3 + x3y1 x1)y2’ Y1 = (x2y2 + x3y0 x1’x2’x3’ )y1 + (x1 + x2y3 + x3y1) y1’ Y0 = (x1’x2’x3’ + x2y1)y0+ (x1+ x2y1 )y0 ’ Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

37 J3 = x1 + x3y2 K3 = (x1’x2’x3’ + x3y2)’
 Yukarıdaki sonraki durum işlevlerinden, aşağıdaki uyarma işlevleri bulunur. J3 = x1 + x3y2 K3 = (x1’x2’x3’ + x3y2)’ J2 = x1 + x2y3 + x3y1 K2 = (x1’x2’x3’+ x2y3 + x3y1)’ J1 = x1 + x2y2 + x3y0 K1 = (x1’x2’x3’+ x2y2 + x3y0)’ J0 = x1 + x2y1 K0 = (x1’x2’x3’ + x2y1)’ Uyarma işlevleri 7 değişkenli işlevlerdir ve bu işlevlerin yalınlaştırılması kolay değildir. Bu nedenle uyarma işlevleri yukarıdaki biçimde bırakılmaktadır. Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

38 doğrudan geçiş çizelgesini oluşturabiliriz. y1 y1 x Clock S2 R2 S1 R1
 Örnek 6.5.  Devrenin tanımından, doğrudan geçiş çizelgesini oluşturabiliriz. y y1 x Clock S R S R1  Geçiş Çizelgesi  İki adet SR türü ikidurumludan oluşan yazmacın içeriğinin x = 0 ise 1’e, x = 1 ise de 2’ye tümlenmesi istenmektedir. Devreyi tasarlayarak çarpımlar toplamı biçimindeki en küçük uyarma işlevlerini bulalım. Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

39  Sonraki durum işlevlerinin bulunması:
Y2 = y2’x’ + y2’y1 + y2y1’ Y1 = y1x + y1’x’  SR türü ikidurumlular için sonraki durum işlevinin genel yapısı Y = S + R’y biçimindedir. Buradan hareketle, sonraki durum işlevlerini uygun biçime sokup uyarma işlevlerini bulabiliriz. Y2 = (y2’x’ + y1) y2’ + (y1’x) y  S2 = y2’x’ + y2’y1 R2 = (y1’x)’ = y1 + x’ Y1 = (y1’x’) + xy  S1 = y1’x’ R1 = x’ Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

40  Örnek 6.6. Aşağıda şeması verilen devreyi çözümleyelim.
 Uyarma ve Çıkış İşlevleri: Şema incelenerek aşağıdaki işlevler bulunur. T2 = y1y0x T1 = y0x T0 = x z = y2y1y0x Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

41  Uyarma Çizelgesi  Geçiş Çizelgesi
Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

42 sırasında 1, diğer geçişlerde ise 0 değerini almaktadır.
 Durum Çizeneği  Bu devre 8 mdüllü ikili bir sayaçtır. Saat vuruşu geldiğinde, x = 0 ise sayaç durumunu korumakta, x = 1 ise sayaç bir ilerlemektedir. İkidurumluların çıkışları dışında sayacın bir de vuruş çıkışı (z) vardır. Bu çıkış, sayacın 111 durumundan 000 durumuna geçişi sırasında 1, diğer geçişlerde ise 0 değerini almaktadır. Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

43  Örnek 6.7. Aşağıda şeması verilen devreyi çözümleyelim.
Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

44 J2 = y1x J1 = (y2’x + y2x’)’ = y2x + y2’x’ K2 = y1x’ K1 = x
 Uyarma İşlevleri: J2 = y1x J1 = (y2’x + y2x’)’ = y2x + y2’x’ K2 = y1x’ K1 = x Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

45  Devrenin durumlarının adlandırılması:
y2y1 = 00 : A y2y1 = 01 : B y2y1 = 11 : C y2y1 = 10 : D  Durum Çizeneği  Durum Çizelgesi Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

46  Sonraki durum işlevlerinin bulunması
 Örnek Aşağıda uyarma işlevleri ile çıkış işlevi verilen zamanuyumlu dizisel devrenin iki girişi (x2 ve x1), bir de vuruş türü çıkışı (z) bulunmaktadır. Devreyi çözümleyiniz. J2 = y1x1 + y1’x2’ K2 = y1’x2’x1 J1 = y2’x1 K1 = y2 + x2’x1 z = y2x2’x1’ + y1x2 x1  Sonraki durum işlevlerinin bulunması Y2 = J2y2’ + K2’y2 = (y1x1 + y1’x2’)y2’ + (y1’x2’x1)’y2 = y2y1 + y2x1’ + y1x1 + y2’y1’x2’ + y2x2 Y1 = J1y1’ + K1’y1 = y2’y1’x1 + (y2 + x2’x1)’y1 = y2’y1’x1 + y2’y1x1’ + y2’y1x2 Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

47  Devrenin durumlarını A, B, C ve D diye adlandıralım
ve durum atamasının aşağıdaki gibi olduğunu varsayalım. y2y1 = 00 : A y2y1 = 01 : B y2y1 = 11 : C y2y1 = 10 : D Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

48 Mantıksal Tasarım – Prof. Dr
Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

49 bulunmamaktadır. İki adet SR türü ikidurumlu içeren devrenin sonraki
 Örnek 6.9. İki girişi (x2 ve x1) bulunan zamanuyumlu dizisel devreni vuruş çıkışı bulunmamaktadır. İki adet SR türü ikidurumlu içeren devrenin sonraki durum işlevleri verilmiştir. Devreyi çözümleyiniz. Y2 = y2x1’ + y1x1 Y1 = y1x1 + x2x1’  SR türü ikidurumluların sonraki durum denkleminin genel yapısı Y = S + R’y biçimindedir. Y2 = y2x1’ + y1x1 (y2 + y2’) = (y2’ y1x1) + (x1’ + y1 x1) y2 Y1 = y1x1 + x2x1’(y1 + y1’) = (y1’x2x1’) + (x1 + x2x1’)y1 S2 = y2’ y1x1 R2 = (x1’ + y1 x1)’ = x1(y1x1)’ = x1(y1’ + x1’) = y1’x1 S1 = y1’x2x1’ R1 = (x1 + x2x1’)’ = x1’(x2x1’)’ = x1’(x2’ + x1) = x2’x1’ Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

50  Uyarma Çizelgesi  Geçiş Çizelgesi
Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü

51  Durum atamasının aşağıdaki gibi olduğunu varsayalım. y2y1 = 00 : A
y2y1 = 01 : B y2y1 = 11 : C y2y1 = 10 : D  Durum Çizelgesi  Durum Çizeneği Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü