This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. * Covers modeling and verification methodologies targeting digital and analog systems; * Addresses firmware development and validation; * Targets both functional and non-functional properties; * Includes descriptions of methods for reliable system design.

Languages, Design Methods, and Tools for Electronic System Design / Große, Daniel; Vinco, Sara; Patel, Hiren. - 530:(2019). [10.1007/978-3-030-02215-0]

Languages, Design Methods, and Tools for Electronic System Design

Vinco Sara;
2019

Abstract

This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. * Covers modeling and verification methodologies targeting digital and analog systems; * Addresses firmware development and validation; * Targets both functional and non-functional properties; * Includes descriptions of methods for reliable system design.
978-3-030-02214-3
File in questo prodotto:
File Dimensione Formato  
BookSellerFlyer_9783030022143.pdf

accesso aperto

Descrizione: Book seller flyer
Tipologia: Altro materiale allegato
Licenza: PUBBLICO - Tutti i diritti riservati
Dimensione 227.96 kB
Formato Adobe PDF
227.96 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2716137
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo