BEGIN:VCALENDAR PRODID:-//Liferay Inc//Liferay Portal 7.4.3.132//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VTIMEZONE TZID:Europe/Paris LAST-MODIFIED:20260912T221527Z TZURL:https://www.tzurl.org/zoneinfo/Europe/Paris X-LIC-LOCATION:Europe/Paris X-PROLEPTIC-TZNAME:LMT BEGIN:STANDARD TZNAME:PMT TZOFFSETFROM:+000921 TZOFFSETTO:+000921 DTSTART:18910316T000000 END:STANDARD BEGIN:STANDARD TZNAME:WET TZOFFSETFROM:+000921 TZOFFSETTO:+0000 DTSTART:19110311T000000 END:STANDARD BEGIN:DAYLIGHT TZNAME:WEST TZOFFSETFROM:+0000 TZOFFSETTO:+0100 DTSTART:19160614T230000 RDATE:19170324T230000 RDATE:19180309T230000 RDATE:19190301T230000 RDATE:19200214T230000 RDATE:19210314T230000 RDATE:19220325T230000 RDATE:19230526T230000 RDATE:19240329T230000 RDATE:19250404T230000 RDATE:19260417T230000 RDATE:19270409T230000 RDATE:19280414T230000 RDATE:19290420T230000 RDATE:19300412T230000 RDATE:19310418T230000 RDATE:19320402T230000 RDATE:19330325T230000 RDATE:19340407T230000 RDATE:19350330T230000 RDATE:19360418T230000 RDATE:19370403T230000 RDATE:19380326T230000 RDATE:19390415T230000 RDATE:19400225T020000 END:DAYLIGHT BEGIN:STANDARD TZNAME:WET TZOFFSETFROM:+0100 TZOFFSETTO:+0000 DTSTART:19161002T000000 RRULE:FREQ=YEARLY;UNTIL=19191005T230000Z;BYMONTH=10;BYMONTHDAY=2,3,4,5,6,7, 8;BYDAY=MO END:STANDARD BEGIN:STANDARD TZNAME:WET TZOFFSETFROM:+0100 TZOFFSETTO:+0000 DTSTART:19201024T000000 RDATE:19211026T000000 RDATE:19391119T000000 END:STANDARD BEGIN:STANDARD TZNAME:WET TZOFFSETFROM:+0100 TZOFFSETTO:+0000 DTSTART:19221008T000000 RRULE:FREQ=YEARLY;UNTIL=19381001T230000Z;BYMONTH=10;BYMONTHDAY=2,3,4,5,6,7, 8;BYDAY=SU END:STANDARD BEGIN:DAYLIGHT TZNAME:CEST TZOFFSETFROM:+0100 TZOFFSETTO:+0200 DTSTART:19400614T230000 RDATE:19430329T020000 RDATE:19440403T020000 RDATE:19760328T010000 END:DAYLIGHT BEGIN:STANDARD TZNAME:CET TZOFFSETFROM:+0200 TZOFFSETTO:+0100 DTSTART:19421102T030000 RDATE:19431004T030000 RDATE:19450916T030000 RDATE:19760926T010000 RDATE:19770925T030000 RDATE:19781001T030000 END:STANDARD BEGIN:DAYLIGHT TZNAME:WEMT TZOFFSETFROM:+0200 TZOFFSETTO:+0200 DTSTART:19440825T000000 END:DAYLIGHT BEGIN:DAYLIGHT TZNAME:WEST TZOFFSETFROM:+0200 TZOFFSETTO:+0100 DTSTART:19441008T010000 END:DAYLIGHT BEGIN:DAYLIGHT TZNAME:WEMT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 DTSTART:19450402T020000 END:DAYLIGHT BEGIN:DAYLIGHT TZNAME:CEST TZOFFSETFROM:+0100 TZOFFSETTO:+0200 DTSTART:19770403T020000 RRULE:FREQ=YEARLY;UNTIL=19800406T010000Z;BYMONTH=4;BYDAY=1SU END:DAYLIGHT BEGIN:STANDARD TZNAME:CET TZOFFSETFROM:+0200 TZOFFSETTO:+0100 DTSTART:19790930T030000 RRULE:FREQ=YEARLY;UNTIL=19950924T010000Z;BYMONTH=9;BYDAY=-1SU END:STANDARD BEGIN:DAYLIGHT TZNAME:CEST TZOFFSETFROM:+0100 TZOFFSETTO:+0200 DTSTART:19810329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZNAME:CET TZOFFSETFROM:+0200 TZOFFSETTO:+0100 DTSTART:19961027T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTAMP:20261008T041342Z UID:e8ca09b0-c14a-282e-6b0f-5e762d9305c9 DTSTART;TZID=Europe/Paris:20210211T170000 DTEND;TZID=Europe/Paris:20210211T180000 SUMMARY:Digitális áramkörök funkcionális verifikációja - Mikro- és Nanoelek tr. Szo. DESCRIPTION:\n TEAMS Értekezlet \n \n https://teams.microsoft.com/l/meet up-join/19%3ameeting_MzRlNTY5ZGEtMTYwZC00NTk2LThhNjctMTc3Y2FmOTM5MzU5%40th read.v2/0?context=%7b%22Tid%22%3a%226a3548ab-7570-4271-91a8-58da00697029%2 2%2c%22Oid%22%3a%2257a88215-4166-4963-933a-004db6a8e9da%22%7d\nA Mikro- és Nanoelektronika\n Szakosztály tisztelettel vár minden érdeklődőt a szako sztály\n következő találkozójára!\n\n Aktuális témáink:\n\n \n Sági Péter (Veriest Hungary Kft.) a\n Digitális áramkörök funkcionális ver ifikációjáról\n tart előadást és\n \n Dr. Horváth Péter (BME-VIK EE T) a BME\n Elektronikus Eszközök Tanszékén zajló\, a digitális áramkö rök\n tervezésének és verifikációjának oktatását\, módszertanát\n mutatja be.  \nNapjainkban az elektronikai ipar szinte\n soha nem látott mértékben\, exponenciálisan fejlődik. Napról-napra\n egyre bonyolultabb i ntegrált áramkörök kerülnek a piacra\, amelyek\n tervezése és gyártása eg yre komplexebb feladatok elé állítja a mérnököket.\nAz áramkörök tervezése során már korai\n fázisban törekednek az esetleges hibák feltárása\, his zen egy gyártásba\n jutott chip esetén ezek javítása igen költséges és sz inte lehetetlen\n feladat. A hibafeltárás az itt alkalmazott funkcionális verifikáció\n feladata\, amely képes virtuális környezetek és szimuláció k\n segítségével megtalálni a chip HDL (Hardware Definition Language)\n leírásában vétett hibákat.\nA Veriest Hungary Kft. 2019 óta már\n magyaro rszági telephellyel is rendelkező\, elsősorban a digitális\n áramkörök ve rifikációjában szolgáltatást nyújtó vállalat\, amely\n nemzetközi szinten is elismert mérnökcsapataival szintén részese az\n egyre színesebb integ rált áramkörök világának. Az előadásunk során egy\n rövid példán keresztü l betekintést adunk az általunk is végzett\n funkcionális verifikáció vil ágába\, annak kihívásiba\, illetve a\n jelenlegi félvezető ipari trendekb e.\nFontosnak tarjuk a jövő verifikációs\n mérnökeinek képzését\, éppen e zért törekszünk a Budapesti Műszaki és\n Gazdaságtudományi Egyetemmel val ó együttműködésre.\nA BME Villamosmérnöki és Informatikai\n Karán\, az El ektronikus Eszközök Tanszékén az összetett digitális\n áramkörök tervezés i módszereinek oktatása hosszú múltra tekint vissza.\n A BS.c. alapképzés ben a Mikroelektronika\, szakirányos képzésben pedig\n a Mikroelektronika i tervezés és a Mikroelektronikai laboratórium\n tárgyak keretein belül i smerkedhetnek meg a hallgatók a digitális\n standard cellás ASIC áramkörö k\, valamint a programozható logikai\n eszközök felépítésével\, működésév el\, valamint – nem utolsósorban – az\n ezek előállítását és használatát célzó tervezési módszertannal.\nAz előadás célja\, hogy bemutassa az\n ár amkörtervezés és a funkcionális verifikáció oktatásának módját\, a\n rend elkezésre álló oktatási anyagokat\, beleértve a jelenleg futó\n tantárgya kat és a tanszék jövőbeli elképzeléseit.\n  X-ALT-DESC;FMTTYPE=text/html:

