11.2.2 Durum Geçiş Şeması Yöntemi
Durum geçiş şeması yöntemi;  ardışıl  devrenin  sözel  anlatımını  en  iyi  yansıtan, mevcut durum-gelecek durum ilişkisini görsel biçimde sergileyen bir yöntemdir. Bu yöntemde, devrenin her durumu bir daireyle,  durumlar arasındaki  geçişler  ise  daireleri  birbirine  bağlayan  yönlü oklar ile gösterilir. Her dairenin içindeki ikili sayı, dairenin temsil ettiği durumu tanımlar. Geçişleri gösteren oklar  üzerine  ise  söz konusu  durum  geçişinin  hangi girdilerle gerçekleştiği ve çıktının ne olduğu yazılır. Bu gösterim için kesme işareti (/) kullanılır ve bu kesme işaretinin soluna girdiler, sağına ise çıktılar yazılır. Bir durum değişikliği söz konusu değil ise, durum geçiş oku başladığı noktaya döner (Şekil 11.14).

11.2.3 Durum Geçiş Tabloları Yöntemi
Durum geçiş tablosu, ardışıl bir devrede mevcut  durum  ve  giriş-çıkış  değişkenleri  arasındaki ilişkileri sergileyen bir tablodur. Bu tablo hazırlanırken, devrenin durum değişkenleri sayısı ile girdilerin sayısı göz önüne alınır. Durum geçiş tablosunda, flip-flopların tetiklenme  palsinden  önceki  durumunu belirten ‘mevcut durum’, tetiklenme palsi uygulandıktan sonraki durumu ifade eden ‘sonraki durum’ ve ‘çıkış’ olmak üzere üç kısım bulunur. Hem sonraki durum, hem de çıkış bölümleri, X=0 ve X=1 için olmak üzere 2 sütundan oluşur. Tabloyu oluştururken, durum değişkenleri sayısı ile girdi sayısı göz önüne alınır. Buna göre devrede ‘m’ tane  FF varsa, ‘m’ tane durum değişkeni tanımlanır ve devrede 2^m tane değişik durum söz konusu olur. Ayrıca devrenin ‘n’ tane girişi varsa, 2ⁿ tane farklı giriş değerleri birleşimi söz konusu olur. Tablo oluşturulurken, önce değişken bileşimlerini içeren bir sütun hazırlanır. Daha sonra, durum tablosunun  oluşturulmasına  varsayılan  bir  ilk değerle başlanır. Analiz her ne kadar keyfi bir durumla başlayabilirse de, şekil 11.16’da ki devreyi incelemeye ‘00’ durumu ile başlayacağız. Mevcut durum  ‘00’ iken; A=0 ve B=0 olur. Bu anda her iki FF reset konumunda ve X=0’dır. Bu değerlerin uygulandığı şekil  11.16’da ki, ‘VE’  kapılarından   hiç  birisi  lojik '1'  sinyali  üretmez   ve dolayısıyla   sonraki  durum  değişmeden kalır. Bu  durumda, AB=00 ve X=0 iken, tetikleme sinyalinden sonraki durum ‘00’ olarak belirlenir. AB=00 iken X=1 olunca; 1. kapı  B  FF’ sinin  S  girişine  ‘1’  sinyali  üretirken, 4. Kapı A FF’sinin R girişine ‘1’ sinyali üretir. Tetikleme sinyali FF’leri tetikleyince, A FF’si çıkışı ‘0’ ve B FF’si çıkışı ‘1’ olur. Bu bilgiler tabloya taşınırsa, sonraki durum AB=01  olarak  oluşur.  Aynı  şekilde diğer üç olası mevcut durumdan başlayarak sonraki durumlar elde edilebilir. Elde edilen değerler; girişlerin, mevcut durumun ve kullanılan FF türünün bir fonksiyonudur (Tablo 11.4).

Lojik devreden  çıkış  bölümünün  değerlerini  bulmak  daha  kolaydır.  Örnek devrede, yalnızca  X=1,  A=1  ve  B=0  iken  ‘y’  çıkışı  1’e  eşittir. Bu  nedenle; mevcut durum=10 ve X=1 durumunda y=1, bu durum dışındaki bütün durumlarda çıkış sütunları '0' olarak yazılır. Ardışık bir devrenin  harici  çıkışları , mantık elemanlarından  ve  FF  çıkışlarından  alınabilir.  Mantık kapılarından çıkış alınması halinde durum tablosunda  çıkış bölümü gereklidir. Çıkış olarak yalnızca FF çıkışları söz konusu ise, FF’lerin çıkışları mevcut durum sütununda zaten verildiğinden durum tablosunun çıkış bölümü iptal edilebilir. 

11.2.4 Durum Denklemleri Yöntemi
Durum  denklemleri,  flip-flop’ların  durum  geçiş  şartlarını  tanımlayan  matematiksel  bir ifadedir. Denklemin  sol tarafı FF’ nin sonraki durumunu, bir boolean fonksiyonu olan sağ taraf ise sonraki durumu 1’e  eşitleyen mevcut  durum  şartlarını  tanımlar.  Sonraki  durum  şartlarının  harici  giriş  değişkenleri  ve FF  değerleriyle tanımlaması dışında, durum denklemi şeklen FF karakteristik denklemine benzer. Durum denklemi, doğrudan doğruya durum tablosundan elde edilir. Örneğin; A FF’sine ait durum  denklemi Tablo11.4 ’den elde edilebilir. Sonraki durum sütunlarından  A  FF’ sinin  ‘1’  durumuna  dört kez geçtiğini  görürüz. Bu durumlar; X=0 iken AB= 01, 10, 11 durumları ile, X=1 iken AB=11 olduğu bileşenlerdir. Anlatılanlar bir durum denkleminde matematiksel olarak;

formülü ile ifade edilebilir. Denklemin sol tarafı; FF’nin harf sembolünü ve FF’nin  bir sonraki alacağı değeri ifade eden zaman fonksiyon sembolünü içerir [A(t+1)]. Aynı şekilde, B FF’sinin dört kere ‘1’ değerine sahip olduğu durum tablosunda görülmektedir. Bu durumda, tablodan faydalanarak B FF’si için;

denklemi yazılabilir.
Durum denklemlerinin sağ tarafı mevcut durum için bir boolean fonksiyonudur. Bu fonksiyon 1’e eşit olunca, bir sonraki tetikleme palsi ile A FF’sinin sonraki durumu ‘1’ olur. Fonksiyonun ‘0’ olması ise sonraki durumu ‘0’a eşitler.

A ve B FF’ lerinin durum denklemleri, (şekil 11.19) ’daki Karnaugh haritaları ile sadeleştirilebilir. Yukarıda bulunan  durum  denklemleri Karnaugh haritalarına taşınır ve Karnaugh yardımıyla sadeleştirme yapılırsa sadeleştirme sonucunda;