Sıralı mantık

dijital devre teorisinde, “sıralı mantık” devrenin çıktılarının sadece şu anki durumuna değil, aynı zamanda geçmişteki dijital sinyal girdilerine de bağlı olduğu mantık devresi yapısıdır.  sıralı mantık devreleri kombinasyonel mantık devrelerinin aksine sadece şu anki inputlara bağlı değildir. şöyle ki, sıralı mantık devrelerinin durum hafızaları varken, kombinasyonel mantık devrelerinin yoktur. diğer bir deyişle, sıralı mantık devreleri hafıza elemanı taşıyan kombinasyonel devrelerdir.

sıralı mantık, hafıza elemanları vb. güncel elektroniğin temel inşa bloğu olan sonlu durum makinelerinin dizaynında kullanılır. aslında tüm kullanımda olan dijital cihazlar, kombinasyonel ve sıralı devrelerin birleşiminden oluşmaktadır.

tanıdık bir sıralı mantık örneği olarak, kanal numarası artır/azalt fonksiyonuna sahip bir televizyonu gösterebiliriz. yukarı tuşuna basmak, televizyonun o an taşıdığı değere değil de sırada bir sonraki kanala geçmesini sağlar. 5.kanaldan 6 ya bu şekilde geçilebilir, fakat 8 deyseniz 9 sonucunu elde edersiniz. bu çok basit gözüken örneğin can alıcı noktası televizyonun sinyal gelmedikçe bulunduğu kanalı muhafaza edebilmesidir ki şu anki durumu da yine önceden basılmış olan butonlara bağlıdır.  televizyon şu an bulunduğu kanalı, durumunun bir parçası olarak muhafaza edebilmektedir. bir butona basıldığında ise, şu anki durumuna ve gelen girdiye (aşağı/yukarı) bağlı olarak bir sonraki kanalı hesap edip, daha sonra bu değeri yine saklamaktadır.

dijital sıralı devreler senkron ve asenkron olmak üzere iki tipe sahiptirler. senkron dijital devrelerde, hafıza elemanının durumu, sadece  saat girdisinin belirli zamanlarında değiştirilebilirler. asenkron tipe ise inputun değişimine bağlı olarak anlık durum değişimleri yaşanmaktadır. örneğin sırasıyla sayı sayan bir devre, her bir saat tikinde değerini senkron bir biçimde artırırken, istendiğinde onun durumunu sıfırlayan kontrol pini bunu asenkron biçimde yapar.

senkron sıralı mantık 
günümüzde kullandığımız neredeyse tüm mantık devreleri “saatli” ya da senkron devrelerdir. senkron bir devrede, “saat” ismi verilen, arka arkaya atmalar üreten bir elektronik osilatör bulunur. bu atmaların her biri devre üzerindeki tüm hafıza elemanlarına ulaştırılır. sıralı bir devre içerisinde kullanılan en basit hafıza elemanı flip-flop’tur ki kendisi sadece 1 bit lik bir very muhafaza edebilir. devre içerisindeki herhangi bir flip-flop’un değeri sadece kendisine ulaştırılmış olan saat atmalarının yükselme veya alçalma anında değiştirilebilir. bu sebeple tüm devre aynı anda başlar ve aynı anda durum değiştirir. buna devrenin senkronize olması denir.
   
devre üzerinde bulunan hafıza elemanlarının(flip-flop) verilen herhangi bir andaki çıktılarına, devrenin durumu denir. senkron bir devrede, devrenin tüm durumu sadece saat atmalarında değiştirilebilir. her bir atmada, devrenin şu anki durumu gelen girdiye göre kombinasyonel bir devre vasıtasıyla yeniden hesaplanır ve çıktı oluştuktan sonra devre durumunu bir sonraki atmaya kadar koruma eğilimi gösterir.