\n TEAMS Értekezlet \n
\n https://teams.microsoft.com/l/meetup-join/19%3ameeting_MzRlNTY5ZGEtMTYwZC 00NTk2LThhNjctMTc3Y2FmOTM5MzU5%40thread.v2/0?context=%7b%22Tid%22%3a%226a3 548ab-7570-4271-91a8-58da00697029%22%2c%22Oid%22%3a%2257a88215-4166-4963-9 33a-004db6a8e9da%22%7d

\n

A Mikro- és Nanoelektronika\n Szakosztály tisztelettel vár mind en érdeklődőt a szakosztály\n következő találkozójára!

\n

\n Aktuális témáink:

\n\n

Napjainkban az e lektronikai ipar szinte\n soha nem látott mértékben\, exponenciálisan fej lődik. Napról-napra\n egyre bonyolultabb integrált áramkörök kerülnek a p iacra\, amelyek\n tervezése és gyártása egyre komplexebb feladatok elé ál lítja a mérnököket.

\n

Az áramkörök t ervezése során már korai\n fázisban törekednek az esetleges hibák feltárá sa\, hiszen egy gyártásba\n jutott chip esetén ezek javítása igen költség es és szinte lehetetlen\n feladat. A hibafeltárás az itt alkalmazott funk cionális verifikáció\n feladata\, amely képes virtuális környezetek és sz imulációk\n segítségével megtalálni a chip HDL (Hardware Definition Langu age)\n leírásában vétett hibákat.

