Compiling Esterel

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Potop-Butucaru, Dumitru (Συγγραφέας), Edwards, Stephen A. (Συγγραφέας), Berry, Gérard (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2007.
Θέματα:	Engineering. Software engineering. Engineering design. Electrical engineering. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Software Engineering/Programming and Operating Systems. Engineering Design. Electronics and Microelectronics, Instrumentation. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits 2nd Edition /
Έκδοση: (2007)

Design of Systems on a Chip: Design and Test
Έκδοση: (2007)

Oscillation-Based Test in Mixed-Signal Circuits
ανά: Sánchez, Gloria Huertas, κ.ά.
Έκδοση: (2006)

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits /
ανά: Alioto, Massimo, κ.ά.
Έκδοση: (2005)

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 /
Έκδοση: (2006)

Calibration techniques in nyquist A/D converters
ανά: Ploeg, Hendrik van der, κ.ά.
Έκδοση: (2006)

ΣΔ A/D CONVERSION FOR SIGNAL CONDITIONING
ανά: Philips, Kathleen, κ.ά.
Έκδοση: (2006)

Fault Diagnosis of Analog Integrated Circuits
ανά: Kabisatpathy, Prithviraj, κ.ά.
Έκδοση: (2005)

Effective Functional Verification Principles and Processes /
ανά: Vasudevan, Srivatsa
Έκδοση: (2006)

Adaptive Techniques for Mixed Signal System on Chip
ανά: Fayed, Ayman, κ.ά.
Έκδοση: (2006)

High-Performance Energy-Efficient Microprocessor Design
Έκδοση: (2006)

Gizopoulos / Advances in ElectronicTesting
Έκδοση: (2006)

Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS
ανά: Yao, Libin, κ.ά.
Έκδοση: (2006)

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 /
Έκδοση: (2006)

Power-Aware Architecting for data-dominated applications
ανά: Ditzel, Maarten, κ.ά.
Έκδοση: (2007)

Wideband Low Noise Amplifiers Exploiting Thermal Noise Cancellation
ανά: Bruccoleri, Federico, κ.ά.
Έκδοση: (2005)

Introduction to Advanced System-on-Chip Test Design and Optimization
ανά: Larsson, Erik
Έκδοση: (2005)

Systematic Modeling and Analysis of Telecom Frontends and Their Building Blocks
ανά: Vanassche, Piet, κ.ά.
Έκδοση: (2005)

Design of Very High-Frequency Multirate Switched-Capacitor Circuits Extending the Boundaries of CMOS Analog Front-End Filtering /
ανά: U, Seng-Pan, κ.ά.
Έκδοση: (2006)

Wide-Bandwidth High-Dynamic Range D/A Converters
ανά: Doris, Konstantinos, κ.ά.
Έκδοση: (2006)

High-Speed Photodiodes in Standard CMOS Technology
ανά: Radovanović, Saša, κ.ά.
Έκδοση: (2006)

System Level Design of Reconfigurable Systems-on-Chip
Έκδοση: (2005)

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications /
ανά: Sakurai, Takayasu, κ.ά.
Έκδοση: (2006)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
ανά: CASTRO-LÓPEZ, R., κ.ά.
Έκδοση: (2006)

Advanced BDD Optimization
ανά: Ebendt, Rüdiger, κ.ά.
Έκδοση: (2005)

Synthesizable VHDL Design for FPGAs
ανά: Bezerra, Eduardo Augusto, κ.ά.
Έκδοση: (2014)

Advanced design techniques for RF power amplifiers
ανά: Rudiakova, Anna, κ.ά.
Έκδοση: (2006)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™ /
ανά: Silva, Francisco da, κ.ά.
Έκδοση: (2006)

Timing Optimization Through Clock Skew Scheduling
Έκδοση: (2009)

Standardized Functional Verification
ανά: Wiemann, Alan
Έκδοση: (2008)

Transient Analysis of Electric Power Circuits Handbook
ανά: Shenkman, Arieh L.
Έκδοση: (2005)

Dynamic Characterisation of Analogue-to-Digital Converters
ανά: Dallet, Dominique, κ.ά.
Έκδοση: (2005)

Nanometer Technology Designs High-Quality Delay Tests
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2008)

Essential Issues in SOC Design Designing Complex Systems-on-Chip /
Έκδοση: (2006)

Verification Methodology Manual for SystemVerilog
ανά: Bergeron, Janick, κ.ά.
Έκδοση: (2006)

Design for Manufacturability and Yield for Nano-Scale CMOS
ανά: Chiang, Charles C., κ.ά.
Έκδοση: (2007)

Switched-Capacitor Techniques For High-Accuracy Filter And ADC Design
ανά: Quinn, Patrick J., κ.ά.
Έκδοση: (2007)

Metric- Driven Design Verification An Engineer's and Executive's Guide to First Pass Success /
ανά: Carter, Hamilton B., κ.ά.
Έκδοση: (2007)

Physical Design Essentials An ASIC Design Implementation Perspective /
ανά: Golshan, Khosrow
Έκδοση: (2007)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών