عنوان
پدید آورنده
موضوع
رده
TK7867
TK7867
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030022153
(Number (ISBN
3030022161
(Number (ISBN
9783030022150
(Number (ISBN
9783030022167
Erroneous ISBN
3030022145
Erroneous ISBN
9783030022143
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Languages, design methods, and tools for electronic system design :
General Material Designation
[Book]
Other Title Information
selected contributions from FDL 2017 /
First Statement of Responsibility
Daniel Große, Sara Vinco, Hiren Patel, editors.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2019.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource
SERIES
Series Title
Lecture notes in electrical engineering ;
Volume Designation
530
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
1. Automatic Integration of HDL IPs in Simulinkusing FMI and S-Function Interfaces -- 2. Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach -- 3. Symbolic Simulation of Dataflow Synchronous Programs with Timers -- 4. Language and Hardware Acceleration Backend for Graph Processing -- 5. Fault Analysis in Analog Circuits through Language Manipulation and Abstraction -- 6. A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions.
0
SUMMARY OR ABSTRACT
Text of Note
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.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030022150
OTHER EDITION IN ANOTHER MEDIUM
Title
Languages, design methods, and tools for electronic system design.
International Standard Book Number
9783030022143
TOPICAL NAME USED AS SUBJECT
Computer-aided design, Congresses.
Electronic circuit design-- Data processing, Congresses.
Computer-aided design.
Electronic circuit design-- Data processing.
TECHNOLOGY & ENGINEERING-- Mechanical.
(SUBJECT CATEGORY (Provisional
TEC-- 009070
TJFC
TJFC
DEWEY DECIMAL CLASSIFICATION
Number
621
.
3815
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK7867
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Grosse, Daniel
Patel, Hiren D.
Vinco, Sara
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
FDL (Conference)(20th :2017 :, Verona, Italy)
ORIGINATING SOURCE
Date of Transaction
20200823073942.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