\n

A Veriest Hungary Kft. 2019 óta már\n magyarországi telephellyel is rend elkező\, elsősorban a digitális\n áramkörök verifikációjában szolgáltatás t nyújtó vállalat\, amely\n nemzetközi szinten is elismert mérnökcsapatai val szintén részese az\n egyre színesebb integrált áramkörök világának. A z előadásunk során egy\n rövid példán keresztül betekintést adunk az álta lunk is végzett\n funkcionális verifikáció világába\, annak kihívásiba\, illetve a\n jelenlegi félvezető ipari trendekbe.

\n

Fontosnak tarjuk a jövő verifikációs\n mérnökeinek képzés ét\, éppen ezért törekszünk a Budapesti Műszaki és\n Gazdaságtudományi Eg yetemmel való együttműködésre.

\n

A B ME Villamosmérnöki és Informatikai\n Karán\, az Elektronikus Eszközök Tan székén az összetett digitális\n áramkörök tervezési módszereinek oktatása hosszú múltra tekint vissza.\n A BS.c. alapképzésben a Mikroelektronika\ , szakirányos képzésben pedig\n a Mikroelektronikai tervezés és a Mikroel ektronikai laboratórium\n tárgyak keretein belül ismerkedhetnek meg a hal lgatók a digitális\n standard cellás ASIC áramkörök\, valamint a programo zható logikai\n eszközök felépítésével\, működésével\, valamint – nem uto lsósorban – az\n ezek előállítását és használatát célzó tervezési módszer tannal.

\n

Az előadás célja\, hogy be mutassa az\n áramkörtervezés és a funkcionális verifikáció oktatásának mó dját\, a\n rendelkezésre álló oktatási anyagokat\, beleértve a jelenleg f utó\n tantárgyakat és a tanszék jövőbeli elképzeléseit.

\n

 

LOCATION: END:VEVENT END:VCALENDAR