Loading…

QR Code

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /

This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany. FDL is a well-established international forum devoted to dissemination of research...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Fummi, Franco (Editor), Wille, Robert (Editor)
Format:	e-Book
Language:	English
Published:	Cham : Springer International Publishing : 2018. Imprint: Springer,
Edition:	1st ed. 2018.
Series:	Lecture Notes in Electrical Engineering, 454
Subjects:	Electronic circuits. Microprocessors. Computer architecture. Electronics. Electronic Circuits and Systems. Processor Architectures. Electronics and Microelectronics, Instrumentation.
Online Access:	Full-text access

Similar Items

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017 /
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things /
by: Marwedel, Peter
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Embedded Systems Design with Special Arithmetic and Number Systems
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014 /
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
by: Ray, Sandip, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
by: Seiter, Julia, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Learning from VLSI Design Experience
by: Lee, Weng Fook
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Model-Implementation Fidelity in Cyber Physical System Design
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Designing with Xilinx® FPGAs Using Vivado /
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Fundamentals of Computer Architecture and Design
by: Bindal, Ahmet
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Fundamentals of Computer Architecture and Design
by: Bindal, Ahmet
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Design for Manufacturability with Advanced Lithography
by: Yu, Bei, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection /
by: Mohamed, Khaled Salah
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Power Estimation on Electronic System Level using Linear Power Models
by: Schuermans, Stefan, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Exact Design of Digital Microfluidic Biochips
by: Keszocze, Oliver, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
by: Chandrasekharan, Arun, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Fundamentals of Electromigration-Aware Integrated Circuit Design
by: Lienig, Jens, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques /
by: Martins, Ricardo, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Design Automation for Differential MOS Current-Mode Logic Circuits
by: Badel, Stéphane, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Digital Systems From Logic Gates to Processors /
by: Deschamps, Jean-Pierre, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Automated Methods in Cryptographic Fault Analysis
Published: (Springer International Publishing : Imprint: Springer, 2019.)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
by: Mehta, Ashok B.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Smart Systems Integration and Simulation
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Formal System Verification State-of the-Art and Future Trends /
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Techniques for Building Timing-Predictable Embedded Systems
by: Guan, Nan
Published: (Springer International Publishing : Imprint: Springer, 2016.)

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics /
by: Gimenez, Salvador Pinillos
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs /
by: Goossens, Sven, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach /
by: Khan, Muhammad Usman Karim, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment /
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture /
by: Zhang, Chenxin, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems /
by: Tlelo-Cuautle, Esteban, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
by: Moutinho, Filipe de Carvalho, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Post-Silicon Validation and Debug
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Approximate Circuits Methodologies and CAD /
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Complex Digital Circuits
by: Deschamps, Jean-Pierre, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Timing Performance of Nanometer Digital Circuits Under Process Variations
by: Champac, Victor, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
by: Pagani, Santiago, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Contactless VLSI Measurement and Testing Techniques
by: Sayil, Selahattin
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by: Przigoda, Nils, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)