Cargando…

Compiling Esterel

Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Potop-Butucaru, Dumitru (Autor), Edwards, Stephen A. (Autor), Berry, Gerard (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York, NY : Springer US : Imprint: Springer, 2007.
Edición:	1st ed. 2007.
Temas:	Electronic circuits. Software engineering. Engineering design. Electronics. Electrical engineering. Electronic Circuits and Systems. Software Engineering. Engineering Design. Electronics and Microelectronics, Instrumentation. Electrical and Electronic Engineering.
Acceso en línea:	Texto Completo

Ejemplares similares

Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits
por: Sachdev, Manoj, et al.
Publicado: (2007)

Design of Systems on a Chip: Design and Test
Publicado: (2007)

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits /
por: Alioto, Massimo, et al.
Publicado: (2005)

Fault Diagnosis of Analog Integrated Circuits
por: Kabisatpathy, Prithviraj, et al.
Publicado: (2005)

Effective Functional Verification Principles and Processes /
por: Vasudevan, Srivatsa
Publicado: (2006)

Analog Circuit Design RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage /
Publicado: (2006)

Calibration Techniques in Nyquist A/D Converters
por: van der Ploeg, Hendrik, et al.
Publicado: (2006)

Sigma Delta A/D Conversion for Signal Conditioning
por: Philips, Kathleen, et al.
Publicado: (2006)

Oscillation-Based Test in Mixed-Signal Circuits
por: Huertas Sánchez, Gloria, et al.
Publicado: (2006)

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

High-Performance Energy-Efficient Microprocessor Design
Publicado: (2006)

Adaptive Techniques for Mixed Signal System on Chip
por: Fayed, Ayman, et al.
Publicado: (2006)

Power-Aware Architecting for data-dominated applications /
por: Ditzel, Maarten, et al.
Publicado: (2007)

Introduction to Advanced System-on-Chip Test Design and Optimization
por: Larsson, Erik
Publicado: (2005)

Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS
por: Yao, Libin, et al.
Publicado: (2006)

High-Speed Photodiodes in Standard CMOS Technology
por: Radovanovic, Sasa, et al.
Publicado: (2006)

Advanced BDD Optimization
por: Ebendt, Rudiger, et al.
Publicado: (2005)

Dynamic Characterisation of Analogue-to-Digital Converters
Publicado: (2005)

Taxonomies for the Development and Verification of Digital Systems
Publicado: (2005)

Standardized Functional Verification
por: Wiemann, Alan
Publicado: (2008)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™ /
por: da Silva, Francisco, et al.
Publicado: (2006)

Timing Optimization Through Clock Skew Scheduling
por: Kourtev, Ivan S., et al.
Publicado: (2009)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
por: Castro López, Rafael, et al.
Publicado: (2006)

Advances in Electronic Testing Challenges and Methodologies /
Publicado: (2006)

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications
por: Sakurai, Takayasu, et al.
Publicado: (2006)

Nanometer Technology Designs High-Quality Delay Tests /
por: Ahmed, Nisar
Publicado: (2008)

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

Closing the Power Gap between ASIC & Custom Tools and Techniques for Low Power Design /
por: Chinnery, David, et al.
Publicado: (2007)

CMOS Current-Mode Circuits for Data Communications
por: Yuan, Fei
Publicado: (2007)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
por: Spear, Chris
Publicado: (2008)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
por: Mohanty, Saraju P., et al.
Publicado: (2008)

Switched-Capacitor Techniques for High-Accuracy Filter and ADC Design
por: Quinn, Patrick J., et al.
Publicado: (2007)

Physical Design Essentials An ASIC Design Implementation Perspective /
por: Golshan, Khosrow
Publicado: (2007)

Metric Driven Design Verification An Engineer's and Executive's Guide to First Pass Success /
por: Carter, Hamilton B., et al.
Publicado: (2007)

CPU Design Answers to Frequently Asked Questions /
por: Thimmannagari, Chandra
Publicado: (2005)

A Practical Guide for SystemVerilog Assertions
por: Vijayaraghavan, Srikanth, et al.
Publicado: (2005)

Adaptive Techniques for Dynamic Processor Optimization Theory and Practice /
Publicado: (2008)

Sub-threshold Design for Ultra Low-Power Systems
por: Wang, Alice, et al.
Publicado: (2006)

Methodology for the Digital Calibration of Analog Circuits and Systems with Case Studies /
por: Pastre, Marc, et al.
Publicado: (2006)

High Speed Serdes Devices and Applications
por: Stauffer, David Robert, et al.
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_atq9npo7taefk768i5fl8ot8c7