WYSYŁKA DZISIAJ !!!

CODZIENNIE W DNI ROBOCZE

WYSTARCZY DO GODZ. 13.00 wysłać do nas:

1) deklarację odbioru przesyłki "za pobraniem"
lub
2) skan przelewu
albo
3) wpłacić za pośrednictwem "PayU"



TECHNIKI HEURYSTYCZNE W MODELOWANIU I WERYFIKACJI SYSTEMÓW ELEKTRONICZNYCH

WYBRANE ZAGADNIENIA

Monografia

Andrzej Pułka


Stan książki: NOWA
Wydawnictwo Politechniki Śląskiej
Stron: 238
Okładka: miękka
Format: B5
Nakład: 147 egz.

Opis::

Praca systematyzuje zagadnienia modelowania, symulacji, weryfikacji oraz testowania współczesnych systemów elektronicznych. W pierwszej części opisano wybrane metody oparte na językach opisu sprzętu (VHDL, Verilog) oraz językach opisu na poziomie systemu. Druga część to omówienie najistotniejszych z punktu widzenia zainteresowań i zastosowań autora, metod heurystycznych. W części trzeciej skupiono się na opisie zastosowań technik heurystycznych w automatycznych hirudina metodach generacji modeli układów cyfrowych oraz mieszanych w językach VHDL, VHDL-AMS i SystemC. Część czwarta pracy to opis zastosowań metod heurystycznych w weryfikacji systemowej systemów wbudowanych, opisanych w języku SystemC lub SystemVerilog.

Spis treści:

PRZEDMOWA.............................................................................................................9

Rozdział 1
Wstęp............................................................................................................................13
1.1. Stan zagadnienia.............................................................................................13
1.2. Wkład autora...................................................................................................15
1.3. Układ pracy.....................................................................................................16
1.4. Opis ważniejszych symboli i oznaczeń..........................................................18
1.5. Wyka/ skrótów stosowanych w tekście..........................................................20

Rozdział 2
Zagadnienia projektowania złożonych systemów elektronicznych........................26
2.1. Przegląd współczesnych metod projektowania..............................................26
2.1.1. Diagram Y.............................................................................................26
2.1.2. Różne koncepcje projektowania systemowego....................................28
2.2. Modelowanie...................................................................................................31
2.2.1. Języki opisu sprzętu..............................................................................32
2.2.2. Języki opisu systemu.............................................................................33
2.3. Automatyczna synteza....................................................................................36
2.4. Symulacja........................................................................................................36
2.5. Weryfikacja formalna.....................................................................................38
2.5.1. Weryfikacja dynamiczna......................................................................39
2.5.2. Sprawdzanie równoważności modeli....................................................40
2.5.3. Kontrola poprawności modelu..............................................................41
2.5.4. Automatyczne dowodzenie twierdzeń..................................................42
2.6. Testowanie......................................................................................................43
2.7. Podsumowanie................................................................................................46

Rozdział 3
Wybrane metody heurystyczne.................................................................................47
3.1. Ogólna definicja heurystyki............................................................................47
3.2. Niestandardowe systemy dedukcyjne.............................................................48
3.2.1. Wnioskowanie niemonoioniczne..........................................................48
3.2.2. Logika dysjunkcyjna - ASP..................................................................51
3.2.3. Programowanie w logice z ograniczeniami..........................................52
3.2.4. Od teorii zbiorów rozmytych do uogólnionej teorii nieokreśloności (GTU).........................................................................54
3.2.5. Uogólniona rozmyta logika domniemań FDL......................................57
3.3. Inne metody formalne wykorzystywane w pracy...........................................66
3.3.1. Binarne diagramy decyzyjne....................................~...........................67
3.3.2. Badanie spcłnialności funkcji logicznych - SAT.................................68
3.3.3. Algorytm Smitha-Watcimana...............................................................69
3.4. Programowanie w logice - język PROLOG...................................................72

Rozdział 4
Modelowanie systemów elektronicznych..................................................................73
4.1. Wielokrotne wykorzystanie komponentów....................................................73
4.1.1. System MA...........................................................................................74
4.1.2. Modelowanie systemów mieszanych z wykorzystaniem techniki PWL........................................................................................81
4.1.3. Modelowanie systemów mieszanych w VHDL-AMS..........................91
4.2. Minimalizacja kodu VHDL z wykorzystaniem BDD....................................94
4.3. Dobór modelu systemu oparty na koncepcji programowania w logice z ograniczeniami i kontroli nawrotu...............................................................98
4.3.1. Istota modelowania transakcyjnego......................................................98
4.3.2. Ewolucja metod modelowania..............................................................99
4.3.3. Algorytm SMOG.................................................................................103
4.3.4. Uniwersalna platforma do testowania modeli TLM...........................110
4.4. Modelowanie systemu czasu rzeczywistego z inteligentnym harmonogramowanicm zadań.......................................................................111
4.4.1. Problem przewidywalności hirudina czasowej PRHT........................111
4.4.2. Przeplot wątków i kolo pamięci..........................................................112
4.4.3. Rozwiązanie I z programowanym przeplotem wątków......................112
4.4.4. Rozwiązanie II z dynamiczną rekonfiguracją zadań w wątkach........117
4.5. Sprzętowy model systemu przeszukiwania genomu................-..................124
4.5.1. Przystosowanie algorytmu Smitha-Watermana
do implementacji sprzętowej..............................................................124
4.5.2. Wstępna optymalizacja struktury sprzętowej.....................................127
4.5.3. Rozwiązanie przyrostowe...................................................................130
4.5.4. Algorytmy lokalizacji dopasowania: HIPAS i ASW..........................135

Rozdział 5
Heurystyczne metody w weryfikacji i testowaniu..................................................140
5.1. VEST - system weryfikacji czasowej oparły na diagramach UML.............140
5.2. Strategia weryfikacji systemu na chipie w języku SystemVerilog...............146
5.3. FUDASAT algorytm weryfikacji spełnialności formuł Boolowskich......150
5.3.1. Podobieństwo logiki niemonotonicznej oraz problemu SAT.............151
5.3.2. Opis algorytmu....................................................................................151
5.3.3. Wybór zmiennych...............................................................................154
5.3.4. Analiza konfliktów i planowanie nawrotu..........................................155
5.3.5. Implementacja w języku PROLOG i uwagi końcowe........................163
5.4. Koncepcja sprzętowej realizacji logiki FDL................................................164
5.4.1. Implementacja rozmytych domniemań...............................................167
5A2. Sprzętowa generacja zbiorów wiarygodnych.....................................169
5.4.3. Realizacja redukcji hipotez.................................................................170
5.4.4. Końcowa ocena hipotez......................................................................171
5.4.5. Wyniki symulacji oraz syntezy...........................................................172
5.5. Heurystyczne algorytmy doboru węzłów testowych układów analogowych - SALTO i COSMO................................................175

Rozdział 6
Podsumowanie i wnioski końcowe...........................................................................180

BIBLIOGRAFIA.......................................................................................................182

Dodatek A
Implementacja logiki FDL w języku PROLOG
oraz model sprzętowy w języku Vcrilog...........................................................202

Dodatek B
Modele układów mieszanych implementowane w technice PWL...............212

Dodatek C
Opis platformy testowej w języku SystemC..................................................219

Dodatek D
Przykłady doboru punktów testowych za pomocą
algorytmów SALTO i COSMO.......................................................................226

Streszczenie................................................................................................................233