Cargando…

Principles of functional verification

Detalles Bibliográficos
Autor principal:	Meyer, Andreas
Lenguaje:	eng
Publicado:	Newnes 2004
Materias:	Engineering
Acceso en línea:	http://cds.cern.ch/record/878313

Ejemplares similares

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

Functional verification coverage measurement and analysis
por: Piziali, Andrew
Publicado: (2007)

Functional verification of dynamically reconfigurable FPGA-based systems
por: Gong, Lingkan, et al.
Publicado: (2015)

Advanced verification topics
por: Bhattacharya, Bishnupriya, et al.
Publicado: (2011)

Embedded software verification and debugging
por: Lettnin, Djones, et al.
Publicado: (2017)

Computer logic, testing and verification
por: Roth, John Paul
Publicado: (1980)

Logic synthesis and verification algorithms
por: Hachtel, Gary D
Publicado: (1996)

Guidance for the verification and validation of neural networks
por: Pullum, L, et al.
Publicado: (2007)

Verification, validation, and testing of engineered systems
por: Engel, Avner
Publicado: (2010)

Verification methodology manual for SystemVerilog
por: Bergeron, Janick, et al.
Publicado: (2006)

Accuracy verification methods: theory and algorithms
por: Mali, Olli, et al.
Publicado: (2014)

Low-power design and power-aware verification
por: Khondkar, Progyna
Publicado: (2017)

Shipboard power systems design and verification fundamentals
por: Islam, Mohammed M
Publicado: (2018)

Simulation Environment Based on the Universal Verification Methodology
por: Fiergolski, Adrian
Publicado: (2017)

Reliability verification, testing and analysis in engineering design
por: Wasserman, Gary S
Publicado: (2002)

ASIC and FPGA Verification: A Guide to Component Modeling
por: Munden, Richard
Publicado: (2004)

IET wiring regulations: design and verification of electrical installations
por: Scaddan, Brian
Publicado: (2018)

Formal verification: an essential toolkit for modern VLSI design
por: Seligman, Erik, et al.
Publicado: (2015)

New data structures and algorithms for logic synthesis and verification
por: Amaru, Luca Gaetano
Publicado: (2017)

Fundamentals of IP and SoC security: design, verification, and debug
por: Bhunia, Swarup, et al.
Publicado: (2017)

Formal verification of Simulink/Stateflow diagrams: a deductive approach
por: Zhan, Naijun, et al.
Publicado: (2017)

A practical guide to adopting the Universal Verification Methodology (UVM)
por: Rosenberg, Sharon, et al.
Publicado: (2013)

Hardware design verification: simulation and formal method-based approaches
por: Lam, William K C
Publicado: (2005)

The inverse method: parametric verification of real-time embedded systems
por: André , Etienne, et al.
Publicado: (2013)

Electronic design automation for IC system design, verification, and testing
por: Lavagno, Luciano, et al.
Publicado: (2016)

Security policy in system-on-chip designs: specification, implementation and verification
por: Ray, Sandip, et al.
Publicado: (2018)

Numerical analysis and experimental verification of optical scattering from microplastics
por: Genc, Sinan, et al.
Publicado: (2023)

Laser-beam interactions with materials: physical principles and applications
por: Von Allmen, M, et al.
Publicado: (1995)

Verification of a Multipacting Computer Code and Analysis of an RF Test Cavity
por: Schulz, C
Publicado: (2004)

Principles of refrigeration
por: Dossat, Roy J, et al.
Publicado: (2002)

Principles of mechanics
por: Synge, John L, et al.
Publicado: (1959)

Principles of holography
por: Smith, Howard Michael
Publicado: (1969)

Principles of holography
por: Smith, Howard Michael
Publicado: (1975)

Principles of radar
por: Reintjes, J Francis, et al.
Publicado: (1953)

Principles of Bioenergetics
por: Skulachev, Vladimir P, et al.
Publicado: (2013)

Principles of MEMS
por: Lee, Ki Bang
Publicado: (2010)

ESL Design and Verification: A Prescription for Electronic System Level Methodology
por: Bailey, Brian
Publicado: (2007)

16th edition IEE wiring regulations: design and verification of electrical installations
por: Scaddan, Brian
Publicado: (1995)

IP cores design from specifications to production: modeling, verification, optimization, and protection
por: Mohamed, Khaled Salah
Publicado: (2016)

Verifying calculations: forty years on : an overview of classical verification techniques for FEM simulations
por: Chamoin, Ludovic, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_f0bg3kvsm8a72r0j9sbv4sqtvd