Cargando…

Hardware design verification: simulation and formal method-based approaches

Detalles Bibliográficos
Autor principal:	Lam, William K C
Lenguaje:	eng
Publicado:	Prentice Hall Professional Technical Reference 2005
Materias:	Engineering
Acceso en línea:	http://cds.cern.ch/record/1508347

Ejemplares similares

Formal verification of floating-point hardware design: a mathematical approach
por: Russinoff, David M, et al.
Publicado: (2018)

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

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

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

Simulated annealing hardware tool
por: Niittylahti, J
Publicado: (1993)

Digital Processors: Methods in Hardware and Software System Design
por: Mayer-Lindenberg, F
Publicado: (2004)

Designing embedded hardware
por: Catsoulis, John
Publicado: (2002)

The Art of Hardware Architecture: Design Methods and Techniques for Digital Circuits
por: Arora, Mohit
Publicado: (2012)

VHDL: Hardware Description and Design
por: Lipsett, Roger, et al.
Publicado: (1989)

Bringing Automated Formal Verification to PLC Program Development
por: Fernández Adiego, Borja
Publicado: (2015)

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

Formal methods in manufacturing
por: Campos, Javier, et al.
Publicado: (2014)

Counterexample analysis of formal verification methods
por: Dobos-Kovacs, Mihaly
Publicado: (2021)

A formal approach to the design of multibunch feedback systems: LQG controllers
por: Hindi, H A, et al.
Publicado: (1994)

Formal verification - Robust and efficient code: Introduction to Formal Verification
por: ALBERTSSON, Kim
Publicado: (2016)

Formal Verification - Robust and Efficient code: Why Formal Verification
por: ALBERTSSON, Kim
Publicado: (2016)

Advanced hardware design for error correcting codes
por: Chavet, Cyrille, et al.
Publicado: (2015)

Formal methods for mining structured objects
por: Garriga, Gemma C
Publicado: (2013)

Modelling and Formal Verification of Timing Aspects in Large PLC Programs
por: Fernandez Adiego, B, et al.
Publicado: (2014)

Fundamentals of GPS Receivers: A Hardware Approach
por: Doberstein, Dan
Publicado: (2012)

Hardware for soft computing and soft computing for hardware
por: Nedjah, Nadia, et al.
Publicado: (2014)

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

Overview of a Complete Hardware Safety Integrity Verification According to IEC 61508 for the CERN Next Generation of Radiation Monitoring Safety System
por: Hurst, Saskia Kristina, et al.
Publicado: (2020)

Co-verification of hardware and software for ARM SoC design
por: Andrews, Jason
Publicado: (2004)

Formal methods for discrete-time dynamical systems
por: Belta, Calin, et al.
Publicado: (2017)

Formal specification level: concepts, methods, and algorithms
por: Soeken, Mathias, et al.
Publicado: (2015)

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)

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

Semi-formal Reformulation of Requirements for Formal Property Verification
por: Ceesay-Seitz, Katharina, et al.
Publicado: (2020)

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

RTL hardware design using VHDL: coding for efficiency, portability, and scalability
por: Chu, Pong P
Publicado: (2006)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

Engineering writing by design : creating formal documents of lasting value
por: Rothwell, Edward J, et al.
Publicado: (2014)

Installation and Hardware Commissioning
por: Ciriani, P
Publicado: (2003)

Magnets: hardware and performance
por: Scandale, Walter
Publicado: (2004)

Magnets: hardware and performance
por: Ostojic, R
Publicado: (2004)

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

Hardware/software co-design and optimization for cyberphysical integration in digital microfluidic biochips
por: Luo, Yan, et al.
Publicado: (2015)

Hardware security and trust: design and deployment of integrated circuits in a threatened environment
por: Sklavos, Nicolas, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_dqgu46n39a9vktobptqade8hmf