Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Boulet, Pierre (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2005.
Θέματα:	Engineering. Computers. Computer simulation. Computer-aided engineering. Electrical engineering. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Theory of Computation. Electrical Engineering. Computer-Aided Engineering (CAD, CAE) and Design. Electronics and Microelectronics, Instrumentation. Simulation and Modeling.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Advances in Design and Specification Languages for SoCs Selected Contributions from FDLβ04
ανά: Boulet, Pierre
Έκδοση: (2005)

Power Estimation and Optimization Methodologies for VLIW-Based Embedded Systems
ανά: Zaccaria, Vittorio, κ.ά.
Έκδοση: (2003)

Ultra Low-Power Electronics and Design
Έκδοση: (2004)

Substrate Noise Coupling in Mixed-Signal ASICs
Έκδοση: (2003)

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

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

Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits
ανά: Bushnell, Michael L., κ.ά.
Έκδοση: (2002)

Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods /
ανά: Molitor, Paul, κ.ά.
Έκδοση: (2004)

System Verilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris
Έκδοση: (2008)

Digital Systems Design and Prototyping Using Field Programmable Logic and Hardware Description Languages /
ανά: Salcic, Zoran, κ.ά.
Έκδοση: (2000)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
ανά: Patra, Priyardarsan, κ.ά.
Έκδοση: (2008)

CMOS Current-Mode Circuits for Data Communications
ανά: Yuan, Fei
Έκδοση: (2007)

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design /
ανά: Chinnery, David, κ.ά.
Έκδοση: (2007)

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

Leakage in Nanometer CMOS Technologies
ανά: Narendra, Siva G., κ.ά.
Έκδοση: (2006)

Power Distribution Networks with On-Chip Decoupling Capacitors
ανά: Popovich, Mikhhail, κ.ά.
Έκδοση: (2008)

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

The Verillog® Hardware Description Language
ανά: Thomas, Donald E., κ.ά.
Έκδοση: (2002)

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

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation
Έκδοση: (2003)

Static Timing Analysis for Nanometer Designs A Practical Approach /
ανά: Chadha, Rakesh, κ.ά.
Έκδοση: (2009)

Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration /
ανά: Zjajo, Amir, κ.ά.
Έκδοση: (2011)

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring /
ανά: Kuon, Ian, κ.ά.
Έκδοση: (2010)

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
ανά: Kogel, Tim, κ.ά.
Έκδοση: (2006)

Introduction to Mixed-Signal, Embedded Design
ανά: Doboli, Alex, κ.ά.
Έκδοση: (2011)

Dynamics of Microelectromechanical Systems
ανά: Lobontiu, Nicolae
Έκδοση: (2007)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity /
ανά: Leventhal, Roy G., κ.ά.
Έκδοση: (2006)

Mixed-Signal Layout Generation Concepts
ανά: Lin, Chieh, κ.ά.
Έκδοση: (2005)

Embedded Software for SoC
Έκδοση: (2003)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
ανά: Dubey, Rahul
Έκδοση: (2009)

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility /
Έκδοση: (2006)

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

The Simple Art of SoC Design Closing the Gap between RTL and ESL /
ανά: Keating, Michael
Έκδοση: (2011)

Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
Έκδοση: (2004)

Surviving the SOC Revolution A Guide to Platform-Based Design /
ανά: Chang, Henry, κ.ά.
Έκδοση: (1999)

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