Imagen de Portada

Assertion-Based Design

Guardado en:

Autor Principal:	Foster, Harry.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Krolnik, Adam., Lacey, David.
Formato:	Electrónico
Idioma:	English
Publicado:	Boston, MA : Springer-Verlag US, 2005.
Edición:	Second Edition.
Materias:	Engineering Computer aided design Computer engineering Systems engineering Circuits and Systems Electrical Engineering Computer-Aided Engineering (CAD, CAE) and Design
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Hardware Verification with C++ A Practitioners Handbook /
por: Mintz, Mike.
Publicado: (2006) - Second Edition.

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

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

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility /
por: Ben Dhia, Sonia.
Publicado: (2006) - Second 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) - Second Edition.

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

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

Collaborative Product Design and Manufacturing Methodologies and Applications
por: Li, W. D.
Publicado: (2007) - Second Edition.

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

Inverse Problems in Electric Circuits and Electromagnetics
por: Chechurin, V. L.
Publicado: (2007) - Second Edition.

Design Computing and Cognition 06
por: GERO, JOHN S.
Publicado: (2006) - Second Edition.

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