02485nam 2200457 450 99657544560331620230817181526.03-8007-4946-7(CKB)4100000008867627(WaSeSS)IndRDA001237095e60ed74-ae30-4d93-958d-2f6fb0dd2d03(EXLCZ)99410000000886762720200525d2019 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier22nd Workshop - Methods and Description Languages for Modelling and Verification of Circuits and Systems 8 April 2019, Kaiserslautern, Germany /Institute of Electrical and Electronics EngineersNeuerscheinungBerlin, Germany :VDE Verlag,2019.1 online resource (9 pages)PublicationDate: 201904083-8007-4945-9 Long description: MBMV ist der jährlich stattfindende Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 und wurde 2019 vom 8.-9. April in Kaiserslautern organisiert. Das Ziel des Workshops 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. Der vorliegende Tagungsband ist eine ausgewählte Sammlung von 8 wissenschaftlichen Beiträgen und 8 weiteren Übersichtsvorträgen. Übersichtsvorträge berichten über bereits veröffentlichte Ergebnisse oder über noch unvollständige Arbeiten und werden als kurze Zusammenfassungen in diesem Tagungsband veröffentlicht. Wissenschaftliche Beiträge präsentieren neue Ergebnisse und werden zusätzlich als volle Beiträge in IEEE Xplore veröffentlicht.Computer hardware description languagesCongressesIntegrated circuitsVerificationCongressesSystem designCongressesComputer hardware description languagesIntegrated circuitsVerificationSystem design621.392Grimm ChristophedtSchneider KlausedtZivkovic CarnaedtWaSeSSWaSeSSPROCEEDING99657544560331622nd Workshop - Methods and Description Languages for Modelling and Verification of Circuits and Systems3879211UNISA