Wyniki wyszukiwania - BazTech

1

Analiza porównawcza narzędzi syntezy Altera Quartus II i Synthagate

Węgrzyn M., Karatkiewicz A.

Przegląd Elektrotechniczny

|

2013

|

R. 89, nr 12

380-383

PL

W artykule przedstawiono analizę porównawczą skuteczności działania przemysłowego narzędzia syntezy układów cyfrowych FPGA (na przykładzie systemu Altera Quartus II), a narzędzia syntezy o pochodzeniu akademickim (Synthagate). Eksperymenty przeprowadzono z wykorzystaniem szeregu przykładów opisujących automaty skończone. Przedyskutowano wpływ sposobu opisu automatów na wyniki syntezy. Stwierdzono, że system Synthagate daje na ogół lepsze wyniki pod względem wykorzystania zasobów układów programowalnych oraz działa znacznie szybciej, niż narzędzie przemysłowe.

EN

The paper presents comparison between efficiency of an industrial FPGA design software tool Altera Quartus II and similar design software tool Synthagate by Syntezza company of an academic origin. The experiments were performed using a series of examples describing the Moore finite state machines; one-hot state encoding was used in all cases. Area (number of used logical blocks) was the main parameter used for the comparison. Influence of the way of FSM description (in VHDL language) on the quality of synthesis was studied. The obtained results show that Synthagate in almost all cases performs synthesis more efficiently and essentially quicker than Altera Quartus. Section 1 presents motivation of the research; Section 2 describes problems which had to be solved to provide correctness of experimental comparison. In Section 3, the experimental results are presented. Section 4 describes still existing problems related to the comparison, which have to be solved. Section 5 presents the conclusions.

2

Wyznaczanie pokrycia sieci Petriego przez SM-komponenty z wykorzystaniem przeszukiwania grafów

Karatkiewicz A., Wiśniewski R.

Przegląd Elektrotechniczny

|

2012

|

R. 88, nr 8

141-144

PL

W artykule przedstawiono nową metodę dekompozycji na składowe automatowe żywych i bezpiecznych sieci Petriego, należących do klasy rozszerzonych sieci swobodnego wyboru (EFC). Metoda polega na przeszukiwaniu grafu sieci, biorąc pod uwagę relację współbieżności pomiędzy miejscami sieci. Przedstawiono i omówiono wyniki wstępnych eksperymentów, które pokazują dużą skuteczność metody względem rozwiązań ogólnie stosowanych, szczególnie w przypadku sieci zawierających wiele miejsc wzajemnie współbieżnych.

EN

In the paper a new method of state machine decomposition of live and safe Petri net that belongs to the Extended Free-Choice class is presented. The method is based on search of the net graph, taking into account concurrency relation between places of the net. The method can be divided into two main steps. In the first one concurrency relation between particular places of the Petri net is computed. Next, the main decomposition process is performed, where subsequent SM-components are calculated. At the first step the method operates on the structure of the net. It is based on the modified algorithm, initially proposed by A.V. Kovalyov in [1]. Such an algorithm permits to find the concurrency relations between places in the Free Choice nets in a polynomial time. Next, the subsequent SM-components are computed. To find each SM-component, a graph-search algorithm is applied. Moreover, the concurrency relation obtained in the first step of proposed method is also taken into account. The method has polynomial computational complexity, unlike most of other methods of such decomposition. It is proved that the first step of an algorithm can be executed in a polynomial time in a case of a Extended Free Choice nets. Furthermore, the graph-search algorithm operates in a linear time, thus the whole decomposition process can be performed in a polynomial time.

3

Analiza cyklicznych sieci Petriego przy pomocy dekompozycji blokowej

Karatkiewicz A.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 5

69-71

PL

Artykuł przedstawia metodę analizy żywotności i bezpieczeństwa sieci Petriego, na których znakowanie początkowe i strukturę nałożone są pewne ograniczenia, typowe dla sieci cyklicznych, modelujących algorytmy sterowania. Metoda jest wzorowana na metodzie analizy operacyjnych sieci Petriego i jest jej zaadaptowaniem do innej klasy sieci. Przedstawiona metoda polega na dekompozycji sieci i konstruowaniu przestrzeni osiągalności bloków, w kolejności wyznaczonej strukturą sieci. W artykule przytoczono wyniki eksperymentów, opisujące stopień redukcji przestrzeni stanów.

EN

The paper presents a methods of deciding of liveness and safeness of Petri nets with certain restrictions imposed on their structure and initial marking, which are typical for cyclic nets, modeling the control algorithms. The method is based on the method of analysis of operational Petri nets, and it is an adaptation of this method to another class of nets. The method decomposes the net and explores state spaces of its blocks in an order depending on the net structure. The experimental results are presented, demonstrating reduction of state space.