2016 Forum on Specification and Design Languages (FDL) / Institute of Electrical and Electronics Engineers.

Format:

Book

Author/Creator:

Institute of Electrical and Electronics Engineers, author, issuing body.

Language:

English

Subjects (All):

Computer software--Verification--Congresses.

Computer software.

Formal methods (Computer science)--Congresses.

Formal methods (Computer science).

Software architecture--Congresses.

Software architecture.

Physical Description:

1 online resource : illustrations

Other Title:

2016 Forum on Specification and Design Languages

Place of Publication:

Piscataway : IEEE, 2016.

Summary:

Annotation Forum on specification & Design Languages (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, modelling and verification of integrated circuits, complex hardware software embedded systems, and mixedtechnology systems Modelling and specification concepts push the development of new design and verification methodologies to ESL (Electronic System Level) thus providing a means for model driven and automated design of complex electronic systems in a variety of application domains FDL gives an opportunity to gain up to date knowledge in many broad areas of the fast evolving field of system design and verification Through collaboration with the Accellera Systems Initiative FDL maintains a strong link to many EDA standards like SystemC, OCP and IP XACT.

Notes:

Description based on publisher supplied metadata and other sources.

ISBN:

979-1-0922-7917-7