A new method for the state reduction of incompletely specified finite sequential machines and application of the developed methods to the other logic synthesis steps
Tez (Doktora) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2003Thesis (PhD) -- İstanbul Technical University, Institute of Science and Technology, 2003Bu çalışmada kısmen belirli ardışıl makinelerde durum indirgeme konusu ele alınmıştır. Durum indirgeme için geliştirilen algoritmalar, Boole fonksiyonlarının birlikte indirgenmesi, durum kodlama ve tek koşullu örtü problemi çözme gibi lojik tasarımın diğer adımlarına da uygulanmıştır. Bunun sonucunda birden çok Boole fonksiyonunu birlikte indirgeyebilen MORP (Multiple Output Reduction Program) ve kritik yarış içermeyen durum kodlaması yapabilen OPASKOD (Optimal Asenkron Kodlama) programları geliştirilmiştir. Bu çalışmada kullanılan kapalı yollar kümesi kavramına ve bu kümeden minimal kapalı örtü elde etmeye dayanan bir yönteme literatürde rastlanmamıştır. Bu algoritmalara dayanan, SRC (State Reduction and Covering) programı geliştirilmiştir. SRC, MCNC ve diğer bençmarklarda Rho (1994) ve Puri (1993) ile karşılaştırılmıştır. Test sonuçlarından da görüldüğü gibi SRC programı özellikle kritik bençmarklarda daha iyi sonuç vermiştir.This thesis is concerned with the problem of synthesizing a class of digital circuits, sequential circuits, more specifically state reduction of of incompletely specified sequential circuits. The algorithms which are developed for state reduction, are also applied to other steps of the logic synthesis, such as multiple-output Boolean minimization, state encoding and unite/binate covering problems. In this paper three algorithms are presented to find a minimal equivalent of a given incompletely specified finite sequential machine. These algorithms use a new concept; closed paths constituted by compatibles or prime compatibles. This closed paths concept and an algorithm which uses this concept is not observed in the literature. These algorithms are implemented in an efficient computer program SRC (State Reduction and Covering). SRC is run and tested on several FSMs including the MCNC FSM benchmarks and the results are given in conclusion. From the test results, it can be seen that, despite of the limited computing resources, SRC is more efficient on all benchmarks, especially on the critical benchmarks. Using these algorithms, MORP (Multiple Output Reduction Program) developed to realize m Boolean functions with n variables. State reduction methods which are developed in this work, are also applied to state encoding problem and a computer program, OPASKOD (Race-free State Assignment Program) developed.DoktoraPh
