Imagen de Portada

Rapid Prototyping of Digital Systems

Guardado en:

Autor Principal:	Hamblen, James O.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Hall, Tyson S., Furman, Michael D.
Formato:	Electrónico
Idioma:	English
Publicado:	Boston, MA : Springer Science+Business Media, Inc., 2006.
Edición:	QUARTUS® II EDITION.
Materias:	Engineering Computer aided design Engineering design Systems engineering Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Engineering Design Electronic and Computer Engineering
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Full-Chip Nanometer Routing Techniques
por: Ho, Tsung-Yi.
Publicado: (2007) - QUARTUS® II EDITION.

Direct Transistor-level Layout for Digital Blocks
por: Gopalakrishnan, Prakash.
Publicado: (2005) - QUARTUS® II EDITION.

Taxonomies for the Development and Verification of Digital Systems
por: Bailey, Brian.
Publicado: (2005) - QUARTUS® II EDITION.

Digital Design and Implementation with Field Programmable Devices
por: Navabi, Zainalabedin.
Publicado: (2005) - QUARTUS® II EDITION.

Abstraction Refinement for Large Scale Model Checking
por: Wang, Chao.
Publicado: (2006) - QUARTUS® II EDITION.

Constraint-Based Verification
por: Yuan, Jun.
Publicado: (2006) - QUARTUS® II EDITION.

Mixed-Signal Layout Generation Concepts
por: Lin, Chieh.
Publicado: (2005) - QUARTUS® II EDITION.

Assertion-Based Design
por: Foster, Harry.
Publicado: (2005) - QUARTUS® II EDITION.

Thermal and Power Management of Integrated Circuits
por: Vassighi, Arman.
Publicado: (2006) - QUARTUS® II EDITION.

Routing Congestion in VLSI Circuits: Estimation and Optimization
por: Saxena, Prashant.
Publicado: (2007) - QUARTUS® II EDITION.

A Practical Introduction to PSL
por: Eisner, Cindy.
Publicado: (2006) - QUARTUS® II EDITION.

Embedded System Design
por: Marwedel, P.
Publicado: (2006) - QUARTUS® II EDITION.

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design /
por: Chinnery, David.
Publicado: (2007) - QUARTUS® II EDITION.

Hardware Verification with SystemVerilog An Object-Oriented Framework /
por: Mintz, Mike.
Publicado: (2007) - QUARTUS® II EDITION.

Verification Methodology Manual for SystemVerilog
por: Bergeron, Janick.
Publicado: (2006) - QUARTUS® II EDITION.

Dynamics of Microelectromechanical Systems
por: Lobontiu, Nicolae.
Publicado: (2007) - QUARTUS® II EDITION.

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
por: Patel, Hiren D.
Publicado: (2005) - QUARTUS® II EDITION.

Embedded System Design
por: Marwedel, Peter.
Publicado: (2006) - QUARTUS® II EDITION.

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling /
por: Sutherland, Stuart.
Publicado: (2006) - QUARTUS® II EDITION.

Leakage in Nanometer CMOS Technologies
por: Narendra, Siva G.
Publicado: (2006) - QUARTUS® II EDITION.

CMOS Current-Mode Circuits for Data Communications
por: Yuan, Fei.
Publicado: (2007) - QUARTUS® II EDITION.

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them /
por: Sutherland, Stuart.
Publicado: (2007) - QUARTUS® II EDITION.

Writing Testbenches using System Verilog
por: Bergeron, Janick.
Publicado: (2006) - QUARTUS® II EDITION.

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
por: CASTRO-LÓPEZ, R.
Publicado: (2006) - QUARTUS® II EDITION.

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500 /
por: Silva, Francisco.
Publicado: (2006) - QUARTUS® II EDITION.

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility /
por: Ben Dhia, Sonia.
Publicado: (2006) - QUARTUS® II EDITION.

Scalable Hardware Verification with Symbolic Simulation
por: Bertacco, Valeria.
Publicado: (2006) - QUARTUS® II EDITION.

Interconnect Noise Optimization in Nanometer Technologies
por: Elgamel, Mohamed A.
Publicado: (2006) - QUARTUS® II EDITION.

Systemverilog for Verification A Guide to Learning the Testbench Language Features /
por: Spear, Chris.
Publicado: (2006) - QUARTUS® II EDITION.

Hardware Verification with C++ A Practitioners Handbook /
por: Mintz, Mike.
Publicado: (2006) - QUARTUS® II EDITION.

SAT-Based Scalable Formal Verification Solutions
por: Ganai, Malay K.
Publicado: (2007) - QUARTUS® II EDITION.

Designing with video Focusing the user-centred design process /
por: Ylirisku, Salu.
Publicado: (2007) - QUARTUS® II EDITION.

Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005 /
por: Davidson, Joseph K.
Publicado: (2007) - QUARTUS® II EDITION.

Advances in Integrated Design and Manufacturing in Mechanical Engineering II
por: Tichkiewitch, S.
Publicado: (2007) - QUARTUS® II EDITION.

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
por: Ma, Zhe.
Publicado: (2007) - QUARTUS® II EDITION.

Inverse Problems in Electric Circuits and Electromagnetics
por: Chechurin, V. L.
Publicado: (2007) - QUARTUS® II EDITION.

Collaborative Product Design and Manufacturing Methodologies and Applications
por: Li, W. D.
Publicado: (2007) - QUARTUS® II EDITION.

New Algorithms, Architectures and Applications for Reconfigurable Computing
por: Lysaght, Patrick.
Publicado: (2005) - QUARTUS® II EDITION.

Practical Grey-box Process Identification Theory and Applications /
por: Bohlin, Torsten.
Publicado: (2006) - QUARTUS® II EDITION.

A Roadmap for Formal Property Verification
por: DasGupta, Pallab.
Publicado: (2006) - QUARTUS® II EDITION.