We propose a new method to speed up stuck-at fault simulation for sequential circuits. The method combines exact parallel critical path tracing of faults, used so far only for combinational circuits, with traditional fault simulation in sequential circuits. For that purpose, formulas are developed for classification of faults into two classes: the faults eligible for parallel critical path tracing, and the faults which have to be simulated over the global feedbacks in the circuit by traditional methods. Combining these two approaches in fault simulation ‒ the combinational and sequential simulation concepts ‒ allows dramatic speed-up of fault simulation in sequential circuits, which is demonstrated by experimental results.
This paper presents the Grafpol TM method and principles of synthesising sequential control algorithms by this method, as well as examples of applying this method for modelling processes and programming PLC controllers.
PL
W pracy przedstawiono metodę Grafpol TM oraz zasady jej stosowania do syntezy sekwencyjnych układów sterowania jak również przykłady zastosowania tej metody do modelowania algorytmów procesu i programowania sterowników PLC.
Prezentujemy efektywną metodę syntezy w pełni określonych funkcji boolowskich charakteryzujących się dużą dysproporcją występującą na wyjściu. Opisywane funkcje zawierają jedynie mały podzbiór słów dla których wartość jest równa 1. Opracowano specjalny algorytm selekcji takich wektorów. Badania zostały wykonane na układach programowalnych FPGA Stratix firmy Altera. W porównaniu do klasycznych metod syntezy osiągnęliśmy, przy porównywalnym użyciu wbudowanych bloków pamięciowych EMB, redukcję zasobów logicznych LUT - średnio do 95%.
EN
We are proposing a cost-efficient realization scheme for completely-specified logic functions characterized by a huge disproportion. The functions described contain millions of input words but only few of them can give us information. An appropriate method of logic synthesis for identifying mentioned vectors (registered vectors) has been developed. In this method logic functions are implemented using both embedded memory blocks and LUT-based programmable logic blocks available in today's FPGAs. In comparison with the classical logic synthesis methods we have obtained extremely encouraging results: with a comparable number of EMBs, the number of logic cells has been reduced by 95%. The investigation has been implemented using Altera's Stratix devices.
Zaproponowano metodę obliczania mocy układów sekwencyjnych, modelem matematycznym jest automat skończony. Jest ona połączeniem metod proponowanych przez różnych autorów. Jest to metoda uniwersalna, pozwalająca oszacować moc traconą przez układ sekwencyjny. Podano przykład obliczania mocy układu sekwencyjnego, jak również wyniki badań eksperymentalnych dla standardowych układów testowych.
EN
In this article the sequential circiuts power calculation method is proposed. Mathematical model of sequential circuits is finite state machine. Described method is a combination of methods proposed by various authors. It is universal method that can estimate power dissipated by sequential circiut. The power calculation example, as well as experimental results for standard benchmarks are shown in paper.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.