Models, methods, and tools for complex chip design [electronic resource] : selected contributions from FDL 2012 / Jan Haase, editor.
FDL (Conference) (2012 : Vienna University of Technology); Haase, Jan, editor of compilation.
2013
TK7895.E42
Available Online

Linked e-resources

Linked Resource
Online Access

Details

Title
Models, methods, and tools for complex chip design [electronic resource] : selected contributions from FDL 2012 / Jan Haase, editor.
Meeting Name
FDL (Conference) (2012 : Vienna University of Technology)
ISBN
9783319014180 electronic book
3319014188 electronic book
9783319014173
DOI
https://doi.org/10.1007/978-3-319-01418-0
Published
Cham : Springer, [2013?]
Copyright
©2014
Language
English
Description
1 online resource (xv, 221 pages) : illustrations (some color).
Item Number
10.1007/978-3-319-01418-0 doi
Call Number
TK7895.E42
Dewey Decimal Classification
006.2/2
Summary
This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. 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 Assertion Based Design, Verification & Debug; Includes language-based modeling and design techniques for embedded systems; Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains; Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLink, viewed September 24, 2013).
Added Author
Haase, Jan, editor of compilation.
Series
Lecture notes in electrical engineering ; 265. 1876-1100
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Formal Plausibility Checks for Environment
Efficient Refinement Strategy Exploiting Component Properties in A CEGAR Process
Formal Specification Level
Power Estimation Methodology for SystemC
SystemC Analysis for Nondeterminism Anomalies
A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS
Configurable Load Emulation Using FPGA and Power Amplifiers for Automotive Power ICs
Model Based Design of Distributed Embedded Cyber Physical Systems
Model-driven Methodology for the Development of Multi-level Executable Environments
The Concept and Study of Grid Responsiveness
Polynomial Metamodel-Based Fast Optimization of Nanoscale PLL Components
Methodology and Example-Driven Interconnect Synthesis for Designing Heterogenous Coarse-Grain Reconfigurable Architectures.

Browse Subjects

Show more subjects...

Statistics

from
to
Export