Cargando…

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

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Boulet, Pierre (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York, NY : Springer US : Imprint: Springer, 2005.
Edición:	1st ed. 2005.
Temas:	Electronic circuits. Computer science. Electrical engineering. Computer-aided engineering. Electronics. Computer simulation. Electronic Circuits and Systems. Theory of Computation. Electrical and Electronic Engineering. Computer-Aided Engineering (CAD, CAE) and Design. Electronics and Microelectronics, Instrumentation. Computer Modelling.
Acceso en línea:	Texto Completo

Ejemplares similares

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

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

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)

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

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

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

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

Leakage in Nanometer CMOS Technologies
Publicado: (2006)

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

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

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

Static Timing Analysis for Nanometer Designs A Practical Approach /
por: Bhasker, J., et al.
Publicado: (2009)

A Roadmap for Formal Property Verification
por: Dasgupta, Pallab
Publicado: (2006)

Assertion-Based Design
por: Foster, Harry D., et al.
Publicado: (2005)

Quantifying and Exploring the Gap Between FPGAs and ASICs
por: Kuon, Ian, et al.
Publicado: (2010)

Semiconductor Modeling: For Simulating Signal, Power, and Electromagnetic Integrity /
por: Leventhal, Roy, et al.
Publicado: (2006)

Digital Design and Implementation with Field Programmable Devices
por: Navabi, Zainalabedin
Publicado: (2005)

Introduction to Mixed-Signal, Embedded Design
por: Doboli, Alex, et al.
Publicado: (2011)

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

SystemVerilog for Design Second Edition A Guide to Using SystemVerilog for Hardware Design and Modeling /
por: Sutherland, Stuart, et al.
Publicado: (2006)

Functional Verification Coverage Measurement and Analysis
por: Piziali, Andrew
Publicado: (2008)

Creating Assertion-Based IP
por: Foster, Harry D., et al.
Publicado: (2008)

Constraint-Based Verification
por: Yuan, Jun, et al.
Publicado: (2006)

Clocking in Modern VLSI Systems
Publicado: (2009)

Embedded System Design
por: Marwedel, Peter
Publicado: (2006)

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

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

Interconnect Noise Optimization in Nanometer Technologies
por: Elgamel, Mohamed, et al.
Publicado: (2006)

Scalable Hardware Verification with Symbolic Simulation
por: Bertacco, Valeria
Publicado: (2006)

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them /
por: Sutherland, Stuart, et al.
Publicado: (2007)

CMOS Active Inductors and Transformers Principle, Implementation, and Applications /
por: Yuan, Fei
Publicado: (2008)

SystemC Kernel Extensions for Heterogeneous System Modeling A Framework for Multi-MoC Modeling & Simulation /
por: Patel, Hiren, et al.
Publicado: (2005)

VLSI Physical Design: From Graph Partitioning to Timing Closure
por: Kahng, Andrew B., et al.
Publicado: (2011)

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

Power Distribution Networks with On-Chip Decoupling Capacitors
por: Popovich, Mikhail, et al.
Publicado: (2008)

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
por: Kogel, Tim, et al.
Publicado: (2006)

Thermal and Power Management of Integrated Circuits
por: Vassighi, Arman, et al.
Publicado: (2006)

Rapid Prototyping of Digital Systems Quartus® II Edition /
por: Hamblen, James O., et al.
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_uar6bvm6mloshvr56mhagvulnj