Omslagsbild

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009 /

More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeli...

Full beskrivning

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	SpringerLink (Online service)
Övriga upphovsmän:	Borrione, Dominique. (Utgivare, redaktör, sammanställare, http://id.loc.gov/vocabulary/relators/edt)
Materialtyp:	Elektronisk E-bok
Språk:	English
Publicerad:	Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
Upplaga:	1st ed. 2010.
Serie:	Lecture Notes in Electrical Engineering, 63
Ämnen:	Electronic circuits. Programming languages (Electronic computers). Circuits and Systems. Programming Languages, Compilers, Interpreters.
Länkar:	https://doi.org/10.1007/978-90-481-9304-2
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

VLSI-SoC: From Systems to Silicon IFIP TC10/ WG 10.5 Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2005), October 17-19, 2005, Perth, Australia /
Publicerad: (2007)

Digital VLSI Design with Verilog A Textbook from Silicon Valley Technical Institute /
av: Williams, John., et al.
Publicerad: (2008)

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL’06 /
Publicerad: (2007)

Correct-by-Construction Approaches for SoC Design
av: Sinha, Roopak., et al.
Publicerad: (2014)

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 /
Publicerad: (2006)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL'04 /
Publicerad: (2005)

Frequency References, Power Management for SoC, and Smart Wireless Interfaces Advances in Analog Circuit Design 2013 /
Publicerad: (2014)

The Simple Art of SoC Design Closing the Gap between RTL and ESL /
av: Keating, Synopsys Fellow, Michael., et al.
Publicerad: (2011)

3D Integration for NoC-based SoC Architectures
Publicerad: (2011)

Exploring C for Microcontrollers A Hands on Approach /
av: Parab, Jivan., et al.
Publicerad: (2007)

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
av: Boulé, Marc., et al.
Publicerad: (2008)

Dynamically Reconfigurable Systems Architectures, Design Methods and Applications /
Publicerad: (2010)

Algorithm & SoC Design for Automotive Vision Systems For Smart Safe Driving System /
Publicerad: (2014)

Built-in-Self-Test and Digital Self-Calibration for RF SoCs
av: Bou-Sleiman, Sleiman., et al.
Publicerad: (2012)

Multi-objective Design Space Exploration of Multiprocessor SoC Architectures The MULTICUBE Approach /
Publicerad: (2011)

Clock Generators for SOC Processors Circuits and Architectures /
av: Fahim, Amr., et al.
Publicerad: (2005)

System Specification and Design Languages Selected Contributions from FDL 2010 /
Publicerad: (2012)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems /
av: Marwedel, Peter., et al.
Publicerad: (2011)

Introduction to Circuit Analysis and Design
av: Glisson, Tildon H., et al.
Publicerad: (2011)

Analysis and Design of Quadrature Oscillators
av: Oliveira, Luis B., et al.
Publicerad: (2008)

Handbook of FPGA Design Security
av: Huffmire, Ted., et al.
Publicerad: (2010)

Embedded Systems Specification and Design Languages Selected Contributions from FDL’07 /
Publicerad: (2008)

Towards a Design Flow for Reversible Logic
av: Wille, Robert., et al.
Publicerad: (2010)

Design Technology for Heterogeneous Embedded Systems
Publicerad: (2012)

Hardware Verification with C++ A Practitioner’s Handbook /
av: Mintz, Mike., et al.
Publicerad: (2006)

A Practical Introduction to PSL
av: Eisner, Cindy., et al.
Publicerad: (2006)

Embedded Systems Design with FPGAs
Publicerad: (2013)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 /
Publicerad: (2015)

Innovations in E-learning, Instruction Technology, Assessment and Engineering Education
Publicerad: (2007)

Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications
Publicerad: (2007)

Innovations and Advanced Techniques in Computer and Information Sciences and Engineering
Publicerad: (2007)

Time-interleaved Analog-to-Digital Converters
av: Louwsma, Simon., et al.
Publicerad: (2011)

Compact Modeling Principles, Techniques and Applications /
Publicerad: (2010)

3-Dimensional VLSI A 2.5-Dimensional Integration Scheme /
av: Deng, Yangdong., et al.
Publicerad: (2010)

Memory Mass Storage
Publicerad: (2011)

Models, Methods, and Tools for Complex Chip Design Selected Contributions from FDL 2012 /
Publicerad: (2014)

Hybrid Fault Tolerance Techniques to Detect Transient Faults in Embedded Processors
av: Azambuja, José Rodrigo., et al.
Publicerad: (2014)

Embedded Systems Development From Functional Models to Implementations /
Publicerad: (2014)

Real-Time Object Uniform Design Methodology with UML
av: Bui Minh Duc., et al.
Publicerad: (2007)

Optimized ASIP Synthesis from Architecture Description Language Models
av: Schliebusch, Oliver., et al.
Publicerad: (2007)