senkron bir mantık devresinin en önemli avantajı sade olmasıdır. gelen girdiden bağımsız olarak tüm devrenin değer alıp sonuç verme süresi bellidir. aradaki ufak gecikmeye “i̇lerleme gecikmesi” denilmektedir. arka arkaya gelen iki atmanın süresinin bu ilerleme gecikmesinden fazla olması devrenin düzgün çalışabilmesi için hayati öneme sahiptir. eğer aralıklar yeterince uzun olursa, devre gelen girdiye bağlı olarak sonucunu hesaplayıp bir sonraki saat atmasına kadar durumunu muhafaza edebilir. çok küçük diğer birkaç sorun dışında, bu koşulun sağlanması devrenin istenen bir biçimde düzgün çalışacağını garanti etmektedir. i̇lerleme gecikmesi bir devrenin en yüksek çalışma hızını belirleyen unsurdur. 
senkron devrelerin 2 önemli dezavantajları bulunmaktadır:
elde edilebilecek en yüksek saat hızı devre içerisindeki en yavaş mantık yolu tarafından belirlenir. bu yola “kritik yol” denir. her mantıksal hesaplamada, en basitinden en karmaşığına kadar, tüm işlemlerin tek bir saat atmasında tamamlanması gerekir. diğer bir deyişle işlemleri çok hızlı tamamlayabilen devreler bir sonraki saat atmasına kadar bekleme durumunda kalırlar.  bu sebeple senkron bir devre asenkron olana kıyasla daha yavaş olabilir.  senkron devreleri biraz daha hızlı çalıştırmanın yolu, karmaşık ve çok vakit alan işlemlerin daha basit birimlere bölünmesinden geçer. bu tarz yapılan işlemlere küme komut işleme denir. bu metot birçok mikroişlemci tarafından benimsenmiş bir metoddur ve modern işlemcilerin daha performanslı çalışmasını sağlar.
saat sinyali devre içerisindeki her bir flipo flopa aktarılmak zorundadır. saat sinyali de genellikle yüksek frekansa sahip olduğundan, saat sinyalinin devre üzerindeki iletimi oldukça uzun yol üzerinden çok fazla güç harcanmasına sebep olmaktadır ki bu da ısı demektir. flip-flop’lar devre içerisinde durumlarını korumak konusunda çok az bir güç tüketmelerine rağmen  saat sinyalinin iletimi sebebiyle toplam güç tüketimi ciddi biçimde artar ve artık bir sıcaklık oluşur. bu durum özellikle sınırlı pil ile çalışan mobil cihazlarda ciddi bir sıkıntı teşkil eder, cihazın çalışmadığı anlarda bile güç tüketmesi demektir.

asenkron sıralı mantık

asenkron sıralı devreler, belirli bir saat sinyali tarafından kontrol edilmezler, devrenin durumu anlık olarak girdinin değişmesiyle beraber değişir. asenkron devrelerin senkronlara oranla daha hızlı çalıştığı bilinmektedir çünkü durumun değişmesi için bir sonraki saat atmasını beklemesine gerek yoktur. devrenin potansiyel hızı, devre içerisinde kullanılan mantık kapılarının ilerleme gecikmeleriyle sınırlıdır.

fakat, asenkron devreler, senkronlara oranla dizaynı ve kontrol etmesi daha zordur. temel problem dijital hafıza elemanlarının gelen girdi sırasına hassas olmalarından kaynaklanmaktadır, eğer iki girdi mantık kapısına neredeyse aynı anda ulaşırlarsa, devrenin vereceği çıktıyı tahmin etmek zorlaşmaktadır, daha erken gelen sinyal devrenin durumunu belirlemektedir. bu sebeple devredeki sıcaklık vb. dış etmenlerden kaynaklanan gecikmeler devrenin istenmeyen bir duruma girmesine sebep olabilir. bu duruma “yarış şartı” denmektedir (önce gelen ne derse o gibi de söylenebilir). bu duruma senkron devrelerde çok rastlanmaz çünkü bir sonraki saat atmasına kadar devrenin istenen sinyallere ulaşacağı öngörüsünde bulunulmuştur. asenkron devreler, bu sebeple genellikle zamanlama konusunda tüm devre dizaynında sorun çıkaran elemanlardır çünkü çıktı bir saat sinyaliyle kontrol edilmemektedir.

asenkron devreler genellikle çok az kısımda kullanılırlar, mikroişlemciler ve dijital sinyal işlemcileri gibi diğer durumlar için yüksek hızlı senkron devreler tercih edilmektedir. 
asenkron devrelerin dizaynı ve analizi için senkron devrelerden daha farklı matematik modeller ve teknikler geliştirilmektedir. şu sıralar bu konu aktif bir araştırma konusudur.

ayrıca bakınız 
 kombinasyonel mantık
 senkron devre
 asenkron devre
 mantık dizaynı
 asenkron mantık ve cebir
 i̇şleme özel entegre devre tasarımı
 fpga

kaynakça 

katz, r, and boriello, g. contemporary logic design. 2nd ed. prentice hall. 2005. isbn 0-201-30857-6.
 zvi kohavi, niraj k. jha. switching and finite automata theory. 3rd ed. cambridge university press. 2009. isbn 978-0-521-85748-2
v. o. vasyukevich. (2009). asynchronous logic elements. venjunction and sequention — 118 p.

sayısal elektronik
otomat teorisi
bilgisayar biliminde mantık