Politechnika Białostocka Wydział Informatyki. mgr inż. Mirosław Puczko
|
|
- Maksymilian Krzemiński
- 7 lat temu
- Przeglądów:
Transkrypt
1 Politechnika Białostocka Wydział Informatyki mgr inż. Mirosław Puczko PROJEKTOWANIE GENERATORÓW TESTÓW ORAZ ANALIZATORÓW SYGNATUR O NISKIM POBORZE MOCY W SAMOTESTUJĄCYCH UKŁADACH CYFROWYCH Autoreferat rozprawy doktorskiej Promotor prof. dr hab. inż.vyacheslav Yarmolik Białystok 2016
2 Spis treści 1. Wprowadzenie Aktualność tematu Model mocy Wbudowane samotestowanie Temat rozprawy Teza i cel rozprawy Oryginalne osiągnięcia autora Wyniki eksperymentalne i ich analiza Metody weryfikacji poboru mocy układów BIST Weryfikacja badań w środowisku WebPACK ISE Weryfikacja badań w środowisku Quartus II Badania poboru mocy układu generatora Badania poboru mocy kompletnego układ BIST z wykorzystaniem układu generatora q nowych bitów Wyniki badań Podsumowanie Literatura
3 1. Wprowadzenie Obecny postęp w mikroelektronice sprawił, że większość układów cyfrowych o wielkiej skali integracji (VLSI ang. Very Large Scale of Integration) jest wykonywana w systemie funkcjonalnym zrealizowanym na podłożu krzemowym (SoC ang. System On Chip). Projektanci nie koncentrują się już głównie na zachowaniu odpowiednich proporcji wielkości układu w stosunku do realizowanych funkcji. Zmienił się także sposób testowania układów cyfrowych [Crouch, 1999]. Jeszcze do niedawna za podstawowe wskaźniki określające efektywność testowania układów cyfrowych uważano niski nakład kosztów sprzętowych na realizację testowania (ang. low hardware overhead), wysoką wykrywalność usterek, a także krótki czas trwania testów. Obecnie jednym z głównych czynników jest pobór mocy i problemy związane z wydzielaniem ciepła [Bushnell i Agrawal, 2000]. Zastosowanie testowania wewnątrzukładowego (BIST ang. Built-In Self Test) w znaczny sposób obniża koszt testowania oraz zwiększa wykrywalność usterek, ponieważ odbywa się przy roboczych lub większych częstotliwościach pracy układu. Nie ma także potrzeby stosowania drogich zewnętrznych testerów, których koszt niejednokrotnie przewyższa cenę SoC. Największą z wad BIST jest to, że moc wydzielona w postaci ciepła podczas testowania układu jest większa od mocy wydzielonej w czasie rzeczywistej pracy [Zorian, 1993]. Testowanie powinno zagwarantować wykrycie wszystkich możliwych niesprawności i usterek, co prowadzi do znacznego wzrostu aktywności przełączeń w testowanym układzie. Podczas testowania głównym źródłem poboru mocy są układy wbudowanego samotestowania (BIST), takie jak generator testów i analizator sygnatur, które nie są wykorzystywane w czasie rzeczywistej pracy układu. Powody zwiększonego poboru mocy podczas testowania są następujące [Bonhomme et al., 2002]: Efektywność testów jest wprost proporcjonalna do aktywności przełączeń w testowanym układzie podczas testowania aktywność przełączeń wszystkich elementów jest często kilka razy większa niż podczas normalnej pracy układu. W celu skrócenia czasu testowania w SoC stosuje się testowanie równoległe, co powoduje nadmierne zużycie energii i znaczne zwiększenie mocy wydzielanej w postaci ciepła. BIST wymaga zaprojektowania dodatkowych układów, takich jak generator testów, analizator sygnatur i kontroler BIST. Układy te, wykorzystywane wyłącznie podczas testowania, zwiększają zużycie energii podczas procesu testowania Aktualność tematu Tematyka ograniczania poboru mocy systemów cyfrowych jest niezwykle ważna dla współczesnej nauki, o czym świadczy liczba publikacji wydanych w latach Tematowi temu poświęcono ponad 100,000 artykułów, w tym około 120 (ponad 20 w latach ) związanych było z redukcją poboru mocy w układach samotestujących [webofknowledge]. Pobór mocy zależy od aktywności przełączeń. Jak wykazano w pracy [Girard, 2000] włączenie testów powoduje zwiększenie aktywności przełączeń, co wiąże się ze skróceniem czasu pracy baterii i zwiększeniem temperatury układu. Wymusza to stosowanie drogich systemów odprowadzających nadmiar ciepła, a to z kolei wpływa na zwiększenie kosztów produkcji układu. 2
4 Jeszcze do niedawna metody uwzględniające pobór mocy w procesie testowania układów ograniczały się przede wszystkim do [Iman i Pedram, 1997]: wykorzystania źródeł zasilania o większej mocy, zwiększenia rozmiaru układów, zwiększenia efektywności systemu chłodzenia, obniżenia częstotliwości pracy urządzenia podczas testowania. Zwiększało to w znacznym stopniu koszty produkcji lub czas testowania oraz powodowało zmniejszenie stopnia wykrywalności usterek, ponieważ przy obniżeniu częstotliwości niektóre usterki mogły pozostać niewykryte [Iman i Pedram, 1997]. Obecnie projektanci układów cyfrowych zwracają uwagę na: zmniejszenie poboru mocy, która wyznacza okres autonomicznej pracy układu oraz obniżenie mocy średniej, która wyznacza temperaturę pracy SoC, obniżenie mocy maksymalnej, która wyznacza zapotrzebowanie układu na źródła zasilania oraz stwarza możliwość przegrzania układu Model mocy Według prac [Cirit, 1987], [Tsui et al., 1995], [Wang i Roy, 1996], całkowita moc średnia to suma mocy średnich wszystkich n ścieżek układu, tj. n 1 2 Pav = U dd C0 f SAj v j. (1) 2 j= 1 gdzie: U dd napięcie zasilające, C 0 pojemność ścieżki, f częstotliwość pracy układu, SA j aktywność przełączeń ścieżki j, v j współczynnik rozgałęzienia ścieżki j. Wyrażenie SA j v j n j= 1 nazywane jest ważoną aktywnością przełączeń i oznaczane jest jako WSA, tak więc wyrażenie (1) można zapisać jako: 1 2 Pav = Udd C0 f WSA. (2) 2 Należy podkreślić, że jedyną zmienną składową w wyrażeniu (2) jest WSA, więc całkowita moc średnia sprowadza się do obliczenia sumy ważonej aktywności przełączeń wszystkich ścieżek układu. Miara ta jest wykorzystywana do oceny mocy wydzielanej przez układ [Yarmolik i Murashko, 2002] Wbudowane samotestowanie Aby wykryć uszkodzenie w układzie cyfrowym należy go przetestować. W tym celu na wejścia testowanego układu podaje się odpowiedni zbiór wektorów, zwanych testami. Następnie bada się czy odpowiedzi układu na te wektory są poprawne. Do wejść testowanego układu CUT (ang. Circuit Under Test) podłączony jest generator testów (ang. Test Pattern Generator), natomiast do wyjść analizator sygnatur (ang. Signature Analyzer), który sprawdza czy układ pracuje poprawnie. Najczęściej używanym układem generatora testów jest LFSR (ang. Linear Feedback Shift Register) [Bardel and McAnney, 1984]. W roli analizatora odpowiedzi najczęściej stosuje się rejestr MISR (ang. Multi Input Shift Register) [Koenemann et al., 1980], [Hassan et al., 1983]. Podczas testowania układów kombinacyjnych kolejność podawania testów jest dowolna. Testowanie układów sekwencyjnych wymaga podania na wejścia testowanego 3
5 układu sekwencji testów w odpowiedniej kolejności. Stąd też testowanie układów sekwencyjnych jest bardziej złożone niż testowanie układów kombinacyjnych. Z tego powodu często na czas testowania układ sekwencyjny przekształca się w układ kombinacyjny [Hławiczka, 1993], [David, 1998]. Testowanie musi zostać przeprowadzone szybko i efektywnie. Aby to zapewnić testowanie określono, jako jedną z funkcjonalności układu cyfrowego. W taki sposób powstało wbudowane samotestowanie (ang. self-test), które może być implementowane programowo lub sprzętowo. W samotestowaniu programowym testowanie odbywa się na poziomie programu zarządzającego (ang. software). Z uwagi na swoje wady (głównie wysoki koszt) jest jednak rzadko stosowane [Agraval et al., 1993]. Alternatywą dla programowego samotestowania jest sprzętowe samotestowanie, zwane w skrócie BIST (ang. Built-In Self Test). BIST jest techniką ułatwiającą testowanie, która jest realizowana sprzętowo. Głównymi zaletami BIST są: duża szybkość działania i wydajność. BIST może mieć budowę klasyczną i hierarchiczną. Klasyczna architektura BIST zawiera trzy bloki sprzętowe: generator testów, analizator sygnatur i kontroler BIST. Przykładami generatorów testów są: ROM zawierający testy, licznik, LFSR. Typowym analizatorem sygnatur jest LFSR. Kontroler BIST odpowiada głównie za włączenie/wyłączenie testowania i analizę odpowiedzi układu. KONTROLER BIST SYSTEM KONTROLER BIST SYSTEM GENERATOR TESTÓW KONTROLER BIST PŁYTA TESTOWANY UKŁAD (CUT) ANALIZATOR SYGNATUR KONTROLER BIST CHIP GENERATOR TESTÓW TESTOWANY UKŁAD (CUT) ANALIZATOR SYGNATUR a) klasyczny BIST b) hierarchiczny BIST Rys Schematy BIST (źródło: [Agraval et al., 1993]) Hierarchiczny BIST może zagwarantować testowanie chipów, płyt i całego systemu za pomocą tego samego kontrolera BIST (rys. 1.1.). W rozwiązaniu tym system może się składać z wielu płyt a każda płyta może zawierać wiele chipów VLSI. Kontroler BIST na poziomie systemu może włączyć jednoczesne samotestowanie na wszystkich płytach. Kontroler BIST na poziomie każdej płyty może włączyć testowanie ma każdym chipie. Kontroler BIST na poziomie chipu jest odpowiedzialny za wykonanie samotestowania na chipie, a następnie za przekazanie wyników tego testowania (czy chip jest wadliwy czy też nie) do kontrolera BIST na poziomie płyty zawierającej ten chip. Kontroler BIST za poziomie płyty gromadzi wyniki testów ze 4
6 wszystkich chipów i przesyła je kontrolera BIST na poziomie systemu. Używając informacji dostarczonych przez kontroler BIST za poziomie płyty, kontroler BIST na poziomie systemu może wyłączyć błędnie działające chipy i płyty [Agraval et al., 1993] Temat rozprawy Rozprawa jest poświęcona badaniom nad nowymi i zmodyfikowanymi metodami i algorytmami projektowania generatorów testów oraz analizatorów sygnatur o niskim poborze mocy w samotestujących układach cyfrowych. Jednym z najważniejszych oryginalnych osiągnięć jest opracowana metoda projektowania wielowejściowego sumatora modulo 2 o minimalnym poborze mocy. Sumator ten może zostać wykorzystany zarówno w generatorach testów jak i analizatorach sygnatur. Pozostałe opracowane metody i techniki projektowania generatorów testów oraz analizatorów sygnatur o niskim poborze mocy to: algorytm projektowania wielowejściowego sumatora modulo 2 o minimalnej aktywności przełączeń, wykorzystując 2 wejściowe bramki XOR dla aktywności przełączeń wejść wynoszącej 0,5, algorytm projektowania wielowejściowego sumatora modulo 2 o minimalnej aktywności przełączeń, wykorzystując 2 wejściowe bramki XOR dla dowolnej aktywności przełączeń wejść oraz algorytm projektowania generatora testów o niskim poborze mocy, z wykorzystaniem decymacji M sekwencji. Poza przedstawionymi powyżej oryginalnymi osiągnięciami zbadano możliwości wykorzystania opracowanych metod i algorytmów projektowania generatorów testów oraz analizatorów sygnatur o niskim poborze mocy w testowaniu z użyciem par wektorów testowych (ang. two-pattern test) oraz w generatorach kluczy w szyfrach strumieniowych (w szczególności w generatorze Geffe go). 2. Teza i cel rozprawy Celem pracy jest opracowanie metod i technik projektowania generatorów testów oraz analizatorów sygnatur o niskim poborze mocy w samotestujących układach cyfrowych. Aby osiągnąć postawiony cel, sformułowano następujące zadania: 1) Przeanalizowanie problemu znacznego poboru mocy przez generatory testów oraz analizatory sygnatur w samotestujących układach cyfrowych. 2) Zbadanie obecnie stosowanych metod i technik służących do obniżania poboru mocy w generatorach testów oraz analizatorach sygnatur w samotestujących układach cyfrowych. 3) Opracowanie nowych metod i technik projektowania generatorów testów oraz analizatorów sygnatur o niskim poborze mocy. 4) Zbadanie możliwości wykorzystania opracowanych metod i technik projektowania generatorów testów oraz analizatorów sygnatur o niskim poborze mocy w testowaniu z użyciem par wektorów testowych (ang. two-pattern test) oraz w generatorach kluczy w szyfrach strumieniowych (w szczególności w generatorze Geffe go). 5) Zbadanie wpływu wielomianu pierwotnego danego stopnia na pobór mocy w standardowych oraz nowych metodach i technikach projektowania generatorów testów oraz analizatorów sygnatur. 6) Porównanie poboru mocy w standardowych oraz nowych metodach i technikach projektowania generatorów testów oraz analizatorów sygnatur. 5
7 7) Zweryfikowanie obliczeń teoretycznych, z wykorzystaniem rzeczywistych układów oraz specjalistycznego oprogramowania. Celem pracy jest udowodnienie następującej tezy: Wykorzystując metody szybkiego generowania sekwencji o maksymalnej długości w procesie projektowania BIST, można uzyskać zmniejszenie aktywności przełączeń, a tym samym obniżyć pobór mocy przez generatory testów oraz analizatory sygnatur w samotestujących układach cyfrowych. 3. Oryginalne osiągnięcia autora Wszystkie zaproponowane w pracy metody i algorytmy są oryginalne i mają charakter nowatorski. W rozprawie: 1) Opracowano nowe metody i techniki projektowania generatorów testów oraz analizatorów sygnatur o niskim poborze mocy, w tym: opracowano algorytm obliczania macierzy V q, opracowano algorytm projektowania generatora testów o niskim poborze mocy, z wykorzystaniem decymacji M sekwencji. opracowano algorytm projektowania wielowejściowego sumatora modulo 2 o minimalnej aktywności przełączeń, wykorzystując 2 wejściowe bramki XOR dla aktywności przełączeń wejść wynoszącej 0,5, opracowano algorytm projektowania wielowejściowego sumatora modulo 2 o minimalnej aktywności przełączeń, wykorzystując 2 wejściowe bramki XOR dla dowolnej aktywności przełączeń wejść, 2) Zaproponowano metodę projektowania wielowejściowego sumatora modulo 2 o minimalnym poborze mocy, który można wykorzystać zarówno w generatorach testów jak i analizatorach sygnatur. 4. Wyniki eksperymentalne i ich analiza W rozprawie została zaprezentowana programowa (w języku VHDL) i sprzętowa (w układzie programowalnym) realizacja omawianych metod i algorytmów obniżania poboru mocy podczas testowania wewnątrzukładowego. Do ich realizacji wykorzystano dwa środowiska projektowania systemów cyfrowych na układach programowalnych: WebPACK ISE firmy Xilinx oraz Quartus II firmy Altera, w których wykorzystano odpowiednio układ XC2S100-Spartan II FPGA oraz układ Cyclone III. Powodem wyboru pierwszego układu było posiadanie przez Wydział Informatyki Politechniki Białostockiej płyt programowalnych zawierających właśnie ten układ. Natomiast powodem wyboru układu Cyclone III była jego popularność oraz możliwość odniesienia uzyskanych wyników wartości poboru mocy do innych istniejących prac dotyczących wartości poboru mocy w układach samotestujących. Dla zrealizowanych układów przeprowadzono badania określające wartość poboru mocy, którą wyznaczano za pomocą specjalizowanego oprogramowania: Xilinx XPower oraz Altera PowerPlay Power Analyzer Tool. 6
8 4.1. Metody weryfikacji poboru mocy układów BIST Analizując literaturę dotyczącą minimalizacji poboru mocy systemów samotestowania wewnątrzukładowego BIST można wyróżnić kilka metod weryfikacji proponowanych rozwiązań. Różnią się one zarówno wyznaczaną wielkością charakteryzującą pobieraną moc, jak i blokami, dla których wyliczana jest wartość mocy. Dodatkowe różnice wynikają m.in. z zastosowanego oprogramowania (Xilinx WebPACK ISE [Muthammal i Joseph, 2011], Altera Quartus II [Kavitha, 2012] lub innego [Liang et al., 2012][Ye i Li, 2010]) oraz sposobu prezentacji wyników (np. przedstawienie wyłącznie różnic wartości poboru mocy pomiędzy układem standardowego LFSR i zaproponowanego układu [Saraswathi et al., 2011]). Tab pokazuje parametry, na których weryfikowane były metody i algorytmy zaprezentowane w innych pracach. Tabela 4.1. Parametry, na których weryfikowane były metody i algorytmy zaprezentowane w innych pracach 1 [Ye i Li, 2010], 2 [Nourani et al., 2008], 3 [Saraswathi et al., 2011], 4 [Liang et al., 2012], 5 [Kasthuri et al., 2014], 6 [Kavitha i SasiKumar, 2014] (źródło: opracowanie własne) Praca Częstotliwość b.d. 100 b.d. b.d. [MHz] Technologia 0,13µm 0,18µm b.d. 45nm 65nm b.d. Rodzina układów programowalnych /układ b.d. b.d. b.d. b.d. Xilinx Virtex 5 /XC5VLX50 b.d. Długość ciągu testowego w bitach Czas testowania [s] b.d. 33 b.d b.d. b.d. b.d. b.d. b.d. 19,92 W przeważającej większości prac autorzy w badaniach biorą pod uwagę wartość mocy pobieranej wyłącznie przez jeden z bloków układu BIST (TPG lub SA) w zależności od zaproponowanego w artykule rozwiązania [Kavitha, 2012][Liang et al., 2012]. W wyjątkowych przypadkach w badaniach jest brana pod uwagę wartość poboru mocy pobieranej przez cały układ BIST [Nourani et al., 2008]. Jednocześnie widać wyraźnie znaczne braki w podawanych przez Autorów informacjach dotyczących warunków przeprowadzania badań. Duże obszary tab. 4.1 zostały wyróżnione kolorem czerwonym oznaczającym brak danych na temat parametru (w odróżnieniu od komórek wyróżnionych kolorem niebieskim informującym o umieszczeniu wartości parametru w tekście publikacji). Układy stanowiące CUT są standardowymi układami testowymi pochodzącymi z bibliotek ISCAS 85 (układy kombinacyjne) oraz ISCAS 89 (układy sekwencyjne). Wielkościami określającymi wartość poboru mocy stosowanymi powszechnie w literaturze są: moc P w [W] (lub jednostkach podwielokrotnych) [Kavitha, 2012], [Liang et al., 2012][Ye i Li, 2010], ważona aktywność przełączania WSA [Vijay i Chitra, 2012]. 7
9 Na podstawie przedstawionych powyżej rozważań oraz biorąc pod uwagę fakt, iż metody i algorytmy przedstawione w rozdziale czwartym dotyczą tylko i wyłącznie wykorzystywanych w BIST generatora testów i analizatora sygnatur, zdecydowano się na następujące warunki przeprowadzenia badań: wykorzystanie dwóch środowisk projektowania systemów cyfrowych oraz analizy poboru mocy: firmy Xilinx (WebPACK ISE wraz z Xilinx XPower) i firmy Altera (Quartus II wraz z PowerPlay), badaniom poddano zarówno same układy TPG, jak i cały układ BIST Weryfikacja badań w środowisku WebPACK ISE W celu zmniejszenia poboru mocy w zmodyfikowanej strukturze generatora testów oraz analizatora sygnatur należy generować więcej niż jeden nowy bit, z których powstanie M sekwencja, w czasie jednego taktu zegara. Wykorzystując algorytm do generowania q nowych bitów napisano projekty w języku VHDL dla wszystkich wielomianów 5 stopnia dla liczby nowych bitów wynoszącej od 1 do 10. Następnie, z wykorzystaniem pakietu WebPACK ISE przeprowadzono syntezę układu przedstawionego w rozdziale czwartym oraz dokonano pomiaru poboru mocy na układzie FPGA Spartan-II XC2S100 w programie XPOWER. Po stwierdzeniu, na podstawie symulatora ModelSim, że układ będzie pracował zgodnie z oczekiwaniami, tj. wygeneruje więcej niż jeden nowy bit podczas jednego taktu zegara, przystąpiono do oceny poboru mocy dla wszystkich wielomianów pierwotnych 5 stopnia. Oceny poboru mocy dokonano przy maksymalnej częstotliwości płyty XSA 100 wynoszącej 100MHz i czasie pracy 4000ns. W Tab przedstawiono wyniki pomiarów poboru mocy na jeden nowy bit dla wszystkich wielomianów pierwotnych 5 stopnia dla liczby nowych bitów od 1 do 10. Pobór mocy na jeden nowy bit to pobór mocy generatora dzielony przez liczbę nowych bitów. Ponieważ standardowy generator w jednym takcie generuje jeden nowy bit więc jego pobór mocy na jeden nowy bit jest równy poborowi mocy generatora. W zmodyfikowanym generatorze natomiast należy pobór mocy generatora (w trakcie jednego taktu) podzielić przez liczbę bitów, które generator wygenerował. Z Tab wynika, że pobór mocy na jeden nowy bit spada z każdym nowym bitem. Taka sama sytuacja dotyczy liczby makrokomórek, natomiast liczba bloków funkcjonalnych od czterech nowych bitów utrzymuje się na stałym poziomie i wynosi 1. Tabela 4.2. Wartość poboru mocy dynamicznej oraz liczba elementów logicznych na 1 nowy bit dla układu generującego od 2 do 10 nowych bitów dla wielomianów 5 stopnia P[mW] minimalne i maksymalne wartości mocy dynamicznej, LM liczba makrokomórek, LE-liczba elementów logicznych (źródło: opracowanie własne na podstawie algorytmu 4.3 w rozdziale 4.3) Liczba nowych bitów P[mW] LM LE
10 Jak wynika z Tab implementacja zaproponowanych algorytmów pozwala na obniżenie poboru mocy na 1 bit podczas testowania wewnątrzukładowego BIST, zarówno w generatorze TPG, jak i w analizatorze SA Weryfikacja badań w środowisku Quartus II Omówiony w rozprawie algorytm do generowania q nowych bitów posłużył do przygotowania narzędzia napisanego w języku C służącego do tworzenia kodu VHDL układu generatora. Konieczność stworzenia narzędzia wynika z budowy macierzy V q, której nie da się przygotować wyłącznie w języku VHDL. Kod VHDL składa się z trzech plików zawierających bloki układu generatora: układ licznika modulo q, układ generowania wartości z macierzy V q, układ generatora generującego q nowych bitów. Jako parametry niezbędne do przygotowania plików program potrzebuje podania wielomianu pierwotnego, dla którego będzie wyznaczana macierz V q, oraz wartości q liczby nowych bitów. Dodatkowo podawana jest nazwa projektu, która wykorzystywana jest w tworzeniu nazw plików. Po uruchomieniu program przygotowuje trzy pliki w języku VHDL zawierające kod poszczególnych bloków układu. W praktycznych zastosowaniach pliki należy dołączyć do projektu i odpowiednio podłączyć wyprowadzenia wejściowe (sygnał taktujący i zerujący) oraz wyjściowe (wartości wygenerowanych bitów) do CUT. Przedstawione poniżej badania zostały przeprowadzone z wykorzystaniem oprogramowania Altera Quartus II w wersji 13.0 [altera]. Dla każdego z badanych przypadków układu (dla różnych wielomianów pierwotnych oraz dla różnej liczby nowych bitów) wygenerowano odpowiedni zbiór plików w języku VHDL za pomocą narzędzia szczegółowo opisanego w rozprawie. Każdy projekt został skompilowany z wykorzystaniem standardowych ustawień programu i wprowadzony do symulatora, który przeprowadził analizę poboru mocy układu wynikowego za pomocą wbudowanego narzędzia dostarczanego przez firmę Altera (PowerPlay Power Analyzer Tool). Do symulacji na wejście zegarowe został podany sygnał taktujący o częstotliwości 100MHz. Badania zostały przeprowadzone dla układu programowalnego Cyclone III należącego do rodziny układów FPGA. W analizie wzięto pod uwagę wartość mocy dynamicznej w przeliczeniu na jeden nowy bit. Do badań wykorzystano wielomiany pierwotne 33 i 28 stopnia. Wielomian 33 stopnia pozwala na generowanie ciągu testującego dla układu c1908 pochodzącego ze zbioru układów ISCAS 85, natomiast wielomian 28 stopnia dla układu s38417 pochodzącego ze zbioru ISCAS 89. Wymienione zbiory układów testowych były wykorzystywane przez większość autorów. Natomiast wybrane układy były wykorzystywane do badań w pracach (np. [Nourani et al., 2008], [Saraswathi et al., 2011]). Wartości otrzymane w symulacji zostały zestawione z wartościami zawartymi w [Saraswathi et al., 2011] w celu weryfikacji tezy, czy proponowane rozwiązanie daje większy zysk, co do wartości mocy pobieranej przez układ LFSR. 9
11 4.4. Badania poboru mocy układu generatora Na rys przedstawiono zależność wartości poboru mocy układu LFSR w zależności od liczby nowych bitów generowanych przez układ. Kolejne krzywe zostały przygotowane dla wielomianów: P1 f ( x) x + x + x, P2 f ( x) x + x + x + x + x + x, P3 f ( x) x + x + x + x + x + x 33. 0,16 0,14 0,12 P [mw] 0,1 0,08 0,06 P1 P2 P3 0,04 0, Liczba nowych bitów Rys Zależność wartości poboru mocy dla układu LFSR w zależności od liczby nowych bitów dla poszczególnych wielomianów: P1 f ( x) x + x + x, P2 f ( x) x + x + x + x + x + x, P3 f ( x) x + x + x + x + x + x (źródło: opracowanie własne) Na rys przedstawiono zależność wartości poboru mocy układu LFSR w zależności od liczby nowych bitów generowanych przez układ. Kolejne krzywe 3 28 zostały przygotowane dla wielomianów: P1 f ( x) x + x, P2 f ( x) x + x + x + x, P3 f ( x) x + x + x + x + x + x. Przeprowadzone badania potwierdziły bardzo wysoką skuteczność zaproponowanego rozwiązania. Zarówno dla układu na bazie wielomianu 33 stopnia, jak i układu na bazie wielomianu 28 stopnia, osiągnięto ok. 80% redukcję wartości mocy pobieranej przez układ. Wyniki otrzymane dla wielomianu 33 stopnia są porównywalne z wynikami otrzymanymi w [Saraswathi et al., 2011], natomiast dla wielomianu 28 stopnia zauważono wyraźną poprawę. Zauważono również niewielki wpływ samego wielomianu na wartość poboru mocy. Postać wielomianu, a w szczególności liczba niezerowych współczynników, ma dość duży wpływ na liczbę elementów logicznych wykorzystywanych przez układ. Najmniejszą liczbę elementów logicznych potrzebował układ realizowany na bazie
12 wielomianu o najmniejszej liczbie niezerowych współczynników (dla wielomianu stopnia był to wielomian f ( x) x + x + x, który wymagał od 163 do 170 elementów logicznych, natomiast dla wielomianu 28 stopnia który zajmował od 130 do 135 elementów logicznych). f ( x) + x 3 28 x, 0,16 0,14 0,12 P [mw] 0,1 0,08 0,06 P1 P2 P3 0,04 0, Liczba nowych bitów Rys Zależność wartości poboru mocy dla układu LFSR w zależności od liczby nowych bitów dla poszczególnych wielomianów: 3 28 P1 f ( x) x + x, P2 f ( x) x + x + x + x, P3 f ( x) x + x + x + x + x + x (źródło: opracowanie własne) W większości wypadków pobór mocy malał wraz ze wzrostem liczby generowanych bitów, jednakże w kilku przypadkach (np. dla wielomianu f ( x) x + x + x + x + x + x ) można było zauważyć pewne odchylenia. Dlatego w praktycznych realizacjach należy sprawdzić, które z rozwiązań pozwala na uzyskanie najmniejszej wartości poboru mocy. Jednocześnie da się zauważyć brak korelacji pomiędzy liczbą elementów logicznych wykorzystanych do realizacji układu i liczbą niezerowych współczynników wielomianu pierwotnego Badania poboru mocy kompletnego układ BIST z wykorzystaniem układu generatora q nowych bitów Przedstawione w punkcie 4.4 badania nie dają pełnego obrazu efektywności zaproponowanego rozwiązania, gdyż rzeczywisty system BIST, oprócz generatora sekwencji testowej (TPG), składa się również z układu testowanego (CUT), analizatora sygnatur (SA) oraz układu kontrolera BIST. Każdy z wymienionych bloków pobiera
13 energię podczas testowania i nie zawsze możliwe jest określenie całkowitej mocy na podstawie pracy tylko jednego komponentu systemu. Dlatego konieczne jest przeprowadzenie badań na całym układzie BIST zawierającym TPG, CUT oraz SA. Do badań zostaną wykorzystane dwa układy BIST: układ wykorzystujący jako TPG standardowy układ LFSR, układ wykorzystujący jako TPG zmodyfikowany LFSR generujący q nowych bitów. W każdym z wymienionych przypadków, jako układ CUT został wybrany układ c1908 będący standardowym układem testowym pochodzącym ze zbioru ISCAS 85. Natomiast jako analizator sygnatur zostanie zastosowany klasyczny wielowejściowy analizator sygnatur z wykorzystaniem układu LFSR. Do budowy generatora sekwencji testowej (TPG) wykorzystano układy LFSR. Testowanie opiera się na sekwencji testów pseudolosowych, zapewniającej około 90% pokrycia uszkodzeń w testowanym układzie [Hławiczka, 1993]. Sekwencję uzyskuje się na wyjściu rejestru LFSR. Wykorzystano rejestr LFSR na bazie wielomianu pierwotnego 33 stopnia postaci 1+x 4 +x 6 +x 33. Wielomian ten został zastosowany zarówno w przypadku standardowego układu LFSR, jak i zmodyfikowanego układu LFSR generatora q nowych bitów. W przypadku zmodyfikowanego układu LFSR należy wybrać wartość q zgodnie z algorytmem projektowania generatora testów o niskim poborze mocy, z wykorzystaniem decymacji M sekwencji. Ponieważ L = = , więc należy zadbać o zapewnienie warunku, aby L i q były liczbami względnie pierwszymi. Wybrano wartość q = 8. Ponieważ zarówno układ standardowego, jak i zmodyfikowanego LFSR generuje ciąg pojedynczych bitów, a testowany układ posiada 33 wejścia, należy przygotować z ciągu wektor testowy podawany do wejścia układu CUT. Do tego celu wykorzystano rejestr przesuwny posiadający 33 wyjścia. Rozwiązanie takie jest stosowane w samotestowaniu opartym na skanowaniu (ang. scan based BIST) [Murashko et al., 2004b]. Na rys. 4.3 przedstawiono schemat połączenia układu LFSR standardowego (rys. 4.3a) i zmodyfikowanego (rys. 4.3b) z rejestrem i układem testowanym (CUT). Dla układu standardowego LFSR rejestr posiada jedno wejście, czyli jest klasycznym rejestrem szeregowo-równoległym. Dla układu zmodyfikowanego LFSR rejestr posiada q wejść, które pozwalają na ustawienie wartości w q najstarszych bitach rejestru (ponieważ w układzie rozpatrywanym w niniejszym przykładzie q = 8, więc liczba wejść rejestru przesuwnego wynosi 8). a) wykorzystanie standardowego LFSR b) wykorzystanie zmodyfikowanego LFSR generującego q nowych bitów Rys Schemat połączenia układu LFSR z rejestrem i układem CUT (źródło: opracowanie własne) 12
14 Układ wielowejściowego analizatora sygnatur (SA) został zbudowany w oparciu o ten sam wielomian pierwotny, co układ TPG. Układy TPG i SA zostały zapisane w języku VHDL, natomiast układ c1908, będący układem testowanym (CUT) został zapisany w języku Verilog. Wszystkie elementy zostały połączone w projekcie programu Altera Quartus II Wyniki badań Układy przygotowane przez Autora zostały skompilowane z wykorzystaniem standardowych ustawień programu i wprowadzone do symulatora, który przeprowadził analizę poboru mocy układu wynikowego za pomocą wbudowanego narzędzia dostarczanego przez firmę Altera (PowerPlay Power Analyzer Tool). Do symulacji na wejście zegarowe został podany sygnał taktujący o częstotliwości 100MHz. Badania zostały przeprowadzone dla układu programowalnego Cyclone III należącego do rodziny układów FPGA. Do porównań zostały wzięte wyniki przedstawione w [Nourani et al., 2008], [Kavitha i SasiKumar, 2014] oraz [Kasthuri et al., 2014]. Wyniki przedstawione w [Nourani et al., 2008] otrzymano za pomocą Synopsys Design Compiler, a w [Kavitha i SasiKumar, 2014]] przy użyciu narzędzi Altera Quartus II oraz PowerPlay. Natomiast w [Kasthuri et al., 2014] wykorzystano narzędzia Xilinx ISE wraz z XPower. W pracy [Nourani et al., 2008] Autor opisał architekturę układu LFSR o zmniejszonej liczbie przełączeń (Low-Transition LFSR LT-LFSR). Architektura ta wykorzystuje dwie techniki: wstrzykiwania losowych bitów (Random-bit Injection RI) oraz technikę Bipartite. Technika RI polega na wstawianiu pomiędzy ścieżki testowe nowej ścieżki testowej przygotowanej poprzez dodanie losowego bitu. Natomiast technika Bipartite generuje nową ścieżkę testową wykorzystując połowę jednej z dwóch danych ścieżek testowych. Zastosowanie jednoczesne obu technik pozwala na zmniejszenie o połowę częstotliwości pracy generatora sekwencji testowej. Układy testowe zostały skompilowane z wykorzystaniem kompilatora Synopsys Design Compiler, a optymalizacja została przeprowadzona dla technologii 0.18µm. Pomiar mocy odbywał się za pomocą narzędzia PrimePower dla napięcia zasilającego o wartości 1.8V. Nie podano częstotliwości pracy układu, przy której dokonywano pomiarów. Nie wskazano również wersji oprogramowania zastosowanego przy badaniach. Wyniki zaprezentowane w pracy odnoszą się do całego układu BIST. W pracy [Kavitha i SasiKumar, 2014] Autor zaproponował zastosowanie zmiany porządku ścieżki testowej w celu zmniejszenia aktywności przełączania. Wykorzystał do tego celu odległość Hamminga pomiędzy sąsiednimi ścieżkami testowymi. Zmniejszenie odległości Hamminga zmniejsza liczbę przełączeń, a co za tym idzie skutkuje w zmniejszeniu mocy pobieranej przez układ testowany. Badania zostały przeprowadzone z wykorzystaniem środowiska Quatrus II w wersji 9.1, a pobór energii został zmierzony za pomocą narzędzia PowerPlay Power Analyzer Tool. Nie podano więcej szczegółów dotyczących warunków przeprowadzania badań, w tym wartości napięcia zasilającego, częstotliwości pracy i zastosowanej technologii. Można się jedynie domyślać, że wykorzystano wyłącznie oprogramowanie dostarczane wraz z pakietem Quartus II. Również wersja oprogramowania (9.1 z listopada 2009 r.) jest dość przestarzała (obecnie wydawana wersja to 15.0 z maja 2015 r.). Wyniki zaprezentowane w pracy odnoszą się do całego układu BIST. W pracy [Kasthuri et al., 2014] Autor zaproponował hybrydowy układ LFSR, który wykorzystuje zwykły LFSR na bazie wielomianu pierwotnego oraz dekoder 13
15 z kodu binarnego do kodu nadmiarowego excess 4. Wyjściowy ciąg po zmianie kodowania nie traci pożądanych właściwości (w tym np. pseudolosowości), natomiast powoduje zmniejszenie aktywności przełączania w układzie testowanym. Badania zostały przeprowadzone z wykorzystaniem środowiska Xilinx WebPack ISE (do przygotowania i skompilowania układów) oraz Xilinx X-Power Analyzer Tool (do przeprowadzenia pomiarów poboru mocy). Do testów wykorzystano układ XC5VLX50 z rodziny Virtex5. Autor nie podał częstotliwości, dla której przeprowadzono obliczenia, ani wartości napięcia zasilającego (można się domyślać, że narzędzia biorą pod uwagę w obliczeniach wartość katologową napięcia zasilającego układ Virtex5). Wyniki zaprezentowane w pracy odnoszą się do całego układu BIST. Wyniki badań zostały przedstawione w tab. 4.3 [Puczko, 2015a]. W kolumnie P STAND zebrano wartości poboru mocy w miliwatach dla układu BIST z TPG wykorzystującym standardowy układ LFSR; kolumna P NOUR08 zawiera wartość mocy podaną w [Nourani et al., 2008] dla układu BIST testującego układ c1908; kolumna P KAVI14 zawiera wartość mocy podaną w [Kavitha i SasiKumar, 2014] dla układu BIST testującego układ c1908; kolumna P KAST14 zawiera wartość mocy podaną w [Kasthuri et al., 2014] dla układu BIST testującego układ c1908; kolumna P MODIF zawiera wartości poboru mocy dla układu BIST z TPG wykorzystującym zmodyfikowany układ LFSR generujący q nowych bitów. P STAND [mw] Tabela 4.3. Wyniki badań układu BIST (źródło: opracowanie własne) P NOUR08 [mw] P KAVI14 [mw] P KAST14 [mw] P MODIF [mw] 5,43 1,40 2,27 34,04 5,24 Wyniki przedstawione w tab potwierdzają zasadność zastosowania zmodyfikowanego układu TPG z wykorzystaniem zmodyfikowanego układu LFSR generującego q nowych bitów do zmniejszenia poboru mocy układu BIST. Moc dynamiczna układu zmodyfikowanego wynosiła 5,24 mw, co oznacza zmniejszenie wartości o 3,5% w porównaniu ze standardowym układem LFSR. W tab przedstawiono wartości określające stosunek wartości mocy dla układu BIST wykorzystującego zmodyfikowany LFSR do wartości mocy uzyskanej przez innych autorów (dane z tab. 4.3). Kolumna Rodzaj mocy zawiera rodzaj wyliczanej mocy, którą jest wyłącznie moc dynamiczna; w kolumnie P MODIF /P STAND przedstawiono stosunek wartości mocy układu zmodyfikowanego do standardowego (wyrażony w procentach); w kolumnie P MODIF /P NOUR08 przedstawiono stosunek wartości mocy układu zmodyfikowanego do wartości z [Nourani et al., 2008] (wyrażony w procentach); w kolumnie P MODIF /P KAVI14 przedstawiono stosunek wartości mocy układu zmodyfikowanego do wartości z [Kavitha i SasiKumar, 2014] (wyrażony w procentach) ); w kolumnie P MODIF /P KAST14 przedstawiono stosunek wartości mocy układu zmodyfikowanego do wartości z [Kasthuri et al., 2014] (wyrażony w procentach). Rodzaj mocy Tabela 4.4. Wyniki badań układu BIST (źródło: opracowanie własne) P MODIF /P STAND [%] P MODIF /P NOUR08 [%] P MODIF /P KAVI14 [%] P MODIF /P KAST14 [%] dynamiczna 96,5 374,3 230,8 15,4 14
16 W porównaniu z układem LT-LFSR (Low Transitions LFSR) opisanym w [Nourani et al., 2008] należy zauważyć, iż wartość mocy układu z TPG wykorzystującym zmodyfikowany LFSR generującym q nowych bitów jest znacznie większa i stanowi 374,3% wartości mocy układu z LT-LFSR. Podobnie przedstawia się sytuacja z układem wykorzystującym algorytm Floyd opisanym w [Kavitha i SasiKumar, 2014], gdzie moc zmodyfikowanego LFSR zwiększyła się do ponad 230% wartości układu wykorzystującego algorytm Floyd. Jednakże porównując do układu z [Kasthuri et al., 2014] wartość mocy zmodyfikowanego LFSR generującego q nowych bitów wynosiła tylko 15,4% [Puczko, 2015b]. Wyniki przedstawione w tab. 4.3 i 4.4 nie dają jednoznaczniej odpowiedzi, czy zaproponowane rozwiązanie jest zawsze i bezwzględnie skuteczne. Potwierdzają duże możliwości proponowanej architektury (porównanie z układem zaproponowanym w [Kasthuri et al., 2014]), ale też wskazują, iż są rozwiązania mogące skutecznie konkurować z propozycją Autora ([Nourani et al., 2008] i [Kavitha i SasiKumar, 2014]). Przedstawione w niniejszym rozdziale wyniki badań stanowią podstawę stwierdzenia, iż zastosowanie zmodyfikowanego LFSR pozwala na redukcję poboru mocy układów samotestowania wewnątrzukładowego BIST. Jednakże zaproponowana metoda nie jest pozbawiona wad. Jej stosowanie należy ograniczyć do generatorów sekwencji testowej, w których generowane jest jak najwięcej bitów jednocześnie. Przygotowanie takiego układu może być jednak bardzo czasochłonne (np. ze względu na konieczność przeprowadzenia dość skomplikowanych obliczeń niezbędnych do stworzenia macierzy V q ) co może utrudnić lub nawet uniemożliwić wykorzystanie takiego generatora. Dodatkowo proponowane rozwiązanie wymaga większej liczby elementów do pełnej realizacji BIST (np. dodatkowy rejestr PISO). Powoduje to zwiększone zużycie ograniczonych zasobów układu i może prowadzić do wyczerpania elementów logicznych w układzie FPGA i braku możliwości realizacji układu samotestowania wewnątrzukładowego. 5. Podsumowanie W rozprawie przedstawiono wyniki badań nad nowymi i zmodyfikowanymi metodami i algorytmami projektowania generatorów testów oraz analizatorów sygnatur o niskim poborze mocy w samotestujących układach cyfrowych [Puczko, 2013], [Puczko, 2015a], [Puczko, 2015b]. Głównymi rezultatami pracy są: algorytm obliczania macierzy V q, algorytm projektowania generatora testów o niskim poborze mocy, z wykorzystaniem decymacji M sekwencji, metoda projektowania wielowejściowego sumatora modulo 2 o minimalnym poborze mocy, algorytm projektowania wielowejściowego sumatora modulo 2 o minimalnej aktywności przełączeń, wykorzystując 2 wejściowe bramki XOR dla aktywności przełączeń wejść wynoszącej 0,5, algorytm projektowania wielowejściowego sumatora modulo 2 o minimalnej aktywności przełączeń, wykorzystując 2 wejściowe bramki XOR dla dowolnej aktywności przełączeń wejść, implementacja proponowanych rozwiązań w układzie programowalnym. Ponadto: 1) Przeanalizowano problem znacznego poboru mocy przez generatory testów oraz analizatory sygnatur w samotestujących układach cyfrowych. W tym celu dokonano 15
17 przeglądu zagadnień związanych z poborem mocy współczesnych układów cyfrowych, źródła poboru mocy oraz metody szacowania poboru mocy dynamicznej i statycznej. 2) Zbadano stosowane powszechnie metody i techniki służące do obniżania poboru mocy w generatorach testów oraz analizatorach sygnatur w samotestujących układach cyfrowych. 3) Zaproponowano metodę projektowania wielowejściowego sumatora modulo 2 o minimalnym poborze mocy, który to jest wykorzystywany zarówno w generatorach testów jak i analizatorach sygnatur, 4) Opracowano nowe metody i techniki projektowania generatorów testów oraz analizatorów sygnatur o niskim poborze mocy, w tym: opracowano algorytm projektowania wielowejściowego sumatora modulo 2 o minimalnej aktywności przełączeń, wykorzystując 2 wejściowe bramki XOR dla aktywności przełączeń wejść wynoszącej 0,5, opracowano algorytm projektowania wielowejściowego sumatora modulo 2 o minimalnej aktywności przełączeń, wykorzystując 2 wejściowe bramki XOR dla dowolnej aktywności przełączeń wejść, opracowano algorytm obliczania macierzy V q, opracowano algorytm projektowania generatora testów o niskim poborze mocy, z wykorzystaniem decymacji M sekwencji. 5) Zbadano możliwości wykorzystania opracowanych metod i algorytmów projektowania generatorów testów oraz analizatorów sygnatur o niskim poborze mocy w testowaniu z użyciem par wektorów testowych (ang. two-pattern test) oraz w generatorach kluczy w szyfrach strumieniowych (w szczególności w generatorze Geffe go). 6) Zbadano wpływ stopnia i liczby niezerowych współczynników wielomianu pierwotnego danego stopnia na pobór mocy w standardowych oraz nowych metodach i technikach projektowania generatorów testów oraz analizatorów sygnatur. 7) Porównano pobór mocy w standardowych oraz nowych metodach i technikach projektowania generatorów testów oraz analizatorów sygnatur. 8) Zaimplementowano układy testowe z wykorzystaniem opracowanych metod i algorytmów w układach programowalnych w celu weryfikacji wiarygodności i efektywności proponowanych rozwiązań. 9) Zweryfikowano obliczenia teoretyczne z wykorzystaniem rzeczywistych układów oraz specjalistycznego oprogramowania. 10) Otrzymane rezultaty potwierdziły postawioną we wstępie pracy tezę, że wykorzystując metody szybkiego generowania sekwencji o maksymalnej długości w procesie projektowania BIST, można uzyskać zmniejszenie ważonej aktywności przełączeń, a tym samym obniżyć pobór mocy przez generatory testów oraz analizatory sygnatur w samotestujących układach cyfrowych. Uzyskane w rozprawie wyniki wprowadzają podstawy teoretyczne i nową metodologię projektowania generatorów testów i analizatorów sygnatur o niskim poborze mocy w samotestujących układach cyfrowych, a zaproponowane metody i techniki podnoszą ich wydajność ze względu na pobór mocy. Na podstawie przeprowadzonych badań można uznać, że teza postawiona w rozprawie została potwierdzona. 16
18 Literatura Abdallatif et al., 2009 Agraval et al., 1993 Bardel and McAnney, 1984 Bonhomme et al., 2002 Bushnell i Agrawal, 2000 Cirit, 1987 Crouch, 1999 David, 1998 Girard, 2000 Hassan et al., 1983 Abdallatif S., Abu-Issa, and Steven F. Quigley S.F.: Bit-Swapping LFSR and Scan-Chain Ordering: A Novel Technique for Peak- and Average-Power Reduction inscan-based BIST, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 28, NO. 5, MAY 2009, pp Agraval V.D., Kime C.R., Saluja K.K.: A tutorial on Built-In Self Test-Part 1-Principles, Design&Test of Computers, March 1993, pp Bardel P.H., McAnney W.H.: Parallel pseudo-random sequences for built-in test, Proc. of International Test Conference (ITC), 1984, pp Bonhomme Y., Girard P., Landrault C., Pravossoudovitch S.: Test Power: a Big Issue in Large SoC Designs, 1st IEEE International Workshop on Electronic Design, Test and Applications, DELTA Bushnell M.L., Agrawal V.D.: Essentials of Electronic Testing, Kluwer Academic Publ., Boston, Cirit M.A.: Estimating Dynamic Power Consumption of CMOS Circuits, ACM/IEEE International Conference on CAD, November 1987, pp Crouch A.: Design-for-test for Digital IC s and Embedded Core Systems, Prentice Hall, David R.: Random testing of digital circuits. Theory and Applications, Marcel Dekker, Inc., New York, Girard P.: Low Power testing of VLSI Circuits: Problems and Solutions, IEEE International Symposium on Quality of Electronic Design, March 2000, pp Hassan S.Z., Lu D.J., McCluskey E.: Parallel Signatur Analyzers Detection Capability and Extensions, Proc. of COMPCON, Sprong 1983, pp Hławiczka, 1993 Hławiczka A. Praca zbiorowa: Łatwo testowalne układy i pakiety cyfrowe, WNT, Warszawa, Iman i Pedram, 1997 Kasthuri et al., 2014 Kavitha, 2012 Kavitha i SasiKumar, 2014 Iman S., Pedram M.: Logic synthesis for low power VLSI designs, Kluwer Academic Publishers, Boston, Kasthuri M., Govindaraj V.: A new low power BIST using hybrid LFSR, International Journal of VLSI and Embedded Systems IJVES, Vol. 05, 2014, pp Kavitha A., G. Seetharaman A., Prabakar T.N.: Design of Low Power TPG Using LP-LFSR, Third International Conference on Intelligent Systems Modelling and Simulation, 2012, pp Kavitha A., SasiKumar S.: Minimizing switching activities through reordering algorithm for efficient power management, Journal of Scientific & Industrial Research, Vol. 73, June 2014, pp
19 Koenemann et al., 1980 Koenemann B., Mucha J., Zweichoff G.: Built-In Test for complex digital integrated circuits, IEEE Journal of Solid-State Circuits, Vol. S.C.-15, No. 3, June 1980, pp Liang et al., 2012 Nourani et al., 2008 Murashko et al., 2004b Muthammal i Joseph, 2011 Puczko, 2013 Puczko, 2015a Puczko, 2015b Saraswathi et al., 2011 Tsui et al., 1995 Vijay i Chitra, 2012 Wang i Roy, 1996 Yarmolik i Murashko, 2002 Ye i Li, 2010 Liang F., Zhang L., Lei S., Zhang G., Gao K., Liang B.: Test Patterns of Multiple SIC Vectors: Theory and Application in BIST Schemes, IEEE Transactions on Very Large Scale Integration (VLSI) SYSTEMS, Nourani M., Tehranipoor M., Ahmed N., Low-Transition Test Pattern Generation for BIST-Based Applications. IEEE Transactions on Computers, Vol. 57, No. 3, March 2008, pp Murashko I., Yarmolik V.N., Puczko M.: The power consumption reducing technique of the pseudo-random test pattern generator and the signature analyzer for the built-in self-test, Visnik Nacional'nogo Universitetu L'vivs'ka Politechnika, 2004, No. 501, pp Muthammal R., Joseph K O: Low Power Efficient Built in Self Test, Microwaves, Communications, Antennas and Electronics Systems (COMCAS), 2011 IEEE International Conference, 2011, pp Puczko M., TPG and SA with low Power consumption, Pomiary Automatyka Kontrola, 2013, No. 10, pp Puczko M.: Low Power consumption in BIST, artykuł zrecenzowany i przyjęty do publikacji na The 18th Conference on Reconfigurable Ubiquitous Computing (RUC 2015), publikacja ma się pojawić w Pomiary Automatyka Kontrola Jan. 2016, vol. 61, no. 01. Puczko M., Low power Test Pattern Generator for BIST, artykuł zrecenzowany i przyjęty do publikacji na Wybrane Zagadnienia Elekrotechniki i Elektroniki (WZEE 2015), publikacja ma się pojawić w bazie IEEE. Saraswathi.T, Ragini.K, Ganapathy Reddy.Ch: A Review on Power optimization of Linear Feedback Shift Register (LFSR) for Low Power Built In Self Test (BIST), Electronics Computer Technology (ICECT), rd International Conference, 2011, pp Tsui C-Y. et al.: Power estimation for sequential logic circuits, IEEE Transaction on VLSI Systems, 1995, Vol. 3, No. 3, pp Vijay R., Chitra S.: Power Reduction in Scan Based BIST Using BS- LFSR and Scan-Chain Ordering, IEEE- International Conference On Advances In Engineering, Science And Management (ICAESM ) March 30, 31, 2012, pp Wang Y., Roy K.: Maximum power estimation for CMOS circuits using deterministic and statistical approaches, IEEE VLSI Conference, Yarmolik V.N., Murashko I.: A peak-power estimation for digital circuits design, 5th International Conference: New Information Technologies, NITe 2002, Minsk, 2002, pp Ye B., Li T-W.: A Novel BIST Scheme for Low Power Testing, Computer Science and Information Technology (ICCSIT), rd 18
20 Zorian, 1993 IEEE International Conference, 2010, pp Zorian Y.: A Distributed BIST Control Scheme for Complex VLSI Devices, 11th IEEE VLSI Test Symposium, May 1993, pp altera Altera, webofknowledge 19
Język opisu sprzętu VHDL
Język opisu sprzętu VHDL dr inż. Adam Klimowicz Seminarium dydaktyczne Katedra Mediów Cyfrowych i Grafiki Komputerowej Informacje ogólne Język opisu sprzętu VHDL Przedmiot obieralny dla studentów studiów
WBUDOWANE SAMOTESTOWANIE RUCHEM DROGOWYM
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 113 Transport 2016 Politechnika Warszawska, WBUOWANE SAMOTESTOWANIE RUCHEM ROGOWYM : 2016 Streszczenie: drogowym e ruchu drogowym stowanie adnieniem. W artykule
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki. ĆWICZENIE Nr 4 (3h) Przerzutniki, zatrzaski i rejestry w VHDL
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki ĆWICZENIE Nr 4 (3h) Przerzutniki, zatrzaski i rejestry w VHDL Instrukcja pomocnicza do laboratorium z przedmiotu Synteza układów
Zwiększanie wiarygodności systemów wykorzystujących układy programowalne
Zwiększanie wiarygodności systemów wykorzystujących układy programowalne Andrzej Kraśniewski PRUS, 17 stycznia 2013 r. wiarygodność (dependability) niezawodność bezpieczeństwo działania (safety) Wiarygodność
Układy sekwencyjne. Podstawowe informacje o układach cyfrowych i przerzutnikach (rodzaje, sposoby wyzwalania).
Ćw. 10 Układy sekwencyjne 1. Cel ćwiczenia Celem ćwiczenia jest zapoznanie się z sekwencyjnymi, cyfrowymi blokami funkcjonalnymi. W ćwiczeniu w oparciu o poznane przerzutniki zbudowane zostaną układy rejestrów
5.3. Analiza maskowania przez kompaktory IED-MISR oraz IET-MISR wybranych uszkodzeń sieci połączeń Podsumowanie rozdziału
3 SPIS TREŚCI WYKAZ WAŻNIEJSZYCH SKRÓTÓW... 9 WYKAZ WAŻNIEJSZYCH OZNACZEŃ... 12 1. WSTĘP... 17 1.1. Zakres i układ pracy... 20 1.2. Matematyczne podstawy opisu wektorów i ciągów binarnych... 25 1.3. Podziękowania...
Metody optymalizacji soft-procesorów NIOS
POLITECHNIKA WARSZAWSKA Wydział Elektroniki i Technik Informacyjnych Instytut Telekomunikacji Zakład Podstaw Telekomunikacji Kamil Krawczyk Metody optymalizacji soft-procesorów NIOS Warszawa, 27.01.2011
PROJEKTOWANIE UKŁADÓW MIKROPROGRAMOWANYCH Z WYKORZYSTANIEM WBUDOWANYCH BLOKÓW PAMIĘCI W MATRYCACH PROGRAMOWALNYCH
II Konferencja Naukowa KNWS'05 "Informatyka- sztuka czy rzemios o" 5-8 czerwca 005, Z otniki Luba skie PROJEKTOWANIE UKŁADÓW MIKROPROGRAMOWANYCH Z WYKORZYSTANIEM WBUDOWANYCH BLOKÓW PAMIĘCI W MATRYCACH
Spis treści 1. Wstęp 2. Ćwiczenia laboratoryjne LPM
Spis treści 1. Wstęp... 9 2. Ćwiczenia laboratoryjne... 12 2.1. Środowisko projektowania Quartus II dla układów FPGA Altera... 12 2.1.1. Cel ćwiczenia... 12 2.1.2. Wprowadzenie... 12 2.1.3. Przebieg ćwiczenia...
METODY ZINTEGROWANEGO PROJEKTOWANIA SPRZĘTU I OPROGRAMOWANIA Z WYKORZYSTANIEM NOWOCZESNYCH UKŁADÓW PROGRAMOWALNYCH
METODY ZINTEGROWANEGO PROJEKTOWANIA SPRZĘTU I OPROGRAMOWANIA Z WYKORZYSTANIEM NOWOCZESNYCH UKŁADÓW PROGRAMOWALNYCH Arkadiusz Bukowiec mgr inż. Agnieszka Węgrzyn Instytut Informatyki i Elektroniki, Uniwersytet
Bezpieczeństwo informacji oparte o kryptografię kwantową
WYŻSZA SZKOŁA BIZNESU W DĄBROWIE GÓRNICZEJ WYDZIAŁ ZARZĄDZANIA INFORMATYKI I NAUK SPOŁECZNYCH Instrukcja do laboratorium z przedmiotu: Bezpieczeństwo informacji oparte o kryptografię kwantową Instrukcja
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki ĆWICZENIE Nr 3 (4h) Konwersja i wyświetlania informacji binarnej w VHDL Instrukcja do zajęć laboratoryjnych z przedmiotu Synteza
Projektowanie Systemów Wbudowanych
Projektowanie Systemów Wbudowanych Podstawowe informacje o płycie DE2 Autorzy: mgr inż. Dominik Bąk i mgr inż. Leszek Ciopiński 1. Płyta DE2 Rysunek 1. Widok płyty DE2 z zaznaczonymi jej komponentami.
Ćwiczenie ZINTEGROWANE SYSTEMY CYFROWE. Pakiet edukacyjny DefSim Personal. Analiza prądowa IDDQ
Ćwiczenie 2 ZINTEGROWANE SYSTEMY CYFROWE Pakiet edukacyjny DefSim Personal Analiza prądowa IDDQ K A T E D R A M I K R O E L E K T R O N I K I I T E C H N I K I N F O R M A T Y C Z N Y C H Politechnika
Automatyzacja procesu tworzenia sprzętowego narzędzia służącego do rozwiązywania zagadnienia logarytmu dyskretnego na krzywych eliptycznych
Automatyzacja procesu tworzenia sprzętowego narzędzia służącego do rozwiązywania zagadnienia logarytmu dyskretnego na krzywych eliptycznych Autor: Piotr Majkowski Pod opieką: prof. Zbigniew Kotulski Politechnika
OPTYMALIZACJA MODELI SYMULACYJNYCH ZAMODELOWANYCH W JĘZYKU VERILOG HDL Z WYKORZYSTANIEM INTERFEJSU PLI
OPTYMALIZACJA MODELI SYMULACYJNYCH ZAMODELOWANYCH W JĘZYKU VERILOG HDL Z WYKORZYSTANIEM INTERFEJSU PLI Arkadiusz Bukowiec Roman Drożdżyński mgr inż. Agnieszka Węgrzyn Instytut Informatyki i Elektroniki,
Katedra Przyrządów Półprzewodnikowych i Optoelektronicznych Laboratorium Przyrządów Półprzewodnikowych. Ćwiczenie 4
Ćwiczenie 4 Cel ćwiczenia Celem ćwiczenia jest poznanie charakterystyk statycznych układów scalonych CMOS oraz ich własności dynamicznych podczas procesu przełączania. Wiadomości podstawowe. Budowa i działanie
Badanie działania bramki NAND wykonanej w technologii TTL oraz układów zbudowanych w oparciu o tę bramkę.
WFiIS LABORATORIUM Z ELEKTRONIKI Imię i nazwisko: 1. 2. TEMAT: ROK GRUPA ZESPÓŁ NR ĆWICZENIA Data wykonania: Data oddania: Zwrot do poprawy: Data oddania: Data zliczenia: OCENA CEL ĆWICZENIA Badanie działania
Systemy na Chipie. Robert Czerwiński
Systemy na Chipie Robert Czerwiński Cel kursu Celem kursu jest zapoznanie słuchaczy ze współczesnymi metodami projektowania cyfrowych układów specjalizowanych, ze szczególnym uwzględnieniem układów logiki
Programowalne Układy Cyfrowe Laboratorium
Zdjęcie opracowanej na potrzeby prowadzenia laboratorium płytki przedstawiono na Rys.1. i oznaczono na nim najważniejsze elementy: 1) Zasilacz i programator. 2) Układ logiki programowalnej firmy XILINX
Maciej Piotr Jankowski
Reduced Adder Graph Implementacja algorytmu RAG Maciej Piotr Jankowski 2005.12.22 Maciej Piotr Jankowski 1 Plan prezentacji 1. Wstęp 2. Implementacja 3. Usprawnienia optymalizacyjne 3.1. Tablica ekspansji
Lista zadań nr 5. Ścieżka projektowa Realizacja każdego z zadań odbywać się będzie zgodnie z poniższą ścieżką projektową (rys.
Sterowanie procesami dyskretnymi laboratorium dr inż. Grzegorz Bazydło G.Bazydlo@iee.uz.zgora.pl, staff.uz.zgora.pl/gbazydlo Lista zadań nr 5 Zagadnienia stosowanie skończonych automatów stanów (ang. Finite
Zadania do wykładu 1, Zapisz liczby binarne w kodzie dziesiętnym: ( ) 2 =( ) 10, ( ) 2 =( ) 10, (101001, 10110) 2 =( ) 10
Zadania do wykładu 1,. 1. Zapisz liczby binarne w kodzie dziesiętnym: (1011011) =( ) 10, (11001100) =( ) 10, (101001, 10110) =( ) 10. Zapisz liczby dziesiętne w naturalnym kodzie binarnym: (5) 10 =( ),
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki ĆWICZENIE Nr 10 (3h) Implementacja interfejsu SPI w strukturze programowalnej Instrukcja pomocnicza do laboratorium z przedmiotu
PROTOTYPOWANIE UKŁADÓW ELEKTRONICZNYCH Programowalne układy logiczne FPGA Maciej Rosół, Katedra Automatyki AGH, e-mail: mr@ia.agh.edu.
DATA: Ćwiczenie nr 4 PROTOTYPOWANIE UKŁADÓW ELEKTRONICZNYCH Programowalne układy logiczne FPGA Maciej Rosół, Katedra Automatyki AGH, e-mail: mr@ia.agh.edu.pl 1. Cel ćwiczenia Celem ćwiczenia jest zapoznanie
Projektowanie układów na schemacie
Projektowanie układów na schemacie Przedstawione poniżej wskazówki mogą być pomocne przy projektowaniu układach na poziomie schematu. Stałe wartości logiczne Aby podłączyć wejście do stałej wartości logicznych
POLITECHNIKA WARSZAWSKA Wydział Elektroniki i Technik Informacyjnych. Instytut Telekomunikacji Zakład Podstaw Telekomunikacji
POLITECHNIKA WARSZAWSKA Wydział Elektroniki i Technik Informacyjnych Instytut Telekomunikacji Zakład Podstaw Telekomunikacji Kamil Krawczyk Metody optymalizacji soft-procesorów NIOS Opiekun naukowy: dr
PAMIĘCI. Część 1. Przygotował: Ryszard Kijanka
PAMIĘCI Część 1 Przygotował: Ryszard Kijanka WSTĘP Pamięci półprzewodnikowe są jednym z kluczowych elementów systemów cyfrowych. Służą do przechowywania informacji w postaci cyfrowej. Liczba informacji,
OPTYMALIZACJA HARMONOGRAMOWANIA MONTAŻU SAMOCHODÓW Z ZASTOSOWANIEM PROGRAMOWANIA W LOGICE Z OGRANICZENIAMI
Autoreferat do rozprawy doktorskiej OPTYMALIZACJA HARMONOGRAMOWANIA MONTAŻU SAMOCHODÓW Z ZASTOSOWANIEM PROGRAMOWANIA W LOGICE Z OGRANICZENIAMI Michał Mazur Gliwice 2016 1 2 Montaż samochodów na linii w
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: obowiązkowy w ramach treści kierunkowych, moduł kierunkowy ogólny Rodzaj zajęć: wykład, laboratorium I KARTA PRZEDMIOTU CEL PRZEDMIOTU PRZEWODNIK
Ćw. 7: Układy sekwencyjne
Ćw. 7: Układy sekwencyjne Wstęp Celem ćwiczenia jest zapoznanie się z sekwencyjnymi, cyfrowymi blokami funkcjonalnymi. W ćwiczeniu w oparciu o poznane przerzutniki zbudowane zostaną następujące układy
SYNTEZA AUTOMATÓW SKOŃCZONYCH Z WYKORZYSTANIEM METOD KODOWANIA WIELOKROTNEGO
II Konferencja Naukowa KNWS'05 "Informatyka- sztuka czy rzemios o" 15-18 czerwca 2005, Z otniki Luba skie SNTEZA AUTOMATÓW SKOŃCZONCH Z WKORZSTANIEM METOD KODOWANIA WIELOKROTNEGO Arkadiusz Bukowiec Instytut
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki ĆWICZENIE Nr 1 (3h) Wprowadzenie do obsługi platformy projektowej Quartus II Instrukcja pomocnicza do laboratorium z przedmiotu
Ćwiczenie 27 Temat: Układy komparatorów oraz układy sumujące i odejmujące i układy sumatorów połówkowych i pełnych. Cel ćwiczenia
Ćwiczenie 27 Temat: Układy komparatorów oraz układy sumujące i odejmujące i układy sumatorów połówkowych i pełnych. Cel ćwiczenia Poznanie zasad budowy działania komparatorów cyfrowych. Konstruowanie komparatorów
Wykorzystanie układów FPGA w implementacji systemów bezpieczeństwa sieciowego typu Firewall
Grzegorz Sułkowski, Maciej Twardy, Kazimierz Wiatr Wykorzystanie układów FPGA w implementacji systemów bezpieczeństwa sieciowego typu Firewall Plan prezentacji 1. Architektura Firewall a załoŝenia 2. Punktu
Podstawy Elektroniki dla Elektrotechniki. Liczniki synchroniczne na przerzutnikach typu D
AGH Katedra Elektroniki Podstawy Elektroniki dla Elektrotechniki Liczniki synchroniczne na przerzutnikach typu D Ćwiczenie 7 Instrukcja do ćwiczeń symulacyjnych 2016 r. 1 1. Wstęp Celem ćwiczenia jest
Aby w pełni przetestować układ o trzech wejściach IN_0, IN_1 i IN_2 chcemy wygenerować wszystkie możliwe kombinacje sygnałów wejściowych.
Generowanie sygnałów testowych VHDL Wariant współbieżny (bez procesu): sygnał
1.Wprowadzenie do projektowania układów sekwencyjnych synchronicznych
.Wprowadzenie do projektowania układów sekwencyjnych synchronicznych.. Przerzutniki synchroniczne Istota działania przerzutników synchronicznych polega na tym, że zmiana stanu wewnętrznego powinna nastąpić
Badanie właściwości wysokorozdzielczych przetworników analogowo-cyfrowych w systemie programowalnym FPGA. Autor: Daniel Słowik
Badanie właściwości wysokorozdzielczych przetworników analogowo-cyfrowych w systemie programowalnym FPGA Autor: Daniel Słowik Promotor: Dr inż. Daniel Kopiec Wrocław 016 Plan prezentacji Założenia i cel
Wykrywanie sygnałów DTMF za pomocą mikrokontrolera ATmega 328 z wykorzystaniem algorytmu Goertzela
Politechnika Poznańska Wydział Informatyki Kierunek studiów: Automatyka i Robotyka Wykrywanie sygnałów DTMF za pomocą mikrokontrolera ATmega 328 z wykorzystaniem algorytmu Goertzela Detection of DTMF signals
Układy kryptograficzne z uŝyciem rejestrów LFSR
Układy kryptograficzne z uŝyciem rejestrów FSR Algorytmy kryptograficzne uŝywane w systemach telekomunikacyjnych własność modulo 2 funkcji XOR P K K = P = P 2 Rejestr z liniowym sprzęŝeniem zwrotnym FSR
Komputerowe projektowanie układów ćwiczenia uzupełniające z wykorzystaniem Multisim/myDAQ. Katedra Mikroelektroniki i Technik Informatycznych PŁ
Katedra Mikroelektroniki i Technik Informatycznych PŁ Laboratorium Komputerowe projektowanie układów Ćwiczenia uzupełniające z wykorzystaniem oprogramowania Multisim oraz sprzętu mydaq National Instruments
ZASTOSOWANIA UKŁADÓW FPGA W ALGORYTMACH WYLICZENIOWYCH APPLICATIONS OF FPGAS IN ENUMERATION ALGORITHMS
inż. Michał HALEŃSKI Wojskowy Instytut Techniczny Uzbrojenia ZASTOSOWANIA UKŁADÓW FPGA W ALGORYTMACH WYLICZENIOWYCH Streszczenie: W artykule przedstawiono budowę oraz zasadę działania układów FPGA oraz
Realizacja bezpiecznego programowalnego sterownika logicznego z wykorzystaniem języków HDL
Realizacja bezpiecznego programowalnego sterownika logicznego z wykorzystaniem języków HDL Arkadiusz Bukowiec 1 Radosław Gąsiorek 2 Agnieszka Węgrzyn 3 Prezentowany referat przedstawia ogólną koncepcję
Literatura. adów w cyfrowych. Projektowanie układ. Technika cyfrowa. Technika cyfrowa. Bramki logiczne i przerzutniki.
Literatura 1. D. Gajski, Principles of Digital Design, Prentice- Hall, 1997 2. C. Zieliński, Podstawy projektowania układów cyfrowych, PWN, Warszawa 2003 3. G. de Micheli, Synteza i optymalizacja układów
Bramki logiczne Podstawowe składniki wszystkich układów logicznych
Układy logiczne Bramki logiczne A B A B AND NAND A B A B OR NOR A NOT A B A B XOR NXOR A NOT A B AND NAND A B OR NOR A B XOR NXOR Podstawowe składniki wszystkich układów logicznych 2 Podstawowe tożsamości
Analiza i Synteza Układów Cyfrowych
1/16 Analiza i Synteza Układów Cyfrowych Wykład 1 Katedra Mikroelektroniki i Technik Informatycznych Rok akademicki 2012/2013 2/16 Organizacja zajęć Tematyka wykładu Literatura Część I Wstęp do wykładu
Krótkie wprowadzenie do ModelSim i Quartus2
Krótkie wprowadzenie do ModelSim i Quartus2 wersja 04.2011 1 Plan Oprogramowanie Pliki źródłowe Scenariusze użycia 2 Programy Programy w wersji darmowej do pobrania ze strony www.altera.com ModelSim-Altera
Automatyczne testowanie w układach FPGA
Automatyczne testowanie w układach FPGA prof. dr hab. inż. Kazimierz Wiatr Katedra Elektroniki Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki AGH email: wiatr@uci.agh.edu.pl ZAGADNIENIA:
Sterowniki Programowalne (SP)
Sterowniki Programowalne (SP) Wybrane aspekty procesu tworzenia oprogramowania dla sterownika PLC Podstawy języka funkcjonalnych schematów blokowych (FBD) Politechnika Gdańska Wydział Elektrotechniki i
Szybkie prototypowanie w projektowaniu mechatronicznym
Szybkie prototypowanie w projektowaniu mechatronicznym Systemy wbudowane (Embedded Systems) Systemy wbudowane (ang. Embedded Systems) są to dedykowane architektury komputerowe, które są integralną częścią
Laboratorium przedmiotu Technika Cyfrowa
Laboratorium przedmiotu Technika Cyfrowa ćw.3 i 4: Asynchroniczne i synchroniczne automaty sekwencyjne 1. Implementacja asynchronicznych i synchronicznych maszyn stanu w języku VERILOG: Maszyny stanu w
Pomiary podstawowych wielkości elektrycznych: prawa Ohma i Kirchhoffa. Katedra Architektury Komputerów i Telekomunikacji
Bogdan Olech Mirosław Łazoryszczak Dorota Majorkowska-Mech Elektronika Laboratorium nr 1 Temat: Pomiary podstawowych wielkości elektrycznych: prawa Ohma i Kirchhoffa Katedra Architektury Komputerów i Telekomunikacji
Bezpieczeństwo informacji oparte o kryptografię kwantową
WYŻSZA SZKOŁA BIZNESU W DĄBROWIE GÓRNICZEJ WYDZIAŁ ZARZĄDZANIA INFORMATYKI I NAUK SPOŁECZNYCH Instrukcja do laboratorium z przedmiotu: Bezpieczeństwo informacji oparte o kryptografię kwantową Instrukcja
Ćwiczenie 25 Temat: Interfejs między bramkami logicznymi i kombinacyjne układy logiczne. Układ z bramkami NOR. Cel ćwiczenia
Ćwiczenie 25 Temat: Interfejs między bramkami logicznymi i kombinacyjne układy logiczne. Układ z bramkami NOR. Cel ćwiczenia Zapoznanie się z techniką połączenia za pośrednictwem interfejsu. Zbudowanie
Programowalne Układy Logiczne. Wykład I dr inż. Paweł Russek
Programowalne Układy Logiczne Wykład I dr inż. Paweł Russek Literatura www.actel.com www.altera.com www.xilinx.com www.latticesemi.com Field Programmable Gate Arrays J.V. Oldfield, R.C. Dorf Field Programable
Temat: Projektowanie i badanie liczników synchronicznych i asynchronicznych. Wstęp:
Temat: Projektowanie i badanie liczników synchronicznych i asynchronicznych. Wstęp: Licznik elektroniczny - układ cyfrowy, którego zadaniem jest zliczanie wystąpień sygnału zegarowego. Licznik złożony
Wykorzystanie standardu JTAG do programowania i debugowania układów logicznych
Politechnika Śląska w Gliwicach Wydział Automatyki Elektroniki i Informatyki Wykorzystanie standardu JTAG do programowania i debugowania układów logicznych Promotor dr inż. Jacek Loska Wojciech Klimeczko
ID1UAL1 Układy arytmetyczno-logiczne Arithmetic logic systems. Informatyka I stopień ogólnoakademicki stacjonarne
Załącznik nr do Zarządzenia Rektora nr 10/12 z dnia 21 lutego 2012r. KARTA MODUŁU / KARTA PRZEDMIOTU Kod modułu Nazwa modułu Nazwa modułu w języku angielskim Obowiązuje od roku akademickiego 2012/2013
Lista tematów na kolokwium z wykładu z Techniki Cyfrowej w roku ak. 2013/2014
Lista tematów na kolokwium z wykładu z Techniki Cyfrowej w roku ak. 2013/2014 Temat 1. Algebra Boole a i bramki 1). Podać przykład dowolnego prawa lub tożsamości, które jest spełnione w algebrze Boole
Kody splotowe. Zastosowanie
Kody splotowe Zastosowanie Niekiedy potrzeba buforowania fragmentu wiadomości przed zakodowaniem, tak jak to ma miejsce w koderze blokowym, jest przeszkodą, gdyż dane do zakodowania napływają strumieniem.
Układy zegarowe w systemie mikroprocesorowym
Układy zegarowe w systemie mikroprocesorowym 1 Sygnał zegarowy, sygnał taktujący W każdym systemie mikroprocesorowym jest wymagane źródło sygnałów zegarowych. Wszystkie operacje wewnątrz jednostki centralnej
Elementy cyfrowe i układy logiczne
Elementy cyfrowe i układy logiczne Wykład 10 Legenda Testowanie układów logicznych Potrzeba testowania Uszkodzenia i modele błędów Generowanie wektorów testowych dla układów kombinacyjnych 2 1 Potrzeba
Badanie układów średniej skali integracji - ćwiczenie Cel ćwiczenia. 2. Wykaz przyrządów i elementów: 3. Przedmiot badań
adanie układów średniej skali integracji - ćwiczenie 6. Cel ćwiczenia Celem ćwiczenia jest zapoznanie się z podstawowymi układami SSI (Średniej Skali Integracji). Przed wykonaniem ćwiczenia należy zapoznać
Katedra Mikroelektroniki i Technik Informatycznych
Katedra Mikroelektroniki i Technik Informatycznych Bloki obieralne na kierunku Mechatronika rok akademicki 2013/2014 ul. Wólczańska 221/223, budynek B18 www.dmcs.p.lodz.pl Nowa siedziba Katedry 2005 2006
WFiIS CEL ĆWICZENIA WSTĘP TEORETYCZNY
WFiIS LABORATORIUM Z ELEKTRONIKI Imię i nazwisko: 1. 2. TEMAT: ROK GRUPA ZESPÓŁ NR ĆWICZENIA Data wykonania: Data oddania: Zwrot do poprawy: Data oddania: Data zliczenia: OCENA CEL ĆWICZENIA Ćwiczenie
ANALIZA WŁAŚCIWOŚCI FILTRU PARAMETRYCZNEGO I RZĘDU
POZNAN UNIVE RSITY OF TE CHNOLOGY ACADE MIC JOURNALS No 78 Electrical Engineering 2014 Seweryn MAZURKIEWICZ* Janusz WALCZAK* ANALIZA WŁAŚCIWOŚCI FILTRU PARAMETRYCZNEGO I RZĘDU W artykule rozpatrzono problem
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki ĆWICZENIE Nr 7 (2h) Obsługa urządzenia peryferyjnego z użyciem pamięci w VHDL. Instrukcja do zajęć laboratoryjnych z przedmiotu
Kryptografia. z elementami kryptografii kwantowej. Ryszard Tanaś Wykład 8
Kryptografia z elementami kryptografii kwantowej Ryszard Tanaś http://zon8.physd.amu.edu.pl/~tanas Wykład 8 Spis treści 13 Szyfrowanie strumieniowe i generatory ciągów pseudolosowych 3 13.1 Synchroniczne
ANALIZA WŁAŚCIWOŚCI STATYSTYCZNYCH SYGNAŁÓW PSEUDOLOSOWYCH GENERATORÓW ZBUDOWANYCH NA REJESTRACH PRZESUWNYCH
POZNAN UNIVE RSITY OF TE CHNOLOGY ACADE MIC JOURNALS No 73 Electrical Engineering 2013 Rafał STĘPIEŃ* Janusz WALCZAK* ANALIZA WŁAŚCIWOŚCI STATYSTYCZNYCH SYGNAŁÓW PSEUDOLOSOWYCH GENERATORÓW ZBUDOWANYCH
Elektronika i techniki mikroprocesorowe
Elektronika i techniki mikroprocesorowe Technika cyfrowa ZłoŜone one układy cyfrowe Katedra Energoelektroniki, Napędu Elektrycznego i Robotyki Wydział Elektryczny, ul. Krzywoustego 2 PLAN WYKŁADU idea
Transceiver do szybkiej komunikacji szeregowej i pętla fazowa do ogólnych zastosowań
Transceiver do szybkiej komunikacji szeregowej i pętla fazowa do ogólnych zastosowań Mirosław Firlej Opiekun: dr hab. inż. Marek Idzik Faculty of Physics and Applied Computer Science AGH University of
Lista zadań nr 1. Zagadnienia stosowanie sieci Petriego (ang. Petri net) jako narzędzia do modelowania algorytmów sterowania procesami
Warsztaty Koła Naukowego SMART dr inż. Grzegorz Bazydło G.Bazydlo@iee.uz.zgora.pl, staff.uz.zgora.pl/gbazydlo Lista zadań nr 1 Zagadnienia stosowanie sieci Petriego (ang. Petri net) jako narzędzia do modelowania
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki. ĆWICZENIE Nr 8 (3h) Implementacja pamięci ROM w FPGA
Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki ĆWICZENIE Nr 8 (3h) Implementacja pamięci ROM w FPGA Instrukcja pomocnicza do laboratorium z przedmiotu Programowalne Struktury
Efektywne zarządzanie mocą farm wiatrowych Paweł Pijarski, Adam Rzepecki, Michał Wydra 2/16
Efektywne zarządzanie mocą farm wiatrowych Paweł Pijarski, Adam Rzepecki, Michał Wydra Agenda Założenia projektowe Model logiczny Model fizyczny Wyniki badań Podsumowanie Zarządzanie Energią i Teleinformatyką
Architektury akceleratorów kryptograficznych opartych o układy programowalne. Marcin Rogawski
Architektury akceleratorów kryptograficznych opartych o układy programowalne. Marcin Rogawski rogawskim@prokom.pl Plan referatu: Budowa akceleratora kryptograficznego; Struktura programowalna element fizyczny;
2. PORTY WEJŚCIA/WYJŚCIA (I/O)
2. PORTY WEJŚCIA/WYJŚCIA (I/O) 2.1 WPROWADZENIE Porty I/O mogą pracować w kilku trybach: - przesyłanie cyfrowych danych wejściowych i wyjściowych a także dla wybrane wyprowadzenia: - generacja przerwania
Programowanie Układów Logicznych kod kursu: ETD6203. Szczegóły realizacji projektu indywidualnego W dr inż.
Programowanie Układów Logicznych kod kursu: ETD6203 Szczegóły realizacji projektu indywidualnego W1 24.02.2016 dr inż. Daniel Kopiec Projekt indywidualny TERMIN 1: Zajęcia wstępne, wprowadzenie TERMIN
Przetworniki cyfrowo-analogowe C-A CELE ĆWICZEŃ PODSTAWY TEORETYCZNE
Przetworniki cyfrowo-analogowe C-A CELE ĆWICZEŃ Zrozumienie zasady działania przetwornika cyfrowo-analogowego. Poznanie podstawowych parametrów i działania układu DAC0800. Poznanie sposobu generacji symetrycznego
Hybrydowa analiza transformat w rozpoznawaniu wysokości dźwięków w polifonicznych nagraniach instrumentów muzycznych
Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej Politechnika Łódzka Streszczenie rozprawy doktorskiej Hybrydowa analiza transformat w rozpoznawaniu wysokości dźwięków w polifonicznych nagraniach
IZ1UAL1 Układy arytmetyczno-logiczne Arithmetic logic systems. Informatyka I stopień ogólnoakademicki niestacjonarne
KARTA MODUŁU / KARTA PRZEDMIOTU Załącznik nr 7 do Zarządzenia Rektora nr 10/12 z dnia 21 lutego 2012r. Kod modułu Nazwa modułu Nazwa modułu w języku angielskim Obowiązuje od roku akademickiego 2012/2013
Ćw. 8 Bramki logiczne
Ćw. 8 Bramki logiczne 1. Cel ćwiczenia Celem ćwiczenia jest zapoznanie się z podstawowymi bramkami logicznymi, poznanie ich rodzajów oraz najwaŝniejszych parametrów opisujących ich własności elektryczne.
Wykorzystanie bramek prądowych i napięciowych CMOS do realizacji funkcji bloku S-box algorytmu Whirlpool
Magdalena Rajewska Robert Berezowski Oleg Maslennikow Adam Słowik Wydział Elektroniki i Informatyki Politechnika Koszalińska ul. JJ Śniadeckich 2, 75-453 Koszalin Wykorzystanie bramek prądowych i napięciowych
Wprowadzenie do metodologii modelowania systemów informacyjnych. Strategia (1) Strategia (2) Etapy Ŝycia systemu informacyjnego
Etapy Ŝycia systemu informacyjnego Wprowadzenie do metodologii modelowania systemów informacyjnych 1. Strategia 2. Analiza 3. Projektowanie 4. Implementowanie, testowanie i dokumentowanie 5. WdroŜenie
Programowanie Układów Logicznych kod kursu: ETD6203 W dr inż. Daniel Kopiec. Pamięć w układach programowalnych
Programowanie Układów Logicznych kod kursu: ETD623 Pamięć w układach programowalnych W6 6.4.26 dr inż. Daniel Kopiec Plan wykładu Pamięć w układach programowalnych Zasada działania, podział pamięci Miara
Synteza strukturalna automatów Moore'a i Mealy
Synteza strukturalna automatów Moore'a i Mealy Formalna definicja automatu: A = < Z, Q, Y, Φ, Ψ, q 0 > Z alfabet wejściowy Q zbiór stanów wewnętrznych Y alfabet wyjściowy Φ funkcja przejść q(t+1) = Φ (q(t),
Sprzęt i architektura komputerów
Bogdan Olech Mirosław Łazoryszczak Dorota Majorkowska-Mech Sprzęt i architektura komputerów Laboratorium Temat:Pomiary podstawowych wielkości elektryczych: prawa Ohma i Kirchhoffa Katedra Architektury
Podstawowe moduły układów cyfrowych układy sekwencyjne cz.2 Projektowanie automatów. Rafał Walkowiak Wersja /2015
Podstawowe moduły układów cyfrowych układy sekwencyjne cz.2 Projektowanie automatów synchronicznych Rafał Walkowiak Wersja.2 24/25 UK Funkcje wzbudzeń UK Funkcje wzbudzeń Pamieć Pamieć UK Funkcje wyjściowe
Statyczne badanie wzmacniacza operacyjnego - ćwiczenie 7
Statyczne badanie wzmacniacza operacyjnego - ćwiczenie 7 1. Cel ćwiczenia Celem ćwiczenia jest zapoznanie się z podstawowymi zastosowaniami wzmacniacza operacyjnego, poznanie jego charakterystyki przejściowej
Modelowanie logiki rewersyjnej w języku VHDL
PNIEWSKI Roman 1 Modelowanie logiki rewersyjnej w języku VHDL WSTĘP Konwencjonalne komputery wykorzystują dwuwartościową logikę Boole a. Funkcje opisujące układ cyfrowy wykorzystują najczęściej dwa operatory
Systemy Czasu Rzeczywistego FPGA
01. Systemy Czasu Rzeczywistego FPGA 1 Systemy Czasu Rzeczywistego FPGA laboratorium: 05 autor: mgr inż. Mateusz Baran 01. Systemy Czasu Rzeczywistego FPGA 2 1 Spis treści FPGA... 1 1 Spis treści... 2
LICZNIKI PODZIAŁ I PARAMETRY
LICZNIKI PODZIAŁ I PARAMETRY Licznik jest układem służącym do zliczania impulsów zerojedynkowych oraz zapamiętywania ich liczby. Zależnie od liczby n przerzutników wchodzących w skład licznika pojemność
Analiza stanów gry na potrzeby UCT w DVRP
Analiza stanów gry na potrzeby UCT w DVRP Seminarium IO na MiNI 04.11.2014 Michał Okulewicz based on the decision DEC-2012/07/B/ST6/01527 Plan prezentacji Definicja problemu DVRP DVRP na potrzeby UCB Analiza
Zapoznanie się z podstawowymi strukturami liczników asynchronicznych szeregowych modulo N, zliczających w przód i w tył oraz zasadą ich działania.
Badanie liczników asynchronicznych - Ćwiczenie 4 1. el ćwiczenia Zapoznanie się z podstawowymi strukturami liczników asynchronicznych szeregowych modulo N, zliczających w przód i w tył oraz zasadą ich
dr inż. Andrzej Skorupski Wydział Elektroniki i Technik Informacyjnych Politechnika Warszawska
dr inż. Andrzej Skorupski Wydział Elektroniki i Technik Informacyjnych Politechnika Warszawska Zasilacz pierwszego polskiego komputera UMC1 produkowanego seryjnie w ELWRO opracowanego w katedrze kierowanej
LEKCJA. TEMAT: Funktory logiczne.
TEMAT: Funktory logiczne. LEKCJA 1. Bramką logiczną (funktorem) nazywa się układ elektroniczny realizujący funkcje logiczne jednej lub wielu zmiennych. Sygnały wejściowe i wyjściowe bramki przyjmują wartość
Ćwiczenie 24 Temat: Układy bramek logicznych pomiar napięcia i prądu. Cel ćwiczenia
Ćwiczenie 24 Temat: Układy bramek logicznych pomiar napięcia i prądu. Cel ćwiczenia Poznanie własności i zasad działania różnych bramek logicznych. Zmierzenie napięcia wejściowego i wyjściowego bramek
xx + x = 1, to y = Jeśli x = 0, to y = 0 Przykładowy układ Funkcja przykładowego układu Metody poszukiwania testów Porównanie tabel prawdy
Testowanie układów kombinacyjnych Przykładowy układ Wykrywanie błędów: 1. Sklejenie z 0 2. Sklejenie z 1 Testem danego uszkodzenia nazywa się takie wzbudzenie funkcji (wektor wejściowy), które daje błędną
LABORATORIUM TECHNIKA CYFROWA LICZNIKI I REJESTRY. Rev.1.1
LABORATORIUM TECHNIKA CYFROWA LICZNIKI I REJESTRY Rev.1.1 1. Cel ćwiczenia Praktyczna weryfikacja wiedzy teoretycznej z zakresu projektowania układów kombinacyjnych oraz arytmetycznych 2. Projekty Przy
Inwerter logiczny. Ilustracja 1: Układ do symulacji inwertera (Inverter.sch)
DSCH2 to program do edycji i symulacji układów logicznych. DSCH2 jest wykorzystywany do sprawdzenia architektury układu logicznego przed rozpoczęciem projektowania fizycznego. DSCH2 zapewnia ergonomiczne