Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Borrione, Dominique (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
Edición:	1st ed. 2010.
Colección:	Lecture Notes in Electrical Engineering, 63
Temas:	Electronic circuits. Compilers (Computer programs). Electronic Circuits and Systems. Compilers and Interpreters.
Acceso en línea:	Texto Completo

Ejemplares similares

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

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL'08 /
Publicado: (2009)

Digital VLSI Design with Verilog A Textbook from Silicon Valley Technical Institute /
por: Williams, John
Publicado: (2008)

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

Hardware Verification with C++ A Practitioner's Handbook /
por: Mintz, Mike, et al.
Publicado: (2006)

Real-Time Object Uniform Design Methodology with UML
por: Bui Minh Duc
Publicado: (2007)

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

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
por: Boulé, Marc, et al.
Publicado: (2008)

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

Verification Methodology Manual for SystemVerilog
por: Bergeron, Janick, et al.
Publicado: (2006)

System Level Design of Reconfigurable Systems-on-Chip
Publicado: (2005)

Hardware Verification with System Verilog An Object-Oriented Framework /
por: Mintz, Mike, et al.
Publicado: (2007)

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

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
por: Lokuciejewski, Paul, et al.
Publicado: (2011)

A Practical Introduction to PSL
por: Eisner, Cindy, et al.
Publicado: (2006)

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

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

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
por: Ma, Zhe, et al.
Publicado: (2007)

The Simple Art of SoC Design Closing the Gap between RTL and ESL /
por: Keating, Synopsys Fellow, Michael
Publicado: (2011)

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

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 /
Publicado: (2007)

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

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014 /
Publicado: (2016)

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

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

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

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

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

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

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

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

UML for SOC Design
Publicado: (2005)

Clock Generators for SOC Processors Circuits and Architectures /
por: Fahim, Amr
Publicado: (2005)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems /
por: Marwedel, Peter
Publicado: (2011)

Embedded Systems Design with FPGAs
Publicado: (2013)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
por: Gamatié, Abdoulaye
Publicado: (2010)

Embedded System Design Modeling, Synthesis and Verification /
por: Gajski, Daniel D., et al.
Publicado: (2009)

Advanced Memory Optimization Techniques for Low-Power Embedded Processors
por: Verma, Manish, et al.
Publicado: (2007)

Design Technology for Heterogeneous Embedded Systems
Publicado: (2012)

Model-Based Design of Adaptive Embedded Systems
Publicado: (2013)