1. Jakie zagadnienie naukowe jest rozpatrzone w pracy lteza
Transkrypt
1. Jakie zagadnienie naukowe jest rozpatrzone w pracy lteza
Krak6w. 07/03/2013 r. Prof. dr hab. inz. Andrzej Kos Katedra Elektroniki Wydziat Informatyki, Elektroniki i Telekomunikacj i Akademia G6miczo-Hutnicza w Krakowie al. Mickiewi cza 30 I C3, 30-059 Krak6w, tel.:126173435 [email protected] http ://scalak. elektro. agh. edu.pl RE CE NZJA ROZPRAWY D OKTO RS KIE I DL.4 RADY TWDZIALU INFORJIIATTKI PO LITE CHNIKI P OZNArtSKIE J Tytul rozprawy: Computer Tools for Layout Generation of Switched-Current Circuits Autor rozprawy: mgr in2. Szymon Szczgsny 1. Jakie zagadnienie naukowe jest rozpatrzone w pracy lteza rozprawy/ i cry zostalo ono dostatecznie jasno sformulowlne przez autora? Jaki charakter ma rozprawa (teoretyczny, do5wiadczalny, inny)? Rozprawa doktorska dotycry og6lnie projektowania uklad6w scalonych wielkiej skali integracji technikami semi- i full-custom. W szczeg6lno5ci dotyczy automatyzacji procesu projektowania topografii ukiad6w zprzel4czanymi pr4dami. Celem rozprawy jest zaproponowanie narzgdzi, kt6re ponvol4 uproSci6 i przyspieszyi proces projekfowania, atalde zmniejsry(, ryzyko popelnienia blgd6w. Przedstawione zagadntenie jest wazne zar6wno z naukowego punktu widzenia jak r6wniez zastosowania uzyskanych wpik6w w praktyce inzyrierskiej. Projektowanie coraz bardziej zlo|onych system6w elektronicmych system6w wbudowanych SoC w).rnaga realizacji rozbudowanego topograficmie schematu jak i zapewnienia prawidlowego funkcjonowania poprzez wprowadzenie oprogramowania. Praca doktorska wlqcza sig w ten wazny nurt wsp6ltworzenia system6w o bardzo rozbudowanej funkcj onalnoSci. 1 Rozprawa ma charakter gl6wnie teoretycmy, cho6 Autor zweryfikowal praktycznie wyniki analiz projektuj4c i testuj4c konkretny modul scalony. Zastrzeaenia budzi sformulowanie drugiej tezy rozprawy. Stwierdza on, ze: zaproponov)ana metoda moie oferowa1...itd. Nalezy zatem rozumiei, ze metoda nie musi niczego polrytecznego oferowai, a zatem ta teza jest zawsze spelniona i w konsekwencj i zbgdn4. 2. Czy w rozprawie przeprowadzono w spos6b wla5ciwy analizg f,r6del/ w fym literatury Swiatowej, stanu wiedry i zastosowari w przemySle /Swiadcz4cy o dostatecznej wiedry autora. Cry wnioski z przegl4du Lr6del sformulowano w spos6b jasny i przekonywuj4cy? Autor rozpraw przeprowadzil studia literaturowe. PrzS4oczyl 73 pozycje, w tym wlasne i wsp6lautorskie. Przedstawione wlmki studi6w literaturowych Swiadcz4 o umiejEtnoSci korzy*ania z istniej4cej wiedzy, jakkolwiek brak uporz4dkowania chronologicznego utrudnia korzystanie z zal4czonego spisu. 3. Czy autor ronvi4zal postawione zagadnieni\ cW uiyl wla5ciwej do tego metody i czy przyjgte zaloLenia s4 uzas adnio ne? Stwierdzam, ze Autor rozwiq;zal postawiony wa2ny dla wsp6lczesnej elektroniki problem. Na gt6wnie podkre5lenie zasluguje fakt, 2e wyniki zostaly zwerfikowane. Wykonane prace teoretyczne - oprogramowanie oraz w mniejszym stopniu prace eksperymentalne dowodz4 posiadania wiedzy teoretycmej i praktycmej niezbgdnej kandydatom do stopnia naukowego doktora nauk technicmych. Przyjgte zalohenia oraz zastosowane metody badawcze s4 trafne bior4c pod uwagg stan wiedzy w obszarzp przeprowadzonych badari naukowych. 4. Na crym polega oryginalnoSd rozprawy, co stanowi samodzielny i oryginalny dorobek autora, techniki przez literaturg Swiatow4? reprezentowanych jaka jest porycja rozprawy w stosunku do stanu wiedry czy poziomu Autor rozprawy wykorzystal trafirie istniej4c4 wiedzg w zakresie informatyki i elektroniki do opracowania wiasnych dedykowanych szerokiej grupie uzltkownik 6w narzgdzi proj ektowych. Gl6wne oryginalne osi4gnigcia s4 nastgpuj4ce: L Opracowanie metod i algory'tm6w projektowania makrokom6rek SI i ich opisu w jgzyku VHDL-AMS; 2. Opracowanie metod i algorl4m6w generowania topografii makokom6rek SI; 3. Opracowanie Srodowiska programowego ulatwiaj4cego korzystanie zzaproponowanych rnrzgdzi. Przedstawione osi4gnigcia s4 szczeg6lnie cenne zar6wno dla teorii jak i praktyki projektowania system6w scalonych zawierajqcych uklady SI. Rozprawaposzerza wiedzg o narzgdziach stosowanych do projektowania uklad6w i system6w scalonych powszechnie r.qtkonywanych w Swiatowej in2ynierii scalonvch system6w wbudowanych,wciqT malo rozpowszechnionych w naszym kraju. 5. Cry autor wykazal umiejgtnoSd poprawnego i przekonywuj4cego przedstawienia uzyskanych przez siebie wynikt6w lrwigzloS6,jasnoSd, poprawnoSd redakcyjna rozprawy/? Rozprawa napisana jest w jgzyku angielskim i zawrera obszerne streszczenie w jgzyku polskim. Cz54ane streszczenia utrudniaj4 czgste przeskoki mySlowe i nie dbanie o jasne przedstawienia gl6wnych osi4gnigi pracy. Znaczrie bardziej czylelne informacje najdujq sig w czg5ci angielsko jgzycnrej. W tej czg5ci rysunki i fragmenty program6w dobrze komponuj4 sig z teksteffi, SQ czy'telne i zavneraj 4 istotne szczegoly 6. . Jakie sq slabe strony rozprawy i jej gl6wne wady? Usterki i niejasno5ci zauwa2one w tek5cie 1. Liczba zaproponowanych tezw czgici polskojgzycznej roZni sig od analogicznej liczby w czgSci angielskojgzycznej. Uwagi szczeg6lowe 1. IX - Technologia 35um. Zapev'rne chodzi o technologig 0,35um; XV -Niejasne jest pojgcie - wysokoici kom6rki; W par. 7.1 zalo2enie, ze powierzchtia chipu jest liniowo zale2na od dlugoSci tranzystora wymaga Stu. 2. 3. Str. 4. Niejasne jest przejScie od wzoru 7.6 do v"zoruT .7 Wewzorze 7.6 transkonduktancja ma wymiar NV2. wyjaSnienia; 5. 7. Jaka jest prrydatnoS6 rozprawy dla nauk technicznych? Rozprawa wnosi pewien wklad do rozr,voju nauk technicmych. W szczeg6lnoSci projektowania system6w scalonych wielkiej skali integracji metodami zautomatyzowanymi. Wyniki badari mog4 by6 stosowane przezin\nier6w projektant6w, a takZe sq inspiracj4 dla rozwoju innych system6w automatycmego proj ektowania. Podsumowanie: Autor rozprawy dolctorskiej v,yl<azal wiedzg teoretycmQ i praktycm4 w obszarze nakre5lonym tematyk4 rozprawy i wymagan4 od kandydat6w do stopnia naukowego doktora nauk technicznych. Na uwagg zasluguje krytycme spojrzenie na stan rzecry, umiejgtnoS6 tworzenia nowych rorwi4zan r weryfikacja pomiarowa z wykorzystaniem wla6ciwych metod rnarzgdzi. Ostatecznie oceniam rozprawe Pana mgr inZ. Szvmona Szczesnego iako spelniaiaca wymagania stosownei Ustawy i wnosze o dopuszczenie tei rozprawv do publicznei obrony. hary^Mt lJ