Imagen de Portada

Hardware Verification with C++ A Practitioners Handbook /

Guardado en:

Autor Principal:	Mintz, Mike.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Ekendahl, Robert.
Formato:	Electrónico
Idioma:	English
Publicado:	Boston, MA : Springer Science+Business Media, LLC, 2006.
Materias:	Engineering Computer science Computer aided design Systems engineering Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Programming Languages, Compilers, Interpreters 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

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

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

A Practical Introduction to PSL
por: Eisner, Cindy.
Publicado: (2006)

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

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

Taxonomies for the Development and Verification of Digital Systems
por: Bailey, Brian.
Publicado: (2005)

Abstraction Refinement for Large Scale Model Checking
por: Wang, Chao.
Publicado: (2006)

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

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

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

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

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

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

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

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

Routing Congestion in VLSI Circuits: Estimation and Optimization
por: Saxena, Prashant.
Publicado: (2007)

Embedded System Design
por: Marwedel, P.
Publicado: (2006)

Rapid Prototyping of Digital Systems
por: Hamblen, James O.
Publicado: (2006)

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

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

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

Leakage in Nanometer CMOS Technologies
por: Narendra, Siva G.
Publicado: (2006)

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

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

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

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

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

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

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

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

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
por: Mishra, Prabhat.
Publicado: (2005)

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

Dynamics of Microelectromechanical Systems
por: Lobontiu, Nicolae.
Publicado: (2007)

Writing Testbenches using System Verilog
por: Bergeron, Janick.
Publicado: (2006)

Interconnect-Centric Design for Advanced SoC and NoC
por: Nurmi, Jari.
Publicado: (2005)

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

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings /
por: Borrione, Dominique.
Publicado: (2005)

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

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

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 1517, 2006, Shanghai, China /
por: Wang, Kesheng.
Publicado: (2006)