LEADER 01981nam  22004335  450 
001 996577834003316
005 20240224012157.0
010   $a3-8007-5221-2
035   $a(CKB)5410000000003590
035   $a603277bb-70d8-4ce5-bb75-4568b0dd2d03
035   $a(EXLCZ)995410000000003590
100   $a20200319d2020      |||            |
101 0 $ager
135   $auruuu---uuuuu
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aGMM-Fb. 96: MBMV 2020 $eMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
205   $aNeuerscheinung
210 31$aBerlin$cVDE Verlag$d2020
215   $aOnline-Ressource (109 S.)
225 0 $aGMM-Fachberichte
300   $aPublicationDate: 20200319
311   $a3-8007-5220-4 
330   $aLong description: MBMV ist der jahrlich stattfindende Workshop der GMM/ITG/GI-Fachgruppen 3 (Methoden des Entwurfs und der Verifikation digitaler Schaltungen und Systeme) und 4 (Beschreibungssprachen und Modellierung von Schaltungen und Systemen) der Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf (RSS). Das Ziel der Fachtagung besteht darin, Experten aus Industrie und Forschung zusammenzubringen, um gemeinsam neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und der Verifikation von Schaltungen und Systemen zu diskutieren. Wissenschaftliche Beitrage prasentieren neue Ergebnisse und werden zusatzlich, sofern sie in englischer Sprache vorliegen, in IEEE Xplore veroffentlicht.
610 00$aOptimierung
610 00$aModellierung
610 00$aSimulation
610 00$aEchtzeitsysteme
610 00$aSynthese
610 00$aSchaltungen und Systeme
610 00$aFormale Verifikation
702   $aVDE/VDI GMM$4edt
702   $aVDE ITG$4edt
702   $aGI$4edt
906   $aPROCEEDING
912   $a996577834003316
996   $aGMM-Fb. 96: MBMV 2020$93884002
997   $aUNISA